3 papers
cs.AI2019
Towards A Logical Account of Epistemic Causality
Shakil M. Khan, Mikhail Soutchanski
Reasoning about observed effects and their causes is important in multi-agent contexts. While there has been much work on causality from an objective standpoint, causality from the…
cs.AI2018
Hybrid Temporal Situation Calculus
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
The ability to model continuous change in Reiter's temporal situation calculus action theories has attracted a lot of interest. In this paper, we propose a new development of his a…
cs.AI2017
Progression of Decomposed Local-Effect Action Theories
Denis Ponomaryov, Mikhail Soutchanski
In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number of weakly-related or independent components. Howeve…