Logical Formalization of Concurrent Actions for Multi-Agent Systems. - Mikhail Soutchanski; Eugenia Ternovskaia (ECAI Workshop on Agent Theories, Architectures, and Languages, 1994)

Execution Monitoring of High-Level Robot Programs. - Giuseppe De Giacomo; Raymond Reiter; Mikhail Soutchanski (KR, 1998)

Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. - Craig Boutilier; Raymond Reiter; Mikhail Soutchanski; Sebastian Thrun (AAAI/IAAI, 2000)

An On-line Decision-Theoretic Golog Interpreter. - Mikhail Soutchanski (IJCAI, 2001)

High-level robot programming in dynamic and incompletely known environments. - Mikhail Soutchanski (2005)

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

Decision Making in Large-Scale Domains: A Case Study. - Mikhail Soutchanski; Huy Pham; John Mylopoulos (ECAI, 2006)

The Two-Variable Situation Calculus. - Yilan Gu; Mikhail Soutchanski (STAIRS, 2006)

Decidable Reasoning in a Modified Situation Calculus. - Yilan Gu; Mikhail Soutchanski (IJCAI, 2007)

Reasoning about Large Taxonomies of Actions. - Yilan Gu; Mikhail Soutchanski (AAAI, 2008)

Reasoning about Dynamic Depth Profiles. - Mikhail Soutchanski; Paulo Santos 001 (ECAI, 2008)

A description logic based situation calculus. - Yilan Gu; Mikhail Soutchanski (Ann. Math. Artif. Intell., 2010)

Causal Theories of Actions Revisited. - Fangzhen Lin; Mikhail Soutchanski (AAAI, 2011)

Towards an Expressive Decidable Logical Action Theory. - Wael Yehia; Mikhail Soutchanski (CogRob@AAAI, 2012)

Reasoning about Chemical Reactions Using the Situation Calculus. - Arman Masoumi; Mikhail Soutchanski (AAAI Fall Symposium: Discovery Informatics, 2012)

Towards an Expressive Practical Logical Action Theory. - Mikhail Soutchanski; Wael Yehia (Turing-100, 2012)

Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. - Wael Yehia; Hongkai Liu; Marcel Lippmann; Franz Baader; Mikhail Soutchanski (Description Logics, 2012)

Solving the Projection Problem with OWL2 Reasoners: Experimental Study. - Wael Yehia; Mikhail Soutchanski (ORE, 2012)

Progression of Decomposed Situation Calculus Theories. - Denis K. Ponomaryov; Mikhail Soutchanski (AAAI, 2013)

Towards a Planning-Based Approach to the Automated Design of Chemical Processes. - Arman Masoumi; Andrea Marrella; Mikhail Soutchanski (AIBP@AI*IA, 2013)

Modeling and Reasoning with Decision-Theoretic Goals. - Sotirios Liaskos; Shakil M. Khan 001; Mikhail Soutchanski; John Mylopoulos (ER, 2013)

Ontology Enhancement through Inductive Decision Trees. - Bart Gajderowicz; Alireza Sadeghian; Mikhail Soutchanski (URSW (LNCS Vol.), 2013)

Organic Synthesis as Artificial Intelligence Planning. - Arman Masoumi; Mikhail Soutchanski; Andrea Marrella (SWAT4LS, 2013)

Modeling Organic Chemistry and Planning Organic Synthesis. - Arman Masoumi; Megan Antoniazzi; Mikhail Soutchanski (GCAI, 2015)

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

Progression of Decomposed Local-Effect Action Theories. - Denis K. Ponomaryov; Mikhail Soutchanski (ACM Trans. Comput. Log., 2017)

Situation Calculus Semantics for Actual Causality. - Vitaliy Batusov; Mikhail Soutchanski (AAAI, 2018)

Towards Causal Analysis of Protocol Violations. - Shakil M. Khan 001; Mikhail Soutchanski (Canadian AI, 2019)

Hybrid Temporal Situation Calculus. - Vitaliy Batusov; Giuseppe De Giacomo; Mikhail Soutchanski (Canadian AI, 2019)

A Logical Semantics for PDDL+. - Vitaliy Batusov; Mikhail Soutchanski (ICAPS, 2019)

Towards A Logical Account of Epistemic Causality. - Shakil M. Khan 001; Mikhail Soutchanski (CREST@ETAPS, 2019)

Necessary and Sufficient Conditions for Actual Root Causes. - Shakil M. Khan 001; Mikhail Soutchanski (ECAI, 2020)

When is a Program an Actual Cause? - Bita Banihashemi; Shakil M. Khan 001; Mikhail Soutchanski (ICLP Workshops, 2021)

From Actions to Programs as Abstract Actual Causes. - Bita Banihashemi; Shakil M. Khan 001; Mikhail Soutchanski (AAAI, 2022)

Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic Programming. - Shaun Mathew; Mikhail Soutchanski (IPS-RCRA-SPIRIT@AI*IA, 2023)

Planning as Theorem Proving with Heuristics. - Mikhail Soutchanski; Ryan Young (IPS-RCRA-SPIRIT@AI*IA, 2023)