default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMikhail Soutchanski
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c37]Shaun Mathew, Mikhail Soutchanski:
Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic Programming. IPS-RCRA-SPIRIT@AI*IA 2023- [c36]Mikhail Soutchanski, Ryan Young:
Planning as Theorem Proving with Heuristics. IPS-RCRA-SPIRIT@AI*IA 2023 - [i4]Mikhail Soutchanski, Ryan Young:
Planning as Theorem Proving with Heuristics. CoRR abs/2303.13638 (2023) - 2022
- [c35]Bita Banihashemi
, Shakil M. Khan, Mikhail Soutchanski:
From Actions to Programs as Abstract Actual Causes. AAAI 2022: 5470-5478 - 2021
- [c34]Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski:
When is a Program an Actual Cause? ICLP Workshops 2021 - [i3]Vitaliy Batusov, Mikhail Soutchanski:
A Logical Semantics for PDDL+. CoRR abs/2111.11588 (2021) - 2020
- [c33]Shakil M. Khan, Mikhail Soutchanski:
Necessary and Sufficient Conditions for Actual Root Causes. ECAI 2020: 800-808
2010 – 2019
- 2019
- [c32]Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski:
Hybrid Temporal Situation Calculus. Canadian AI 2019: 173-185 - [c31]Shakil M. Khan, Mikhail Soutchanski:
Towards Causal Analysis of Protocol Violations. Canadian AI 2019: 359-365 - [c30]Vitaliy Batusov, Mikhail Soutchanski:
A Logical Semantics for PDDL+. ICAPS 2019: 40-48 - [c29]Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski:
Hybrid temporal situation calculus. SAC 2019: 1162-1164 - [c28]Shakil M. Khan, Mikhail Soutchanski:
Towards A Logical Account of Epistemic Causality. CREST@ETAPS 2019: 1-16 - 2018
- [c27]Vitaliy Batusov, Mikhail Soutchanski:
Situation Calculus Semantics for Actual Causality. AAAI 2018: 1744-1752 - [i2]Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski:
Hybrid Temporal Situation Calculus. CoRR abs/1807.04861 (2018) - 2017
- [j2]Denis K. Ponomaryov, Mikhail Soutchanski:
Progression of Decomposed Local-Effect Action Theories. ACM Trans. Comput. Log. 18(2): 16:1-16:41 (2017) - [c26]Vitaliy Batusov, Mikhail Soutchanski:
Situation Calculus Semantics for Actual Causality. COMMONSENSE 2017 - [i1]Denis K. Ponomaryov, Mikhail Soutchanski:
Progression of Decomposed Local-Effect Action Theories. CoRR abs/1705.04712 (2017) - 2015
- [c25]Arman Masoumi, Megan Antoniazzi, Mikhail Soutchanski:
Modeling Organic Chemistry and Planning Organic Synthesis. GCAI 2015: 176-195 - [c24]Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski:
On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies. IJCAI 2015: 2840-2846 - 2013
- [c23]Denis K. Ponomaryov, Mikhail Soutchanski:
Progression of Decomposed Situation Calculus Theories. AAAI 2013: 810-817 - [c22]Arman Masoumi, Andrea Marrella, Mikhail Soutchanski:
Towards a Planning-Based Approach to the Automated Design of Chemical Processes. AIBP@AI*IA 2013: 61-70 - [c21]Sotirios Liaskos, Shakil M. Khan, Mikhail Soutchanski, John Mylopoulos:
Modeling and Reasoning with Decision-Theoretic Goals. ER 2013: 19-32 - [c20]Bart Gajderowicz, Alireza Sadeghian, Mikhail Soutchanski:
Ontology Enhancement through Inductive Decision Trees. URSW (LNCS Vol.) 2013: 262-281 - [c19]Arman Masoumi, Mikhail Soutchanski, Andrea Marrella:
Organic Synthesis as Artificial Intelligence Planning. SWAT4LS 2013 - 2012
- [c18]Wael Yehia, Mikhail Soutchanski:
Towards an Expressive Decidable Logical Action Theory. CogRob@AAAI 2012 - [c17]Arman Masoumi, Mikhail Soutchanski:
Reasoning about Chemical Reactions Using the Situation Calculus. AAAI Fall Symposium: Discovery Informatics 2012 - [c16]Mikhail Soutchanski, Wael Yehia:
Towards an Expressive Practical Logical Action Theory. Turing-100 2012: 307-325 - [c15]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 - [c14]Wael Yehia, Mikhail Soutchanski:
Towards an Expressive Decidable Logical Action Theory. Description Logics 2012 - [c13]Wael Yehia, Mikhail Soutchanski:
Solving the Projection Problem with OWL2 Reasoners: Experimental Study. ORE 2012 - 2011
- [c12]Fangzhen Lin, Mikhail Soutchanski:
Causal Theories of Actions Revisited. AAAI 2011: 235-240 - [c11]Fangzhen Lin, Mikhail Soutchanski:
Causal Theories of Actions Revisited. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - 2010
- [j1]Yilan Gu, Mikhail Soutchanski:
A description logic based situation calculus. Ann. Math. Artif. Intell. 58(1-2): 3-83 (2010)
2000 – 2009
- 2008
- [c10]Yilan Gu, Mikhail Soutchanski:
Reasoning about Large Taxonomies of Actions. AAAI 2008: 931-937 - [c9]Mikhail Soutchanski, Paulo Santos:
Reasoning about Dynamic Depth Profiles. ECAI 2008: 30-34 - 2007
- [c8]Yilan Gu, Mikhail Soutchanski:
Decidable Reasoning in a Modified Situation Calculus. IJCAI 2007: 1891-1897 - 2006
- [c7]Mikhail Soutchanski, Huy Pham, John Mylopoulos:
Decision Making in Uncertain Real-World Domains Using DT-Golog. AAAI 2006 - [c6]Mikhail Soutchanski, Huy Pham, John Mylopoulos:
Decision Making in Large-Scale Domains: A Case Study. ECAI 2006: 773-774 - [c5]Yilan Gu, Mikhail Soutchanski:
The Two-Variable Situation Calculus. STAIRS 2006: 144-161 - 2005
- [b1]Mikhail Soutchanski:
High-level robot programming in dynamic and incompletely known environments. University of Toronto, Canada, 2005 - 2001
- [c4]Mikhail Soutchanski:
An On-line Decision-Theoretic Golog Interpreter. IJCAI 2001: 19-26 - 2000
- [c3]Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun:
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. AAAI/IAAI 2000: 355-362
1990 – 1999
- 1998
- [c2]Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski:
Execution Monitoring of High-Level Robot Programs. KR 1998: 453-465 - 1994
- [c1]Mikhail Soutchanski, Eugenia Ternovskaia:
Logical Formalization of Concurrent Actions for Multi-Agent Systems. ECAI Workshop on Agent Theories, Architectures, and Languages 1994: 129-144
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
