DMCA

Algorithmic Knowledge (1994)

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