Reasoning about Knowledge: An Overview," Theoretical Aspects of Reasoning about Knowledge (1986)

by J HALPERN
Venue:Proceedings of the 1986 Conference. Los