Justifications and Blocking Sets in a Rule-Based Answer Set Computation.
Christopher BéatrixClaire LefèvreLaurent GarciaIgor StéphanPublished in: ICLP (Technical Communications) (2016)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- answer set programs
- normal logic programs
- fixpoint
- horn clauses
- database systems
- loop formulas
- nonmonotonic reasoning
- semantics of logic programs
- databases
- stable models
- reasoning tasks
- sat solvers
- rule base
- first order logic
- xml documents
- relational databases
- natural language
- artificial intelligence