What Can Machines Know?: On the Properties of Knowledge in Distributed Systems
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1992
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
A Model-Theoretic Analysis of Knowledge
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1991
- Journal of the ACM
Asymptotic conditional probabilities for first-order logic
- Adam J. Grove
- Joseph Y. Halpern
- et al.
- 1992
- STOC 1992
A little knowledge goes a long way: Simple knowledge-based derivations and correctness proofs for a family of protocols
- Joseph Y. Halpern
- Lenore D. Zuck
- 1987
- PODC 1987
Using multi-agent systems to represent uncertainty
- Joseph Y. Halpern
- 1996
- aaai 1996
Counterexample to theorems of Cox and Fine
- Joseph Y. Halpern
- 1996
- aaai 1996
Knowledge-based programs
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1995
- PODC 1995
Reasoning about Noisy Sensors in the Situation Calculus
- Fahiem Bacchus
- Joseph Y. Halpern
- et al.
- 1995
- IJCAI 1995
Representation Dependence in Probabilistic Inference
- Joseph Y. Halpern
- Daphne Roller
- 1995
- IJCAI 1995
Operational semantics for knowledge bases
- Ronald Fagin
- Yoram Moses
- et al.
- 1994
- aaai 1994