Abstract Solvers for Dung's Argumentation Frameworks.
Rémi BrocheninThomas LinsbichlerMarco MarateaJohannes Peter WallnerStefan WoltranPublished in: TAFA (2015)
Keyphrases
- argumentation frameworks
- argumentation semantics
- abstract argumentation
- abstract argumentation frameworks
- argumentation systems
- logical framework
- computational problems
- decision problems
- preference relations
- argumentation theory
- practical reasoning
- strong equivalence
- desirable properties
- decision making
- sat solvers
- grounded semantics
- lower bound
- search algorithm
- optimal solution