A Resolution Method for Quantified Modal Logics of Knowledge and Belief - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christophe Geissler, Kurt Konolige. A Resolution Method for Quantified Modal Logics of Knowledge and Belief. In Joseph Y. Halpern, editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986. pages 309-324, Morgan Kaufmann, 1986.

This author has not been identified. Look up 'Christophe Geissler' in GoogleThis author has not been identified. Look up 'Kurt Konolige' in Google

runs on WebDSL