A model-theoretic analysis of knowledge: Preliminary report
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1984
- FOCS 1984
Conference paper
Publications
85 results for Joseph Y. Halpern
OPTIMAL PRECISION IN THE PRESENCE OF UNCERTAINITY.
- Joseph Y. Halpern
- Nimrod Megiddo
- et al.
- 1984
- STOC 1984
Conference paperLIKELIHOOD, PROBABILITY, AND KNOWLEDGE.
- Joseph Y. Halpern
- David A. McAllester
- 1982
- AAAI 1982
Conference paperDeterministic process logic is elementary
- Joseph Y. Halpern
- 1983
- Information and Control
PaperEquations between regular terms and an application to process logic
- Ashok Chandra
- Joe Halpern
- et al.
- 1981
- STOC 1981
Conference paper