A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks.
Abdallah AriouaMadalina CroitoruPublished in: ECAI (2016)
Keyphrases
- proof theory
- argumentation frameworks
- argumentation systems
- defeasible reasoning
- argumentation theory
- abstract argumentation frameworks
- default reasoning
- argumentation semantics
- nonmonotonic reasoning
- automated reasoning
- desirable properties
- abstract argumentation
- knowledge representation
- preference relations
- reasoning problems
- logical framework
- practical reasoning
- decision problems
- defeasible argumentation
- cp nets
- probabilistic reasoning
- default logic
- logic programming
- expert systems
- artificial intelligence