Knowledge-based programs
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1995
- PODC 1995
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
On monadic NP vs monadic co-NP
- Ronald Fagin
- Larry J. Stockmeyer
- et al.
- 1995
- Information and Computation
A nonstandard approach to the logical omniscience problem
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1995
- Artificial Intelligence
Operational semantics for knowledge bases
- Ronald Fagin
- Yoram Moses
- et al.
- 1994
- aaai 1994
Reasoning about Infinite Computations
- Moshh Vardi
- Pierre Wolper
- 1994
- Information and Computation
On the complexity of queries in the logical data model
- Gabriel M. Kuper
- Moshe Y. Vardi
- 1993
- Theoretical Computer Science
Monotone monadic SNP and constraint satisfaction
- Tomás Feder
- Moshe Y. Vardi
- 1993
- STOC 1993
Parametric real-Time reasoning
- Rajeev Alur
- Thomas A. Henzinger
- et al.
- 1993
- STOC 1993
On monadic NP vs. monadic co-NP
- Ronald Fagin
- Larry Stockmeyer
- et al.
- 1993
- SCT 1993