| 2022 | AAAI | From Actions to Programs as Abstract Actual Causes. | Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski |
| 2021 | ICLP | When is a Program an Actual Cause? | Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski |
| 2020 | ECAI | Necessary and Sufficient Conditions for Actual Root Causes. | Shakil M. Khan, Mikhail Soutchanski |
| 2019 | AI | Towards Causal Analysis of Protocol Violations. | Shakil M. Khan, Mikhail Soutchanski |
| 2019 | AI | Hybrid Temporal Situation Calculus. | Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski |
| 2019 | SAC | Hybrid temporal situation calculus. | Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski |
| 2018 | AAAI | Situation Calculus Semantics for Actual Causality. | Vitaliy Batusov, Mikhail Soutchanski |
| 2015 | IJCAI | On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies. | Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski |
| 2013 | AAAI | Progression of Decomposed Situation Calculus Theories. | Denis K. Ponomaryov, Mikhail Soutchanski |
| 2013 | ER | Modeling and Reasoning with Decision-Theoretic Goals. | Sotirios Liaskos, Shakil M. Khan, Mikhail Soutchanski, John Mylopoulos |
| 2012 | AAAI | Towards an Expressive Decidable Logical Action Theory. | Wael Yehia, Mikhail Soutchanski |
| 2011 | AAAI | Causal Theories of Actions Revisited. | Fangzhen Lin, Mikhail Soutchanski |
| 2008 | AAAI | Reasoning about Large Taxonomies of Actions. | Yilan Gu, Mikhail Soutchanski |
| 2008 | ECAI | Reasoning about Dynamic Depth Profiles. | Mikhail Soutchanski, Paulo Santos |
| 2007 | IJCAI | Decidable Reasoning in a Modified Situation Calculus. | Yilan Gu, Mikhail Soutchanski |
| 2006 | AAAI | Decision Making in Uncertain Real-World Domains Using DT-Golog. | Mikhail Soutchanski, Huy Pham, John Mylopoulos |
| 2006 | ECAI | Decision Making in Large-Scale Domains: A Case Study. | Mikhail Soutchanski, Huy Pham, John Mylopoulos |
| 2001 | IJCAI | An On-line Decision-Theoretic Golog Interpreter. | Mikhail Soutchanski |
| 2000 | AAAI | Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. | Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun |
| 1998 | KR | Execution Monitoring of High-Level Robot Programs. | Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski |