Gerhard Lakemeyer. Steps Towards a First-Order Logic of Explicit and Implicit Belief. In Joseph Y. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986. pages 325-340, Morgan Kaufmann, 1986.
No references recorded for this publication.
No citations of this publication recorded.