Verification in Argument-Incomplete Argumentation Frameworks.
Dorothea BaumeisterJörg RotheHilmar SchadrackPublished in: ADT (2015)
Keyphrases
- argumentation frameworks
- abstract argumentation
- argumentation systems
- abstract argumentation frameworks
- defeasible reasoning
- practical reasoning
- conflict free
- argumentation semantics
- logical framework
- computational problems
- argumentation theory
- model checking
- decision problems
- strong equivalence
- preferred semantics
- preference relations
- state space
- knowledge representation
- lower bound