The relationship between knowledge, belief, and certainty
- Joseph Y. Halpern
- 1991
- Ann. Math. Artif. Intell.
Publications
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
Message-optimal protocols for byzantine agreement
- Vassos Hadzilacos
- Joseph Y. Halpern
- 1991
- PODC 1991
A Propositional Modal Logic of Time Intervals
- Joseph Y. Halpern
- Yoav Shoham
- 1991
- Journal of the ACM
A Model-Theoretic Analysis of Knowledge
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1991
- Journal of the ACM
Characterization of eventual Byzantine agreement
- Joseph Y. Halpern
- Yoram Moses
- et al.
- 1990
- PODC 1990
What is an inference rule?
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1990
- Jerusalem Conference on Information Technology 1990
Two views of belief: Belief as generalized probability and belief as evidence
- Joseph Y. Halpern
- Ronald Fagin
- 1990
- AAAI 1990
Knowledge and Common Knowledge in a Distributed Environment
- Joseph Y. Halpern
- Yoram Moses
- 1990
- Journal of the ACM
Completeness of Rewrite Rules and Rewrite Strategies for FP
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1990
- Journal of the ACM
An analysis of first-order logics of probability
- Joseph Y. Halpern
- 1990
- Artificial Intelligence