The Failure Discovery problem
- Vassos Hadzilacos
- Joseph Y. Halpern
- 1993
- Mathematical Systems Theory
Publications
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
Knowledge, Probability, and Adversaries
- Joseph Y. Halpern
- Mark R. Tuttle
- 1993
- Journal of the ACM (JACM)
Performing work efficiently in the presence of faults
- Cynthia Dwork
- Joseph Y. Halpern
- et al.
- 1992
- PODC 1992
Asymptotic conditional probabilities for first-order logic
- Adam J. Grove
- Joseph Y. Halpern
- et al.
- 1992
- STOC 1992
Zero-one laws for modal logic
- Joseph Y. Halpern
- Bruce M. Kapron
- 1992
- LICS 1992
A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols
- Joseph Y. Halpern
- Lenore D. Zuck
- 1992
- Journal of the ACM
What Can Machines Know?: On the Properties of Knowledge in Distributed Systems
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1992
- Journal of the ACM
Two views of belief: belief as generalized probability and belief as evidence
- Joseph Y. Halpern
- Ronald Fagin
- 1992
- Artificial Intelligence
A guide to completeness and complexity for modal logics of knowledge and belief
- Joseph Y. Halpern
- Yoram Moses
- 1992
- Artificial Intelligence
The relationship between knowledge, belief, and certainty
- Joseph Y. Halpern
- 1991
- Ann. Math. Artif. Intell.