Chittaro, Luca, Angelo Montanari and Alessandro Provetti: Skeptical and Credolous Event Calculi for Supporting Modal Queries. Presented at: European Conf on Artificial Intelligence, 1994. Venue: Amsterdam, Netherlands, 8.8-12.8. Topics: [knowledge]. Code: [Chittaro94A].
Davies, Nick: A First-Order Theory of Knowledge, Belief and Action. Presented at: European Conf on Artificial Intelligence, 1992. Venue: Vienna, Austria, 3.8-7.8. Proceedings published by John Wiley & Sons. Topics: [knowledge]. Code: [N.Davies92A].
Duc, Ho Ngoc: Reasoning about Rational, but not Omniscient Agents. To be presented at: Formal and Applied Practical Reasoning. Venue: Bonn, Germany, 3-7.6.1996. Topics: [knowledge]. Code: [Doc96A].
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].
Li, Renwei and Luís Moniz Pereira: What Is Believed Is What Is Explained (Sometimes). To be presented at: National US Conf on Artificial Intelligence, 1996. Topics: [knowledge]. Code: [Li96A].
van Linder, B., W. van der Hoek and J.-J.Ch. Meyer: Actions That Make You Change Your Mind. Presented at: 19th Annual German Conference on Artificial Intelligence. Venue: Bielefeld, Germany, 11-13.9.1995. Proceedings published by Springer Verlag. Topics: [knowledge]. Code: [Linder95A].