The computational complexity of structure-based causality
- Gadi Aleksandrowicz
- Hana Chockler
- et al.
- 2014
- AAAI 2014
Publications
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
Two views of belief: Belief as generalized probability and belief as evidence
- Joseph Y. Halpern
- Ronald Fagin
- 1990
- AAAI 1990
What Can Machines Know? On the Epistemic Properties of Machines
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1986
- AAAI 1986
LIKELIHOOD, PROBABILITY, AND KNOWLEDGE.
- Joseph Y. Halpern
- David A. McAllester
- 1982
- AAAI 1982
A Propositional Modal Logic of Time Intervals
- Joseph Y. Halpern
- Yoav Shoham
- 1991
- Journal of the ACM
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
“Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time Temporal Logic
- E. Allen Emerson
- Joseph Y. Halpern
- 1986
- Journal of the ACM
Reasoning About Knowledge and Probability
- Ronald Fagin
- Joseph Y. Halpern
- 1994
- Journal of the ACM
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