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

by S Rosenschein, L Kaebling
Venue:In Proceedings of the Conference on the Theoretical Aspects of Reasoning About Knowledge,