On monadic NP vs. monadic co-NP
- Ronald Fagin
- Larry Stockmeyer
- et al.
- 1993
- SCT 1993
Publications
138 results for Ron Fagin
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)
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