Algorithmic Knowledge (1994)

by Joseph Halpern , Yoram Moses , Moshe Y. Vardi
Venue:Proc. Second Conference on Theoretical Aspects of Reasoning about Knowledge
Citations:61 - 10 self