Verification in incomplete argumentation frameworks.
Dorothea BaumeisterDaniel NeugebauerJörg RotheHilmar SchadrackPublished in: Artif. Intell. (2018)
Keyphrases
- argumentation frameworks
- argumentation semantics
- logical framework
- practical reasoning
- abstract argumentation frameworks
- conflict free
- defeasible reasoning
- decision problems
- model checking
- argumentation systems
- computational problems
- abstract argumentation
- dialogue games
- desirable properties
- argumentation theory
- preference relations
- nonmonotonic reasoning
- case based reasoning
- grounded semantics