On monadic NP vs. monadic co-NP
- Ronald Fagin
- Larry Stockmeyer
- et al.
- 1993
- SCT 1993
Conference paper
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
PaperSimple Conditions for Guaranteeing Higher Normal Forms in Relational Databases
- C.J. Date
- Ronald Fagin
- 1992
- ACM Transactions on Database Systems (TODS)
PaperWhat Can Machines Know?: On the Properties of Knowledge in Distributed Systems
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1992
- Journal of the ACM
PaperTwo views of belief: belief as generalized probability and belief as evidence
- Joseph Y. Halpern
- Ronald Fagin
- 1992
- Artificial Intelligence
PaperA Model-Theoretic Analysis of Knowledge
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1991
- Journal of the ACM
PaperWhat is an inference rule?
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1990
- Jerusalem Conference on Information Technology 1990
Conference paperTwo views of belief: Belief as generalized probability and belief as evidence
- Joseph Y. Halpern
- Ronald Fagin
- 1990
- AAAI 1990
Conference paperA logic for reasoning about probabilities
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1990
- Information and Computation
PaperModelling knowledge and action in distributed systems
- Joseph Y. Halpern
- Ronald Fagin
- 1989
- Distributed Computing
Paper