Publications

85 results for Joseph Y. Halpern

The computational complexity of structure-based causality
- - Gadi Aleksandrowicz
  - Hana Chockler
  - et al.
- 2017
- JAIR
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