Strong and weak constraints in disjunctive datalog

This publication has 9 references indexed in Scilit:

• On indefinite databases and the closed world assumption
  Published by Springer Nature ,2005
• Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation
  Information and Computation, 1997
• The complexity of logic-based abduction
  Journal of the ACM, 1995
• Logic programming and knowledge representation
  The Journal of Logic Programming, 1994
• Propositional semantics for disjunctive logic programs
  Annals of Mathematics and Artificial Intelligence, 1994
• Adding disjunction to datalog (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1994
• Classical negation in logic programs and disjunctive databases
  New Generation Computing, 1991
• A Theorem-Proving Approach to Database Integrity
  Published by Elsevier ,1988
• Integrity constraint checking in stratified databases
  The Journal of Logic Programming, 1987