| Code, Nr | Citation |
|---|
1 |
cogrob98.ps
Archive of Papers in English and in Russian. Available Papers. - Temporal Golog with Execution Monitoring . Working Notes of the Cognitive Robotics Workshop (AAAI 1998 Fall Symposium Series).
- 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, compressed PostScript 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, compressed PostScript file. Slides of my talk .
|
2 |
ftp://ftp.cs.toronto.edu/pub/mes/bibl.ref/space/depth.html
Spatial Reasoning and Robotics : the document written for my depth oral exam, slides and bibliography archive. |
3 |
ftp://ftp.cs.toronto.edu/pub/mes/papers/new.dvi
Revised and improved version of Transition System Semantics for Deterministic Situation Calculus ("new.dvi" file, 84kb) 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. |
4 |
http://www.cs.toronto.edu/~mes/papers/concurr.zip
Logical Formalization of Concurrent Actions for Multi-Agent Systems, ZIP archive of a DVI file (25Kb) , and a compressed 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). |
5 |
http://www.cs.toronto.edu/~mes/papers/npdg-abs.txt
Automata Simulation of N--Person Social Dilemma Games (April 1993): abstract (text file), LaTeX file, 47Kb and compressed PostScript version, 81Kb . Published in: Journal of Conflict Resolution, 1994, v. 38, N 1 (March). |
6 |
http://www.cs.toronto.edu/~mes/papers/sitcalc.tex
Logical Theory of Concurrent Actions: English version (LaTeX file, 46Kb, August 1993) and the ARJ archive of Russian version (LaTeX, 28Kb, 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: Soviet Journal of Computer and System Sciences, 1993, vol.31. |
7 |
ftp://ftp.cs.toronto.edu/pub/mes/papers/qualphy.zip
Qualitative Reasoning about Physical Systems, review (in Russian): ZIP archive of a text file (27Kb) in Alternative encoding for IBM PC with MSDOS; PostScript version (compressed), 67kb. This review was written in April of 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: Soviet Journal of Computer and Systems Sciences. 1992, V.30.
Here are 2 unpublished technical reports available in electronic form. Both reports are in Russian. |