Algorithmic Knowledge

Theoretical Aspects of Reasoning About Knowledge ◽

10.1016/b978-1-4832-1453-5.50022-2 ◽

1994 ◽

pp. 255-266 ◽

Author(s):

Joseph Y. Halpern ◽

Yoram Moses ◽

Moshe Y. Vardi

Download Full-text