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

by J Y HALPERN
Venue:Proceedings of the 1986 Conference