Conference paper
Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
We consider the common-knowledge paradox raised by Halpern and Moses: common knowledge is necessary for agreement and coordination, but common knowledge is unattainable in the real world because of temporal imprecision. We discuss two solutions to this paradox: (1) modeling the world with a coarser granularity, and (2) relaxing the requirements for coordination. © 1999 Elsevier Science B.V. All rights reserved.
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
E.Allen Emerson, Joseph Y. Halpern
Journal of Computer and System Sciences
Ronald Fagin
ACM Transactions on Database Systems (TODS)
Joseph Y. Halpern, David A. McAllester
Computational Intelligence