Paracoherent Answer Set Semantics meets Argumentation Frameworks.
Giovanni AmendolaFrancesco RiccaPublished in: Theory Pract. Log. Program. (2019)
Keyphrases
- argumentation frameworks
- strong equivalence
- answer set semantics
- answer sets
- logic programs
- argumentation semantics
- logic programming
- answer set programming
- preference relations
- abstract argumentation
- practical reasoning
- computational problems
- abstract argumentation frameworks
- decision problems
- propositional logic
- stable models
- reasoning tasks
- dynamic programming
- special case
- high level
- decision making