Ray Reiter

Affiliation:  Cognitive Robotics Group, Uni of Toronto, Canada.
To reach:     [homepage], [email].

The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression.
In: Lifschitz, Vladimir: Artificial Intelligence and Mathematical Theory of Computation. Papers in Honor of John McCarthy. Code: [Lifschitz91A].
Code: [Reiter91A].

Cognitive Robotics.
To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [cogrobotics]. Code: [Reiter96A].

The author cards in this bibliographic reference structure serve as an index to those of the author's papers which are presented listed in the BRS. It is never intended as an exhaustive list of the author's publications in the present research area, or in general.