A logic for reasoning about probabilities
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1990
- Information and Computation
Publications
Date
Featured collections
Popular topics
132 results for Ron Fagin
Modelling knowledge and action in distributed systems
- Joseph Y. Halpern
- Ronald Fagin
- 1989
- Distributed Computing
I'm OK if you're OK: On the notion of trusting communication
- Ronald Fagin
- Joseph Y. Halpern
- 1988
- Journal of Philosophical Logic
Belief, awareness, and limited reasoning
- Ronald Fagin
- Joseph Y. Halpern
- 1987
- Artificial Intelligence
A simple characterization of database dependency implication
- Yoshito Hanatani
- Ronald Fagin
- 1986
- Information Processing Letters
Bounded-depth, polynomial-size circuits for symmetric functions
- Ronald Fagin
- Maria M. Klawe
- et al.
- 1985
- Theoretical Computer Science
Decreasing the nesting depth of expressions involving square roots
- Allan Borodin
- Ronald Fagin
- et al.
- 1985
- Journal of Symbolic Computation
Inclusion dependencies and their interaction with functional dependencies
- Marco A. Casanova
- Ronald Fagin
- et al.
- 1984
- Journal of Computer and System Sciences
Armstrong databases for functional and inclusion dependencies
- Ronald Fagin
- Moshe Y. Vardi
- 1983
- Information Processing Letters
A note on the existence of continuous functionals
- J.Lawrence Carter
- Ronald Fagin
- 1981
- Theoretical Computer Science