Dynamic Fault-Tolerant Clock Synchronization
- Danny Dolev
- Joseph Y. Halpern
- et al.
- 1995
- Journal of the ACM (JACM)
Publications
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
A nonstandard approach to the logical omniscience problem
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1995
- Artificial Intelligence
The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
- Joseph Y. Halpern
- 1995
- Artificial Intelligence
Levesque's axiomatization of only knowing is incomplete
- Joseph Y. Halpern
- Gerhard Lakemeyer
- 1995
- Artificial Intelligence
Operational semantics for knowledge bases
- Ronald Fagin
- Yoram Moses
- et al.
- 1994
- aaai 1994
Reasoning About Knowledge and Probability
- Ronald Fagin
- Joseph Y. Halpern
- 1994
- Journal of the ACM
Decidability and expressiveness for first-order logics of probability
- Martin Abadi
- Joseph Y. Halpern
- 1994
- Information and Computation
A RESPONSE TO “BELIEVING ON THE BASIS OF THE EVIDENCE”
- Fahiem Bacchus
- Adam Grove
- et al.
- 1994
- Computational Intelligence
Reasoning about only knowing with many agents
- Joseph Y. Halpern
- 1993
- aaai 1993
Message-optimal protocols for Byzantine Agreement
- Vassos Hadzilacos
- Joseph Y. Halpern
- 1993
- Mathematical Systems Theory