The synthesis of digital Bratman, Israel, and Pollack machines with provable epistemic properties (1986)

by S J Rosenschein, L P Kaelbling
Venue:In Proceedings of the Conference on Theoretical Aspects of Reasoning about Knowledge