Constrained sampling and counting: Universal hashing meets SAT solving
- Kuldeep S. Meel
- Moshe Vardi
- et al.
- 2016
- AAAI 2016
Publications
Date
Featured collections
Popular topics
61 results for Moshe Vardi
What Can Machines Know? On the Epistemic Properties of Machines
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1986
- AAAI 1986
Polynomial-Time Implication Problems for Unary Inclusion Dependencies
- Stavros S. Cosmadakis
- Paris C. Kanellakis
- et al.
- 1990
- Journal of the ACM
Notions of dependency satisfaction
- Marc H. Graham
- Alberto O. Mendelzon
- et al.
- 1986
- Journal of the ACM
What Can Machines Know?: On the Properties of Knowledge in Distributed Systems
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1992
- Journal of the ACM
A Model-Theoretic Analysis of Knowledge
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1991
- Journal of the ACM
ON THE INTEGRITY OF DATABASES WITH INCOMPLETE INFORMATION
- Moshe Y. Vardi
- 1986
- SIGMOD/PODS 1986
Panel on “Past and future of computer science theory”
- Ronald Fagin
- Georg Gottlob
- et al.
- 2021
- SEBD 2021
Knowledge-based programs
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1995
- PODC 1995
Operational semantics for knowledge bases
- Ronald Fagin
- Yoram Moses
- et al.
- 1994
- aaai 1994