Towards the Proof-theoretic Unification of Dung's Argumentation Framework: an Adaptive Logic Approach.
Christian StraßerDunja SeseljaPublished in: J. Log. Comput. (2011)
Keyphrases
- proof theoretic
- argumentation frameworks
- nonmonotonic reasoning
- argumentation semantics
- argumentation systems
- linear logic
- abstract argumentation
- proof theory
- logical framework
- default reasoning
- argumentation theory
- model theoretic
- logic programming
- cut elimination
- constraint logic programming
- fixpoint
- abstract argumentation frameworks
- theorem proving
- belief revision
- sequent calculus
- automated reasoning
- practical reasoning
- description logics
- decision problems
- default logic
- preference relations
- logic programs
- special case
- decision making