Justifying answer sets using argumentation.
Claudia SchulzFrancesca ToniPublished in: Theory Pract. Log. Program. (2016)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- extended logic programs
- answer set programs
- normal logic programs
- fixpoint
- semantics of logic programs
- deductive databases
- argumentation semantics
- information systems
- logic program updates
- counter examples
- loop formulas
- legal reasoning
- nonmonotonic reasoning
- defeasible logic
- disjunctive logic programming
- stable models
- argumentation frameworks
- integrity constraints
- general purpose
- machine learning