Selected Publications.

• Fangzhen Lin and Mikhail Soutchanski. Causal Theories of Actions Revisited. Published in the proceedings of the Tenth International Symposium on Logical Formalization on Commonsense Reasoning, held as part of the AAAI Spring Symposium Series at Stanford University, March 21-23, 2011.
• Yilan Gu and Mikhail Soutchanski. Order-Sorted Reasoning in the Situation Calculus, published in the Proceedings of Commonsense-2009, the Ninth International Symposium on Logical Formalization on Commonsense Reasoning, that was held on June 1-3, 2009, at the Fields Institute, Toronto, Canada. This paper is also published by "Digital Commons @ Ryerson" on May 4, 2009, as A Logic of Actions Revisited, Technical Reports, Paper 1. A revised and improved version is published in the book ``Knowing, Reasoning, and Acting: Essays in Honor of Hector J. Levesque", edited by Gerhard Lakemeyer and Sheila A. McIlraith, College Publications, 2011, ISBN-10: 1848900449.
• Yilan Gu and Mikhail Soutchanski. "A Logic For Decidable Reasoning About Actions", Technical Reports, Paper 2: this version had been completed on October 6, 2008. Published by "Digital Commons @ Ryerson" on May 4, 2009. An extended and revised version is published by Annals of Mathematics and Artificial Intelligence journal, Volume 58, February 2010, Numbers 1-2, pages 3-83, with the title "A description logic based situation calculus", DOI 10.1007/s10472-010-9176-z .
• Mikhail Soutchanski and Paulo Santos. Reasoning about Dynamic Depth Profiles (draft). Published in the Proceedings of the 18th biennial European Conference on Artificial Intelligence, pages 30-34. University of Patras, Patras, Greece, July 21-25, 2008.

• Yilan Gu and Mikhail Soutchanski. Reasoning about Large Taxonomies of Actions. In the proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, pages 931-937. Chicago, Illinois, USA, July 13-17, 2008.

• Yilan Gu and Mikhail Soutchanski. Modular Basic Action Theories. In the proceedings of the Seventh IJCAI International Workshop on "Nonmonotonic Reasoning, Action and Change", Sunday 7 January 2007, Hyderabad, India.

• Yilan Gu and Mikhail Soutchanski. Decidable Reasoning in a Modified Situation Calculus. In the proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, January 2007. Slides of the presentation.

• Yilan Gu and Mikhail Soutchanski. A Logic For Decidable Reasoning About Services. In the proceedings of the 4th International Workshop on AI for Service Composition (page 1-8), held in conjunction with the 17th European Conference on AI (ECAI 2006). Also in the proceedings of the workshop AI-Driven Technologies for Services-Oriented Computing held in conjunction with the Twenty First National Conference on Artificial Intelligence (AAAI-06), Boston, Massachusetts, USA, July 16 2006. Another version of this paper (with the title "The Two-Variable Situation Calculus") has been accepted to the 3rd European Starting AI Researcher Symposium ECAI-06 in Riva del Garda, Italy, on August 28-29, 2006.

• Mikhail Soutchanski, Wee Pham and John Mylopoulos. Decision Making in Uncertain Real-World Domains Using DT-Golog, (6 pages version) published in the proceedings of the ECAI'06 W/Sh on Planning, Learning and Monitoring with Uncertainty and Dynamic Worlds (pages 36-41).
  Mikhail Soutchanski, Wee Pham and John Mylopoulos. Decision making in large-scale domains: a case study, a long (14 pages) version of the paper that has been accepted (with this title) as a poster to the 17th European Conference on AI, Riva del Garda, Italy (Aug 28th - Sept 1st, 2006). You can download Golog programs, a logical model and simulator mentioned in this paper.

• High-Level Robot Programming in Dynamic and Incompletely Known Environments (Ph.D. thesis). PostScript files: letter and A4 formats. PDF files: letter and A4 formats. Code from Appendices (includes off-line DTGolog interpreter and on-line DT-Golog interpreter)

