Declarative Problem-Solving Using the DLV System

This publication has 24 references indexed in Scilit:

• A theory of diagnosis from first principles
  Published by Elsevier ,2003
• Computing with default logic
  Artificial Intelligence, 1999
• Progress report on the disjunctive deductive database system dlv
  Published by Springer Nature ,1998
• Abduction from logic programs: Semantics and complexity
  Theoretical Computer Science, 1997
• Disjunctive datalog
  ACM Transactions on Database Systems, 1997
• Representing actions in logic programs and default theories a situation calculus approach
  The Journal of Logic Programming, 1997
• Default logic as a query language
  IEEE Transactions on Knowledge and Data Engineering, 1997
• Computation of stable models and its integration with logical query processing
  IEEE Transactions on Knowledge and Data Engineering, 1996
• The well-founded semantics for general logic programs
  Journal of the ACM, 1991
• Explanation and prediction: an architecture for default and abductive reasoning
  Computational Intelligence, 1989