Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks.
Claudette CayrolSylvie DoutreJérôme MenginPublished in: ECSQARU (2001)
Keyphrases
- preferred semantics
- argumentation theory
- argumentation frameworks
- argumentation systems
- argumentation schemes
- argumentation semantics
- abstract argumentation
- defeasible reasoning
- defeasible argumentation
- multi agent systems
- theorem proving
- computational problems
- abstract argumentation frameworks
- practical reasoning
- preference relations
- defeasible logic programming
- sensemaking
- logical framework
- decision problems