Knowledge-based programs
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1995
- PODC 1995
Conference paper
Publications
61 results for Moshe Vardi
On the expressive power of datalog: Tools and a case study
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1995
- Journal of Computer and System Sciences
PaperA nonstandard approach to the logical omniscience problem
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1995
- Artificial Intelligence
PaperOn monadic NP vs monadic co-NP
- Ronald Fagin
- Larry J. Stockmeyer
- et al.
- 1995
- Information and Computation
PaperOperational semantics for knowledge bases
- Ronald Fagin
- Yoram Moses
- et al.
- 1994
- aaai 1994
Conference paperReasoning about Infinite Computations
- Moshh Vardi
- Pierre Wolper
- 1994
- Information and Computation
PaperOn the complexity of queries in the logical data model
- Gabriel M. Kuper
- Moshe Y. Vardi
- 1993
- Theoretical Computer Science
PaperMonotone monadic SNP and constraint satisfaction
- Tomás Feder
- Moshe Y. Vardi
- 1993
- STOC 1993
Conference paperParametric real-Time reasoning
- Rajeev Alur
- Thomas A. Henzinger
- et al.
- 1993
- STOC 1993
Conference paperOn monadic NP vs. monadic co-NP
- Ronald Fagin
- Larry Stockmeyer
- et al.
- 1993
- SCT 1993
Conference paper