The Synthesis of Machines with Provable Epistemic Properties (1986)

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