Paracoherent Answer Set Semantics meets Argumentation Frameworks.
Giovanni AmendolaFrancesco RiccaPublished in: CoRR (2019)
Keyphrases
- strong equivalence
- argumentation frameworks
- answer set semantics
- logic programming
- logic programs
- argumentation semantics
- abstract argumentation
- answer sets
- computational problems
- practical reasoning
- decision problems
- preference relations
- abstract argumentation frameworks
- answer set programming
- general purpose
- reasoning tasks
- desirable properties
- high level