Knowledge-based programs
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1995
- PODC 1995
Publications
Date
Featured collections
Popular topics
132 results for Ron Fagin
Towards heterogeneous multimedia information systems: The garlic approach
- M. Carey
- L. Haas
- et al.
- 1995
- RIDE-DOM 1995
Operational semantics for knowledge bases
- Ronald Fagin
- Yoram Moses
- et al.
- 1994
- aaai 1994
On monadic NP vs. monadic co-NP
- Ronald Fagin
- Larry Stockmeyer
- et al.
- 1993
- SCT 1993
What is an inference rule?
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1990
- Jerusalem Conference on Information Technology 1990
Logic for reasoning about probabilities.
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1987
- LICS 1987
Reachability is harder for directed than for undirected finite graphs
- Miklos Ajtai
- Ronald Fagin
- 1987
- FOCS 1987
I'M OK IF YOU'RE OK: ON THE NOTION OF TRUSTING COMMUNICATION.
- Ronald Fagin
- Joseph Y. Halpern
- 1986
- LICS 1986
A formal model of knowledge, action, and communication in distributed systems: Preliminary report
- Joseph Y. Halpern
- Ronald Fagin
- 1985
- PODC 1985
MODEL-THEORETIC ANALYSIS OF KNOWLEDGE: PRELIMINARY REPORT.
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1983
- FOCS 1983