Verification in Attack-Incomplete Argumentation Frameworks.
Dorothea BaumeisterDaniel NeugebauerJörg RothePublished in: ADT (2015)
Keyphrases
- argumentation frameworks
- abstract argumentation
- argumentation semantics
- practical reasoning
- argumentation systems
- model checking
- preferred semantics
- abstract argumentation frameworks
- conflict free
- defeasible reasoning
- logical framework
- countermeasures
- computational problems
- preference relations
- decision problems
- strong equivalence
- expert systems
- argumentation theory
- theorem proving
- bayesian networks