5. TARK 1994:
Pacific Grove, California, USA
(Ed.): Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994.
Morgan Kaufmann 1994
: Consistent Belief Reasoning in the Presence of Inconsistency.
Kevin B. Korb
: Infinitely Many Resolutions of Hempel's Paradox.
Barton L. Lipman
: An Axiomatic Approach to the Logical Omniscience Problem.