Publications

135 results for Ron Fagin

What Can Machines Know?: On the Properties of Knowledge in Distributed Systems
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1992
- Journal of the ACM
Two views of belief: belief as generalized probability and belief as evidence
- - Joseph Y. Halpern
  - Ronald Fagin
- 1992
- Artificial Intelligence
A Model-Theoretic Analysis of Knowledge
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1991
- Journal of the ACM
What is an inference rule?
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1990
- Jerusalem Conference on Information Technology 1990
Two views of belief: Belief as generalized probability and belief as evidence
- - Joseph Y. Halpern
  - Ronald Fagin
- 1990
- AAAI 1990
A logic for reasoning about probabilities
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1990
- Information and Computation
Modelling knowledge and action in distributed systems
- - Joseph Y. Halpern
  - Ronald Fagin
- 1989
- Distributed Computing
Logic for reasoning about probabilities.
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1987
- LICS 1987
I'm OK if you're OK: On the notion of trusting communication
- - Ronald Fagin
  - Joseph Y. Halpern
- 1988
- Journal of Philosophical Logic
Reachability is harder for directed than for undirected finite graphs
- - Miklos Ajtai
  - Ronald Fagin
- 1987
- FOCS 1987