Related papers: Bounded Situation Calculus Action Theories
The most general mathematical law for summing bounded quantities is not the arithmetic law, but a composition law of which the summation law for velocities in special relativity is only one particular example. We believe that this…
We consider divergence form operators with complex coefficients on an open subset of Euclidean space. Boundary conditions in the corresponding parabolic problem are dynamical, that is, the time derivative appears on the boundary. As a…
It is shown that quantum fluctuation theorems remain unaffected if measurements of any kind and number of observables are performed during the action of a force protocol. That is, although the backward and forward probabilities entering the…
Causal inequalities are bounds on correlations obtained when operations take place in a causal sequence, i.e. in which the background time or definite causal structure pre-exists such that every operation is either in the future, in the…
We explore indefinite causal order between events in the context of quasiclassical spacetimes in superposition. We introduce several new quantifiers to measure the degree of indefiniteness of the causal order for an arbitrary finite number…
Over more than three decades, the Situation Calculus has established itself as an elegant, powerful, and concise formalism for specifying dynamical domains as well as for reasoning about the effects of actions of those domains both in the…
The choice of boundary condition makes an essential difference in the solution structure of diffusion equations. The Dirichlet and Neumann boundary conditions and their combination have been the most used, but their legitimacy has been…
Field theory and gauge theory on noncommutative spaces have been established as their own areas of research in recent years. The hope prevails that a noncommutative gauge theory will deliver testable experimental predictions and will thus…
Causal inference plays an important role in explanatory analysis and decision making across various fields like statistics, marketing, health care, and education. Its main task is to estimate treatment effects and make intervention…
The classes of depth-bounded and name-bounded processes are fragments of the pi-calculus for which some of the decision problems that are undecidable for the full calculus become decidable. P is depth-bounded at level k if every reduction…
The regularized theories are non-local at the scale of the cutoff, leading so to the usual difficulties of non-local theories. In this work the conservation laws and causality are investigated for classical field theories with multi-cluster…
We prove that some of the basic differential functions appearing in the (unramified) theory of arithmetic differential equations, especially some of the basic differential modular forms in that theory, arise from a "ramified situation".…
This paper continues the line of work on representing properties of actions in nonmonotonic formalisms that stresses the distinction between being "true" and being "caused", as in the system of causal logic introduced by McCain and Turner…
Gauge theories on manifolds with spatial boundaries are studied. It is shown that observables localized at the boundaries (edge observables) can occur in such models irrespective of the dimensionality of spacetime. The intimate connection…
Various extensions of the temporal logic ATL have recently been introduced to express rich properties of multi-agent systems. Among these, ATLsc extends ATL with strategy contexts, while Strategy Logic has first-order quantification over…
We study reinforcement learning for controlled diffusion processes with unbounded continuous state spaces, bounded continuous actions, and polynomially growing rewards: settings that arise naturally in finance, economics, and operations…
The Maxwell-BF theory with a single-sided planar boundary is considered in Euclidean four dimensional spacetime. The presence of a boundary breaks the Ward identities which describe the gauge symmetries of the theory, and, using standard…
We present the language {m P}{cal C}+ for probabilistic reasoning about actions, which is a generalization of the action language {cal C}+ that allows to deal with probabilistic as well as nondeterministic effects of actions. We define a…
Although the spatially continuous version of the reaction-diffusion equation has been well studied, in some instances a spatially-discretized representation provides a more realistic approximation of biological processes. Indeed,…
We use the law of total variance to generate multiple expansions for the posterior predictive variance. These expansions are sums of terms involving conditional expectations and conditional variances and provide a quantification of the…