Doherty, Patrick: Explaining Explanation Closure. To be presented at: ISMIS 1996. Venue: Zakopane, Poland, 9-13.6.1996. [abstract]. Topics: [compilation]. Code: [Doherty96A].
Doherty, Patrick, Witold Lukaszewicz and Andrzej Szalas: General Domain Circumscription and its First-Order Reduction. To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [compilation]. Code: [Doherty96B].
Fisher, Michael and Michael Wooldridge: A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief. To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [compilation], [tableau], [knowledge]. Code: [Fisher96A].