Wolfgang Dvorák, Paul E. Dunne abstract. In this chapter we give an overview of the core
computational problems arising in formal argumentation together with a complexity analysis …

In Dungs seminal work, an argumentation framework was defined by a set of abstract
arguments and a binary (and also abstract) relation between these arguments, called attack …

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 …

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 …

In this system description we briefly describe the ASPARTIX system for reasoning with
different abstract argumentation formalisms. The ASPARTIX system was one of the first …

We present ASPARTIX-V, a tool for reasoning in abstract argumentation frameworks that is
based on answer-set programming (ASP), in its 2019 release. ASPARTIX-V participated in …

Following the tradition of the ASPARTIX system, we present answer-set programming
encodings for the main semantics of argumentation frameworks with collective attacks (also …

Argumentation, in one form or another, is and has always been present in our lives.
Although it has its origins in the field of philosophy, it has expanded with time and, with the …

We propose a logical encoding of argumentation frameworks with higher-order interactions
(ie. attacks/supports whose targets are arguments or other attacks/supports) with an …