The synthesis of digital machines with provable epistemic properties (1986)

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