Mikhail Soutchanski

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 17

Top Topics

Situation Calculus

Concurrent Actions

Logic Programming

Action Theories

Top Venues

Canadian Conference on AI

IPS-RCRA-SPIRIT@AI*IA

Publications

Shaun Mathew, Mikhail Soutchanski
Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic Programming. IPS-RCRA-SPIRIT@AI*IA (2023)
Mikhail Soutchanski, Ryan Young
Planning as Theorem Proving with Heuristics. CoRR (2023)
Mikhail Soutchanski, Ryan Young
Planning as Theorem Proving with Heuristics. IPS-RCRA-SPIRIT@AI*IA (2023)
Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski
From Actions to Programs as Abstract Actual Causes. AAAI (2022)
Vitaliy Batusov, Mikhail Soutchanski
A Logical Semantics for PDDL+. CoRR (2021)
Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski
When is a Program an Actual Cause? ICLP Workshops (2021)
Shakil M. Khan, Mikhail Soutchanski
Necessary and Sufficient Conditions for Actual Root Causes. ECAI (2020)
Vitaliy Batusov, Mikhail Soutchanski
A Logical Semantics for PDDL+. ICAPS (2019)
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
Hybrid temporal situation calculus. SAC (2019)
Shakil M. Khan, Mikhail Soutchanski
Towards Causal Analysis of Protocol Violations. Canadian Conference on AI (2019)
Shakil M. Khan, Mikhail Soutchanski
Towards A Logical Account of Epistemic Causality. CREST@ETAPS (2019)
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
Hybrid Temporal Situation Calculus. Canadian Conference on AI (2019)
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
Hybrid Temporal Situation Calculus. CoRR (2018)
Vitaliy Batusov, Mikhail Soutchanski
Situation Calculus Semantics for Actual Causality. AAAI (2018)
Denis K. Ponomaryov, Mikhail Soutchanski
Progression of Decomposed Local-Effect Action Theories. ACM Trans. Comput. Log. 18 (2) (2017)
Denis K. Ponomaryov, Mikhail Soutchanski
Progression of Decomposed Local-Effect Action Theories. CoRR (2017)
Vitaliy Batusov, Mikhail Soutchanski
Situation Calculus Semantics for Actual Causality. COMMONSENSE (2017)
Arman Masoumi, Megan Antoniazzi, Mikhail Soutchanski
Modeling Organic Chemistry and Planning Organic Synthesis. GCAI (2015)
Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies. IJCAI (2015)
Denis K. Ponomaryov, Mikhail Soutchanski
Progression of Decomposed Situation Calculus Theories. AAAI (2013)
Arman Masoumi, Andrea Marrella, Mikhail Soutchanski
Towards a Planning-Based Approach to the Automated Design of Chemical Processes. AIBP@AI*IA (2013)
Bart Gajderowicz, Alireza Sadeghian, Mikhail Soutchanski
Ontology Enhancement through Inductive Decision Trees. URSW (LNCS Vol.) (2013)
Sotirios Liaskos, Shakil M. Khan, Mikhail Soutchanski, John Mylopoulos
Modeling and Reasoning with Decision-Theoretic Goals. ER (2013)
Arman Masoumi, Mikhail Soutchanski, Andrea Marrella
Organic Synthesis as Artificial Intelligence Planning. SWAT4LS (2013)
Wael Yehia, Mikhail Soutchanski
Towards an Expressive Decidable Logical Action Theory. CogRob@AAAI (2012)
Arman Masoumi, Mikhail Soutchanski
Reasoning about Chemical Reactions Using the Situation Calculus. AAAI Fall Symposium: Discovery Informatics (2012)
Wael Yehia, Mikhail Soutchanski
Solving the Projection Problem with OWL2 Reasoners: Experimental Study. ORE (2012)
Wael Yehia, Mikhail Soutchanski
Towards an Expressive Decidable Logical Action Theory. Description Logics (2012)
Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. Description Logics (2012)
Mikhail Soutchanski, Wael Yehia
Towards an Expressive Practical Logical Action Theory. Turing-100 (2012)
Fangzhen Lin, Mikhail Soutchanski
Causal Theories of Actions Revisited. AAAI (2011)
Fangzhen Lin, Mikhail Soutchanski
Causal Theories of Actions Revisited. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Yilan Gu, Mikhail Soutchanski
A description logic based situation calculus. Ann. Math. Artif. Intell. 58 (1-2) (2010)
Yilan Gu, Mikhail Soutchanski
Reasoning about Large Taxonomies of Actions. AAAI (2008)
Mikhail Soutchanski, Paulo Santos
Reasoning about Dynamic Depth Profiles. ECAI (2008)
Yilan Gu, Mikhail Soutchanski
Decidable Reasoning in a Modified Situation Calculus. IJCAI (2007)
Mikhail Soutchanski, Huy Pham, John Mylopoulos
Decision Making in Large-Scale Domains: A Case Study. ECAI (2006)
Yilan Gu, Mikhail Soutchanski
The Two-Variable Situation Calculus. STAIRS (2006)
Mikhail Soutchanski, Huy Pham, John Mylopoulos
Decision Making in Uncertain Real-World Domains Using DT-Golog. AAAI (2006)
Mikhail Soutchanski
An On-line Decision-Theoretic Golog Interpreter. IJCAI (2001)
Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. AAAI/IAAI (2000)
Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski
Execution Monitoring of High-Level Robot Programs. KR (1998)
Mikhail Soutchanski, Eugenia Ternovskaia
Logical Formalization of Concurrent Actions for Multi-Agent Systems. ECAI Workshop on Agent Theories, Architectures, and Languages (1994)