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.
-
Spatial Reasoning and Robotics: the document written for my
depth oral exam, slides and bibliography archive.
- 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.
- 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).
- 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).
- 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.
- 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.