Sotabase

Career

· Graduate Student, University of Toronto, Cognitive Robotics Group
· Research Scientist, University of Toronto, Cognitive Robotics Group

Publications (55)

Decision-Theoretic, High-Level Agent Programming in the Situation Calculus
AAAI/IAAI · 2000
258
cited
Execution Monitoring of High-Level Robot Programs
International Conference on Principles of Knowledge Representation and Reasoning · 1998
140
cited
Situation Calculus Semantics for Actual Causality
International Symposium on Commonsense Reasoning · 2018
44
cited
An On-line Decision-Theoretic Golog Interpreter
International Joint Conference on Artificial Intelligence · 2001
33
cited
Decidable Reasoning in a Modified Situation Calculus
International Joint Conference on Artificial Intelligence · 2007
33
cited
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence · 2010
32
cited
High-level robotic control : beyond planning Position paper
2002
30
cited
Exploring Organic Synthesis with State-ofthe-Art Planning Techniques
2016
22
cited
High-level Robot Programming and Program Execution
2003
15
cited
Modeling Organic Chemistry and Planning Organic Synthesis
Global Conference on Artificial Intelligence · 2015
15
cited
High-level robot programming in dynamic and incompletely known environments
2005
14
cited
Execution Monitoring of High-Level Temporal Programs
1999
12
cited
Modeling and Reasoning with Decision-Theoretic Goals
International Conference on Conceptual Modeling · 2013
12
cited
Reasoning about Large Taxonomies of Actions
AAAI Conference on Artificial Intelligence · 2008
12
cited
Causal Theories of Actions Revisited
AAAI Conference on Artificial Intelligence · 2011
9
cited
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics
Description Logics · 2012
9
cited
Necessary and Sufficient Conditions for Actual Root Causes
8
cited
Reasoning about Dynamic Depth Profiles
European Conference on Artificial Intelligence · 2008
8
cited
Modeling and reasoning about uncertainty in goal models: a decision-theoretic approach
Journal of Software and Systems Modeling · 2022
7
cited
Hybrid temporal situation calculus
ACM Symposium on Applied Computing · 2018
6
cited
Sotabase
Mikhail Soutchanski | Researcher Profile | Sotabase | Sotabase