Soutchanski, Mikhail

10 publications

AAAI 2022 From Actions to Programs as Abstract Actual Causes Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski

AAAI 2018 Situation Calculus Semantics for Actual Causality Vitaliy Batusov, Mikhail Soutchanski

IJCAI 2015 On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski

AAAI 2013 Progression of Decomposed Situation Calculus Theories Denis K. Ponomaryov, Mikhail Soutchanski

AAAI 2011 Causal Theories of Actions Revisited Fangzhen Lin, Mikhail Soutchanski

AAAI 2008 Reasoning About Large Taxonomies of Actions Yilan Gu, Mikhail Soutchanski

IJCAI 2007 Decidable Reasoning in a Modified Situation Calculus Yilan Gu, Mikhail Soutchanski

AAAI 2006 Decision Making in Uncertain Real-World Domains Using DT-Golog Mikhail Soutchanski, Huy Pham, John Mylopoulos

IJCAI 2001 An On-Line Decision-Theoretic Golog Interpreter Mikhail Soutchanski

AAAI 2000 Decision-Theoretic, High-Level Agent Programming in the Situation Calculus Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun