Patrick Doherty

Affiliation:  Knowledge Processing Laboratory, Uni Linköping, Sweden.
To reach:     [homepage], [email].

Reasoning about Action and Change using Occlusion.
Presented at: European Conf on Artificial Intelligence, 1994. Venue: Amsterdam, Netherlands, 8.8-12.8. Topics: [categorization]. Code: [Doherty94A].

Explaining Explanation Closure.
To be presented at: ISMIS 1996. Venue: Zakopane, Poland, 9-13.6.1996. [abstract]. Topics: [compilation]. Code: [Doherty96A].

General Domain Circumscription and its First-Order Reduction. (With Witold Lukaszewicz, and Andrzej Szalas).
To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [compilation]. Code: [Doherty96B].

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.