An analysis of first-order logics of probability
- Joseph Y. Halpern
- 1990
- Artificial Intelligence
Publications
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
Modelling knowledge and action in distributed systems
- Joseph Y. Halpern
- Ronald Fagin
- 1989
- Distributed Computing
The complexity of reasoning about knowledge and time. I. Lower bounds
- Joseph Y. Halpern
- Moshe Y. Vardi
- 1989
- Journal of Computer and System Sciences
Reasoning about procedures as parameters in the language L4
- Steven M. German
- Edmund M. Clarke
- et al.
- 1989
- Information and Computation
I'm OK if you're OK: On the notion of trusting communication
- Ronald Fagin
- Joseph Y. Halpern
- 1988
- Journal of Philosophical Logic
Belief, awareness, and limited reasoning
- Ronald Fagin
- Joseph Y. Halpern
- 1987
- Artificial Intelligence
A logic to reason about likelihood
- Joseph Y. Halpern
- Michael O. Rabin
- 1987
- Artificial Intelligence
A new look at fault-tolerant network routing
- Danny Dolev
- Joseph Y. Halpern
- et al.
- 1987
- Information and Computation
On time versus space III
- Joseph Y. Halpern
- Michael C. Loui
- et al.
- 1986
- Mathematical Systems Theory
Cheating husbands and other stories: A case study of knowledge, action, and communication
- Yoram Moses
- Danny Dolev
- et al.
- 1986
- Distributed Computing