| 1994 | A Knowledge-Based Framework for Belief change, Part I: Foundations. Nir Friedman, Joseph Y. Halpern |
| 1994 | Actual Truth, Possible Knowledge. Wlodzimierz Rabinowicz, Krister Segerberg |
| 1994 | Algorithmic Knowledge. Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
| 1994 | An Axiomatic Approach to the Logical Omniscience Problem. Barton L. Lipman |
| 1994 | An Epistemic Logic of Situations. Paul F. Syverson |
| 1994 | An Epistemic Proof System for Parallel Processes. M. van Hulst, John-Jules Ch. Meyer |
| 1994 | Autoepistemic Logic and Introspective Circumscription. Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, Grigori Schwarz |
| 1994 | Backwards Forward Induction. Gian Aldo Antonelli, Cristina Bicchieri |
| 1994 | Belief Revision in a changing World. Robert Charles Koons, Nicholas H. Asher |
| 1994 | Case-Based Decision Theory and Knowledge Representation. Itzhak Gilboa, David Schmeidler |
| 1994 | Coherent Belief Revision in Games. Debra J. Holt |
| 1994 | Common Knowledge and Update in Finite Enviromnents I. Ron van der Meyden |
| 1994 | Consistent Belief Reasoning in the Presence of Inconsistency. Jinxin Lin |
| 1994 | Inductive Learning, Knowledge Asymmetries and Convention. Peter Vanderschraaf |
| 1994 | Infinitary Epistemic Logic. Aviad Heifetz |
| 1994 | Infinitely Many Resolutions of Hempel's Paradox. Kevin B. Korb |
| 1994 | Information Acquisition from Multi-agent Resources. Zhisheng Huang, Peter van Emde Boas |
| 1994 | Knowledge and the Ordering of Events in Distributed Systems. Paul J. Krasucki, Ramaswamy Ramanujam |
| 1994 | Knowledge as a Tool in Motion Planning and Uncertainty. Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham |
| 1994 | Knowledge, Action, and Ability in the Situation Calculus. Hector J. Levesque |
| 1994 | On the Logic of iterated Belief Revision. Adnan Darwiche, Judea Pearl |
| 1994 | Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994 Ronald Fagin |
| 1994 | Rationality in the Centipede. Ken Binmore |
| 1994 | Revising Knowledge: a Hierarchical Approach. Stephen Morris |