In a recent paper Belle and Lakemeyer proposed the logic DS, a probabilistic extension of a
modal variant of the situation calculus with a model of belief based on weighted possible …

Based on weighted possible-world semantics, Belle and Lakemeyer recently proposed the
logic DS, a probabilistic extension of a modal variant of the situation calculus with a model of …

A knowledge-based program defines the behavior of an agent by combining primitive
actions, programming constructs and test conditions that make explicit reference to the …

When it comes to robotic agents operating in an uncertain world, a major concern in
knowledge representation is to better relate high-level logical accounts of belief and action …

We overview the most prominent logics of knowledge and action that were proposed and
studied in the multiagent systems literature. We classify them according to these two …

The Golog action programming language is a powerful means to express high-level
behaviours in terms of programs over actions defined in a Situation Calculus theory. In …

Rich representation of knowledge and actions has been a goal that many AI researchers
pursue. Among all proposals, perhaps, the situation calculus by Reiter is the most widely …

This special issue is dedicated to John McCarthy, founding father of Artificial Intelligence. It
contains a collection of recent contributions to the field of knowledge representation and …

The unification of logic and probability has been seen as a long-standing concern in
philosophy and mathematical logic. In this paper, we propose a new general probabilistic …

In this paper, we look to provide a formal account of “counterfactual explanations," based in
terms of action sequences. We then show that this naturally leads to an account of model …