|
Halpern JY and Moses Y, 1992. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence54319–379. |
|
Halpern JY and Vardi MY, 1989. The complexity of reasoning about knowledge and time. I. Lower bounds. Journal of Computer and System Sciences38195–237. |
|
Rosenschein S and Kaelbling LP, 1986. The synthesis of digital machines with provable epistemic properties. In Halpern JY, ed, Proceedings 1986 Conference on Theoretical Aspects of Reasoning About Knowledge83–98, Morgan Kaufmann. |
|
Wooldridge M and Jennings NR, 1995. Intelligent agents: Theory and practice. The Knowledge Engineering Review10(2) 115–152. |