Joseph Y. Halpern, Yoram Moses
Artificial Intelligence
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.
Joseph Y. Halpern, Yoram Moses
Artificial Intelligence
Ronald Fagin
SIGMOD Record
Ronald Fagin, Ravi Kumar, et al.
SIGMOD/PODS/ 2004
Ronald Fagin, Phokion G. Kolaitis, et al.
SIGMOD/PODS 2003