A new look at fault-tolerant network routing
- Danny Dolev
- Joseph Y. Halpern
- et al.
- 1987
- Information and Computation
Publications
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
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
I'M OK IF YOU'RE OK: ON THE NOTION OF TRUSTING COMMUNICATION.
- Ronald Fagin
- Joseph Y. Halpern
- 1986
- LICS 1986
FULL ABSTRACTION AND EXPRESSIVE COMPLETENESS FOR FP.
- Joseph Y. Halpern
- Edward L. Wimmers
- 1986
- LICS 1986
On time versus space III
- Joseph Y. Halpern
- Michael C. Loui
- et al.
- 1986
- Mathematical Systems Theory
PROPOSITIONAL MODAL LOGIC OF TIME INTERVALS.
- Joseph Y. Halpern
- Yoav Shoham
- 1986
- LICS 1986
GOOD REWRITE STRATEGIES FOR FP.
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1986
- LICS 1986
Cheating husbands and other stories: A case study of knowledge, action, and communication
- Yoram Moses
- Danny Dolev
- et al.
- 1986
- Distributed Computing
What Can Machines Know? On the Epistemic Properties of Machines
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1986
- AAAI 1986