37 citations · 152 across the 17 of their papers we have counts for
42 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…
Intransitivity and Vagueness
Joseph Y. Halpern
There are many examples in the literature that suggest that indistinguishability is intransitive, despite the fact that the indistinguishability relation is typically taken to be a…
A Logic for Reasoning about Evidence
Joseph Y. Halpern, Riccardo Pucella
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making…
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…