Reasoning about only knowing with many agents
- Joseph Y. Halpern
- 1993
- aaai 1993
Publications
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
Performing work efficiently in the presence of faults
- Cynthia Dwork
- Joseph Y. Halpern
- et al.
- 1992
- PODC 1992
Zero-one laws for modal logic
- Joseph Y. Halpern
- Bruce M. Kapron
- 1992
- LICS 1992
Message-optimal protocols for byzantine agreement
- Vassos Hadzilacos
- Joseph Y. Halpern
- 1991
- PODC 1991
Characterization of eventual Byzantine agreement
- Joseph Y. Halpern
- Yoram Moses
- et al.
- 1990
- PODC 1990
What is an inference rule?
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1990
- Jerusalem Conference on Information Technology 1990
Knowledge, probability, and adversaries (preliminary report)
- Joseph Y. Halpern
- Mark R. Tuttle
- 1989
- PODC 1989
Logic for reasoning about probabilities.
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1987
- LICS 1987
A knowledge-based analysis of zero knowledge
- Joseph Y. Halpern
- Yoram Moses
- et al.
- 1988
- STOC 1988
Reasoning about knowledge and time in asynchronous systems
- Joseph Y. Halpern
- Moshe Y. Vardi
- 1988
- STOC 1988