Conference paper
Horn clauses and database dependencies
Ronald Fagin
STOC 1980
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
STOC 1980
Steven M. German, Edmund M. Clarke, et al.
Information and Computation
Joseph Y. Halpern, Yoram Moses
Journal of Philosophical Logic
Catriel Beeri, Martin Dowd, et al.
Journal of the ACM