• High-level Robot Programming and Program Execution: letter and A4 formats. Published in the proceedings of the Workshop on Plan Execution, 10th June 2003, held in conjunction with International Conference on Automated Planning and Scheduling (ICAPS'03), Trento, Italy.
• An On-line Decision-Theoretic Golog Interpreter, IJCAI-2001, Seattle, Washington, August 4-10, 2001: Postscript and PDF files.
  Slides of my talk.
• Technical report: On-line Decision-Theoretic Golog Interpreter (the version of August 15, 2000). The 2nd International Cognitive Robotics Workshop (held in conjunction with ECAI-2000), Berlin, Germany, August 21-22, 2000.
• Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. C. Boutilier, R. Reiter, M. Soutchanski and S. Thrun. AAAI-2000, Seventeenth National Conference on Artificial Intelligence, Austin, Texas, July 30-Aug 2, 2000.


• C. Boutilier, R. Reiter, M. Soutchanski and S. Thrun. Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. Proceedings of the Workshop on Decision-Theoretic Planning (ed. by Sven Koenig), Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, Colorado, Apr 12-15, 2000.
• Execution Monitoring of High-Level Temporal Programs. Accepted by the program committees of the IJCAI-99 Workshop "Robot Action Planning" (31 July 1999, Stockholm) and of the IJCAI-99 Workshop "Scheduling and Planning meet Real-time Monitoring in a Dynamic and Uncertain World" (August 2, 1999, Stockholm).
• Execution Monitoring of High-Level Robot Programs (by Giuseppe De Giacomo, Ray Reiter and Mikhail Soutchanski), the revised version. Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998. PostScript file, PDF file.
• Execution Monitoring of High-Level Robot Programs (same authors), a first version of that paper. This version includes Prolog code of the implementation (typos are corrected thanks to the Marcus Bjareland message). Abstract. Published in working notes of the 4th Symposium on Logical Formalizations of Commonsense Reasoning (London, UK, Jan. 6 - Jan9, 1998).
  PostScript file, PDF file. Slides of my talk.
• Spatial Reasoning and Robotics: the document written for my depth oral exam, slides and bibliography archive (a PDF file ).
• Revised and improved version of Transition System Semantics for Deterministic Situation Calculus (PDF file) and abstract of this paper (here is the link to compressed PostScript file). Original version has been published in the proceedings of the 3rd Symposium on Formalization of the Commonsense Reasoning, Stanford (CA, USA), January 6-8, 1996. Compressed PostScript file with slides of my talk is also available.
• Mikhail Soutchanski and Eugenia Ternovskaia. Logical Formalization of Concurrent Actions for Multi-Agent Systems, PDF file, and a PostScript file (65Kb). Published in the proceedings of the ECAI-94 Workshop Intelligent Agents: Theories, Architectures, and Languages, Lecture Notes in Artificial Intelligence, vol. 890, Springer Verlag, Berlin, 1995 (February).
• Vladimir Akimov and Mikhail Soutchanski. Automata Simulation of N--Person Social Dilemma Games (April 1993): abstract (text file), PostScript file (210K), and PDF version. Published in: Journal of Conflict Resolution, 1994, v. 38, N 1 (March).
• Logical Theory of Concurrent Actions: English version (a PDF file, version of August 1993) and Russian version (LaTeX, 70Kb, March 1993). Russian version was published in "Izvestiya of Russian Academy of Sciences, seria Tekhnicheskaia Kibernetika", 1993, N5. The translation of this version was published in: Journal of Computer and System Sciences International, 1994, vol.32, N6, pages 72-86.
• Qualitative Reasoning about Physical Systems, review (in Russian): ZIP archive of a text file (27Kb) in Alternative encoding for cyrillics. Here are a PostScript version and a PDF file. This review was written in April 1992; it was published in the Russian journal "Izvestiya of Academy of Sciences, seria Tekhnicheskaya Kibernetika", 1992, N5, p.82-96 (in Russian); translated in: Journal of Computer and Systems Sciences International, 1994, vol. 32, N 1, pages 82-96.

Collective Behavior of Automata in the N-person Prisoner's Dilemma Games with Stochastic Payoff Functions (December, 1991): PDF file or text files (30 Kb) in KOI-8 encoding and an alternative encoding of cyrillics.