On the Complexity of Enumerating the Extensions of
Abstract Argumentation Frameworks
Abstract
Several computational problems of abstract argumentation frameworks (AFs) such as skeptical and
credulous reasoning, existence of a non-empty extension, verification, etc. have been thoroughly analyzed for various semantics. In contrast, the enumeration problem of AFs (i.e., the problem of computing all extensions according to some semantics)
has been left unexplored so far. The goal of this paper is to fill this gap. We thus investigate the enumeration complexity of AFs for a large collection
of semantics and, in addition, consider the most
common structural restrictions on AFs