Login with OpenID | Report issues

 

Author: Mikhail Soutchanski [RDF, Bibtex, BibBase, BibGraph] has 9 publications

report error (So far 0 user(s) reported errors on this item)

See also:


Reasoning about Large Taxonomies of Actions Yilan Gu, Mikhail Soutchanski. Proceedings of the Twenty-Third National Conference on Artificial Intelligence (AAAI-08) 931--937 2008


Modular Basic Action Theories Yilan Gu, Mikhail Soutchanski, Mary Anne Williams, Alankar Karol, Pavlos Peppas. Proceedings of the 7th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-07) 73--78 2007


Decidable Reasoning in a Modified Situation Calculus Yilan Gu, Mikhail Soutchanski. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07) 2007


A Logic for Decidable Reasoning about Services Yilan Gu, Mikhail Soutchanski. Proceedings of AAAI-06 workshop on AI-Driven Technologies for Services-Oriented Computing (AISOC-06) 2006


The Two-variable Situation Calculus Yilan Gu, Mikhail Soutchanski. Proceedings of the third European Starting AI Researcher Symposium (STAIRS-06) at ECAI06 2006


An On-line Decision-Theoretic Golog Interpreter Mikhail Soutchanski. The 2nd International Cognitive Robotics Workshop (held in conjunction with ECAI-2000) 2000


Decision-Theoretic, High-Level Agent Programming in the Situation Calculus Craig Boutilier, Ray Reiter, Mikhail Soutchanski, Sebastian Thrun. Workshop on Decision-Theoretic Planning, Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000) 2000


Decision-Theoretic, High-Level Agent Programming in the Situation Calculus Craig Boutilier, Ray Reiter, Mikhail Soutchanski, Sebastian Thrun. Proceedings of the 7th Conference on Artificial Intelligence (AAAI-00) and of the 12th Conference on Innovative Applications of Artificial Intelligence (IAAI-00) 355--362 2000


Execution Monitoring of High-Level Robot Programs Giuseppe Giacomo, Ray Reiter, Mikhail Soutchanski. Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98) 453--465 1998