21 citations · 52 across the 12 of their papers we have counts for
7 papers
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems
Joseph Y. Halpern
A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. Whi…
A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors
Joseph Y. Halpern, Aleta Ricciardi
It is shown that, in a precise sense, if there is no bound on the number of faulty processes in a system with unreliable but fair communication, Uniform Distributed Coordination (U…
Anonymity and Information Hiding in Multiagent Systems
Joseph Y. Halpern, Kevin R. O'Neill
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal lo…
Representation Dependence in Probabilistic Inference
Joseph Y. Halpern, Daphne Koller
Non-deductive reasoning systems are often {\em representation dependent}: representing the same situation in two different ways may cause such a system to return two different answ…
Responsibility and blame: a structural-model approach
Hana Chockler, Joseph Y. Halpern
Causality is typically treated an all-or-nothing concept; either A is a cause of B or it is not. We extend the definition of causality introduced by Halpern and Pearl [2001] to tak…
What Causes a System to Satisfy a Specification?
Hana Chockler, Joseph Y. Halpern, Orna Kupferman
Even when a system is proven to be correct with respect to a specification, there is still a question of how complete the specification is, and whether it really covers all the beh…