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