Algorithmic Knowledge (1994)

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