Publications

135 results for Ron Fagin

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
Decreasing the nesting depth of expressions involving square roots
- - Allan Borodin
  - Ronald Fagin
  - et al.
- 1985
- Journal of Symbolic Computation
MODEL-THEORETIC ANALYSIS OF KNOWLEDGE: PRELIMINARY REPORT.
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1983
- FOCS 1983
A model-theoretic analysis of knowledge: Preliminary report
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1984
- FOCS 1984