1 citations · 1 across the 4 of their papers we have counts for
5 papers · 1 filter
Planning as Theorem Proving with Heuristics
Mikhail Soutchanski, Ryan Young
Planning as theorem proving in situation calculus was abandoned 50 years ago as an impossible project. But we have developed a Theorem Proving Lifted Heuristic (TPLH) planner that…
A Logical Semantics for PDDL+
Vitaliy Batusov, Mikhail Soutchanski
PDDL+ is an extension of PDDL2.1 which incorporates fully-featured autonomous processes and allows for better modelling of mixed discrete-continuous domains. Unlike PDDL2.1, PDDL+…
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…
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…
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…