Logic for reasoning about probabilities.
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1987
- LICS 1987
Publications
138 results for Ron Fagin
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
Correction to “An Equivalence between Relational Database Dependencies and a Fragment of Propositional Logic”
- Y. Sagiv
- C. Delobel
- et al.
- 1987
- Journal of the ACM
Belief, awareness, and limited reasoning
- Ronald Fagin
- Joseph Y. Halpern
- 1987
- Artificial Intelligence
I'M OK IF YOU'RE OK: ON THE NOTION OF TRUSTING COMMUNICATION.
- Ronald Fagin
- Joseph Y. Halpern
- 1986
- LICS 1986
What Can Machines Know? On the Epistemic Properties of Machines
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1986
- AAAI 1986
A simple characterization of database dependency implication
- Yoshito Hanatani
- Ronald Fagin
- 1986
- Information Processing Letters
A formal model of knowledge, action, and communication in distributed systems: Preliminary report
- Joseph Y. Halpern
- Ronald Fagin
- 1985
- PODC 1985
Bounded-depth, polynomial-size circuits for symmetric functions
- Ronald Fagin
- Maria M. Klawe
- et al.
- 1985
- Theoretical Computer Science