Mikhail Soutchanski

45 papers A* 11A 4Misc 1Journal 7Unranked 21

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