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

by S J Rosenschein, L P Kaelbling
Venue:Theoretical Aspects of Reasoning about Knowledge: Proc. 1986 Conference