The computational complexity of structure-based causality
- Gadi Aleksandrowicz
- Hana Chockler
- et al.
- 2017
- JAIR
Publications
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
The computational complexity of structure-based causality
- Gadi Aleksandrowicz
- Hana Chockler
- et al.
- 2014
- AAAI 2014
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
Uncertainty, belief, and probability
- RONALD FAGIN
- JOSEPH Y. HALPERN
- 2007
- Computational Intelligence
Let many flowers bloom: a response to An inquiry into computer understanding
- Joseph Y. Halpern
- 2007
- Computational Intelligence
Common knowledge revisited
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1999
- Annals of Pure and Applied Logic
The hierarchical approach to modeling knowledge and common knowledge
- Ronald Fagin
- John Geanakoplos
- et al.
- 1999
- International Journal of Game Theory
Knowledge-based programs
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1997
- Distributed Computing
A theory of knowledge and ignorance for many agents
- Joseph Y. Halpern
- 1997
- Journal of Logic and Computation