Progress report on the disjunctive deductive database system dlv

This publication has 12 references indexed in Scilit:

• A theory of diagnosis from first principles
  Published by Elsevier ,2003
• Abduction from logic programs: Semantics and complexity
  Theoretical Computer Science, 1997
• Disjunctive datalog
  ACM Transactions on Database Systems, 1997
• Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation
  Information and Computation, 1997
• Default logic as a query language
  IEEE Transactions on Knowledge and Data Engineering, 1997
• Abductive Logic Programming
  Journal of Logic and Computation, 1992
• Glue-Nail
  ACM SIGMOD Record, 1991
• Integrating object-oriented data modelling with a rule-based programming paradigm
  ACM SIGMOD Record, 1990
• The LDL system prototype
  IEEE Transactions on Knowledge and Data Engineering, 1990
• Explanation and prediction: an architecture for default and abductive reasoning
  Computational Intelligence, 1989