Showing cs.DCShow all
2 papers · 1 filter
cs.DC2003
Using Counterfactuals in Knowledge-Based Programming
Joseph Y. Halpern, Yoram Moses
This paper adds counterfactuals to the framework of knowledge-based programs of Fagin, Halpern, Moses, and Vardi. The use of counterfactuals is illustrated by designing a protocol…
cs.DC2000
Knowledge and common knowledge in a distributed environment
Joseph Y. Halpern, Yoram Moses
Reasoning about knowledge seems to play a fundamental role in distributed systems. Indeed, such reasoning is a central part of the informal intuitive arguments used in the design o…