OPTIMAL PRECISION IN THE PRESENCE OF UNCERTAINITY.
- Joseph Y. Halpern
- Nimrod Megiddo
- et al.
- 1984
- STOC 1984
Publications
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
Equations between regular terms and an application to process logic
- Ashok Chandra
- Joe Halpern
- et al.
- 1981
- STOC 1981
The computational complexity of structure-based causality
- Gadi Aleksandrowicz
- Hana Chockler
- et al.
- 2017
- JAIR
Knowledge-based programs
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1997
- Distributed Computing
Dynamic Fault-Tolerant Clock Synchronization
- Danny Dolev
- Joseph Y. Halpern
- et al.
- 1995
- Journal of the ACM (JACM)
What causes a system to satisfy a specification
- Hana Chockler
- Joseph Y. Halpern
- et al.
- 2008
- ACM TOCL
Likelihood, probability, and knowledge
- Joseph Y. Halpern
- David A. McAllester
- 2007
- Computational Intelligence
Let many flowers bloom: a response to An inquiry into computer understanding
- Joseph Y. Halpern
- 2007
- Computational Intelligence
Uncertainty, belief, and probability
- RONALD FAGIN
- JOSEPH Y. HALPERN
- 2007
- Computational Intelligence
Common knowledge revisited
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1999
- Annals of Pure and Applied Logic