Related papers: An introduction to the categorical p-adic Langland…

In this paper we propose a general approach to define a many-valued preferential interpretation of gradual argumentation semantics. The approach allows for conditional reasoning over arguments and boolean combination of arguments, with…

A introduction to the syntax and Semantics of Answer Set Programming intended as an handout to [under]graduate students taking Artificial Intlligence or Logic Programming classes.

In this paper we give a preliminary formalization of the p-adic numbers, in the context of the second author's univalent foundations program. We also provide the corresponding code verifying the construction in the proof assistant Coq.…

We use the system of p-adic numbers for the description of information processes. Basic objects of our models are so called transformers of information, basic processes are information processes, the statistics are information statistics…

Probabilistic logic programs are logic programs in which some of the facts are annotated with probabilities. This paper investigates how classical inference and learning tasks known from the graphical model community can be tackled for…

We consider construction of Lagrangians which are candidates for p-adic sector of an adelic open scalar string. Such Lagrangians have their origin in Lagrangian for a single p-adic string and contain the Riemann zeta function with the…

For the Cauchy problem for an operator differential equation of the form $y'(z) = Ay(z)$, where $A$ is a closed linear operator on a Banach space over the completion of an algebraic closure of the field of $p$-adic numbers, a criterion of…

An overview of some basic notions is given, especially with an eye towards somewhat "fractal" examples, such as infinite products of cyclic groups, p-adic numbers, and solenoids.

We propose a concrete surface representation of abstract categorial grammars in the category of word cobordisms or cowordisms for short, which are certain bipartite graphs decorated with words in a given alphabet, generalizing linear logic…

This note reviews the Peano-Baker series and its use to solve the general linear system of ODEs. The account is elementary and self-contained, and is meant as a pedagogic introduction to this approach, which is well known but usually…

In this brief essay a construction of the $2$-variable L-function of Langlands is sketched in terms of monomial resolutions of admissible representations of reductive locally $p$-adic Lie groups.

Probabilistic programming is a growing area that strives to make statistical analysis more accessible, by separating probabilistic modelling from probabilistic inference. In practice this decoupling is difficult. No single inference…

We present probabilistic neural programs, a framework for program induction that permits flexible specification of both a computational model and inference algorithm while simultaneously enabling the use of deep neural networks.…

The use of the properties of actions on an algebra to enrich the study of the algebra is well-trodden and still fashionable. Here, the notion and study of endomorphic elements of (Banach) algebras are introduced. This study is initiated, in…

This report outlines an approach to learning generative models from data. We express models as probabilistic programs, which allows us to capture abstract patterns within the examples. By choosing our language for programs to be an…

In this paper we give a solution to Zariski's problem of analytic classification of plane branches.

Experts do not always feel very, comfortable when they have to give precise numerical estimations of certainty degrees. In this paper we present a qualitative approach which allows for attaching partially ordered symbolic grades to logical…

We develop a graphical notation to introduce classical Lie algebras. Although this paper deals with well-known results, our pictorial point of view is slightly different to the traditional one. Our graphical notation is fairly elementary…

We provide an introductory review of Bayesian data analytical methods, with a focus on applications for linguistics, psychology, psycholinguistics, and cognitive science. The empirically oriented researcher will benefit from making Bayesian…

This paper is about a categorical approach to model a very simple Semantically Linear lambda calculus, named Sll-calculus. This is a core calculus underlying the programming language SlPCF. In particular, in this work, we introduce the…