Publications

135 results for Ron Fagin

Knowledge-based programs
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1995
- PODC 1995
Towards heterogeneous multimedia information systems: The garlic approach
- - M. Carey
  - L. Haas
  - et al.
- 1995
- RIDE-DOM 1995
A nonstandard approach to the logical omniscience problem
- - Ronald Fagin
  - Joseph Y. Halpern
  - et al.
- 1995
- Artificial Intelligence
On monadic NP vs monadic co-NP
- - Ronald Fagin
  - Larry J. Stockmeyer
  - et al.
- 1995
- Information and Computation
Operational semantics for knowledge bases
- - Ronald Fagin
  - Yoram Moses
  - et al.
- 1994
- aaai 1994
Reasoning About Knowledge and Probability
- - Ronald Fagin
  - Joseph Y. Halpern
- 1994
- Journal of the ACM
Finite-model theory - a personal perspective
- - Ronald Fagin
- 1993
- Theoretical Computer Science
On monadic NP vs. monadic co-NP
- - Ronald Fagin
  - Larry Stockmeyer
  - et al.
- 1993
- SCT 1993
Response to “Remarks on two new theorems of Date and Fagin”
- - C.J. Date
  - Ronald Fagin
- 1993
- SIGMOD Record
Simple Conditions for Guaranteeing Higher Normal Forms in Relational Databases
- - C.J. Date
  - Ronald Fagin
- 1992
- ACM Transactions on Database Systems (TODS)