Conference paper
Rewrite rules for search database systems
Ronald Fagin, Benny Kimelfeld, et al.
SIGMOD/PODS 2011
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.
Ronald Fagin, Benny Kimelfeld, et al.
SIGMOD/PODS 2011
Joseph Y. Halpern, Yoram Moses
Journal of the ACM
Ronald Fagin
STOC 1980
Ronald Fagin
SIGMOD 1979