Proof Theories and Algorithms for Abstract Argumentation Frameworks

The main focus of this chapter is on more procedural, proof-theoretic and algorithmic aspects of argumentation, and properties of extensions of a Dung argumentation framework under various semantics.