A deductive system for non-monotonic reasoning

This publication has 20 references indexed in Scilit:

• On indefinite databases and the closed world assumption
  Published by Springer Nature ,2005
• Disjunctive datalog
  ACM Transactions on Database Systems, 1997
• 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
• COMPLEX: an object-oriented logic programming system
  IEEE Transactions on Knowledge and Data Engineering, 1992
• On the Relationship Between Abduction and Deduction
  Journal of Logic and Computation, 1991
• The well-founded semantics for general logic programs
  Journal of the ACM, 1991
• Glue-Nail
  ACM SIGMOD Record, 1991
• Circumscription and Disjunctive Logic Programming
  Published by Elsevier ,1991