Within the last decade, abstract argumentation has emerged as a central field in Artificial
Intelligence. Besides providing a core formalism for many advanced argumentation systems …

Federico Cerutti, Sarah A. Gaggl, Matthias Thimm, Johannes P. Wallner abstract. We survey
the current state of the art of general techniques, as well as specific software systems for …

Abstract argumentation frameworks (AFs) provide the basis for various reasoning problems
in the area of Artificial Intelligence. Efficient evaluation of AFs has thus been identified as an …

We report on the First International Competition on Computational Models of Argumentation
(ICCMA'15) which took place in the first half of 2015 and focused on reasoning tasks in …

The decision problem of quantified Boolean formulas (QBFs) is the archetypical problem for
the complexity class PSPACE. Beside such theoretical aspects QBF also provides an …

We provide a logical analysis of abstract argumentation frameworks and their dynamics.
Following previous work, we express attack relation and argument status by means of …

Dung's argumentation frameworks have been applied for over twenty years to the analysis of
argument justification. This representation focuses on arguments and the attacks among …

In 1995, in his seminal paper introducing the abstract argumentation framework, Dung has
also established the first relationship between this framework and a logical framework (in …

This paper presents a meta-algorithm for the computation of preferred labellings, based on
the general recursive schema for argumentation semantics called SCC-Recursiveness. The …

Abstract argumentation is nowadays a vivid field within artificial intelligence and has seen
different developments recently. In particular, enrichments of the standard Dung frameworks …