A RESPONSE TO “BELIEVING ON THE BASIS OF THE EVIDENCE”
- Fahiem Bacchus
- Adam Grove
- et al.
- 1994
- Computational Intelligence
Publications
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
Decidability and expressiveness for first-order logics of probability
- Martin Abadi
- Joseph Y. Halpern
- 1994
- Information and Computation
Message-optimal protocols for Byzantine Agreement
- Vassos Hadzilacos
- Joseph Y. Halpern
- 1993
- Mathematical Systems Theory
The Failure Discovery problem
- Vassos Hadzilacos
- Joseph Y. Halpern
- 1993
- Mathematical Systems Theory
Knowledge, Probability, and Adversaries
- Joseph Y. Halpern
- Mark R. Tuttle
- 1993
- Journal of the ACM (JACM)
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.
Clock synchronization and the power of broadcasting
- Joseph Y. Halpern
- Ichiro Suzuki
- 1991
- Distributed Computing
A logic for reasoning about probabilities
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1990
- Information and Computation