A Logic of Knowledge and Belief for Recursive Modeling: A Preliminary Report.

Piotr J. Gmytrasiewicz, Edmund H. Durfee

Browse the full AAAI paper archive.