On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks
Authors: Markus Kröll, Reinhard Pichler, Stefan Woltran
IJCAI 2017 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | 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. Formal tools for the complexity analysis of enumeration problems date back to [Johnson et al., 1988] and have been further refined in recent years [Strozecki, 2010; Creignou et al., 2013]. As emphasized above, enumeration is a central task for argumentation systems and, in order to understand their adequacy from a complexity theoretic point of view, a systematic study of the enumeration problem of AFs is needed. It is exactly the goal of this paper to provide such an analysis. |
| Researcher Affiliation | Academia | Markus Kr oll, Reinhard Pichler, and Stefan Woltran TU Wien, Austria {kroell, pichler,woltran}@dbai.tuwien.ac.at |
| Pseudocode | No | The paper describes algorithmic ideas but does not provide formal pseudocode blocks or sections explicitly labeled 'Algorithm' for its own methods. It references an algorithm from an external paper: 'For res Gr, an enumeration algorithm is given in [Baroni et al., 2011b, Algorithm 2]'. |
| Open Source Code | No | The paper does not mention releasing source code for the methodology described, nor does it provide any links to a code repository. |
| Open Datasets | No | This paper is theoretical research on complexity analysis and does not involve the use of datasets for training. |
| Dataset Splits | No | This paper is theoretical research on complexity analysis and does not involve the use of datasets for validation. |
| Hardware Specification | No | This paper focuses on theoretical complexity analysis and does not describe computational experiments that would require specific hardware specifications. |
| Software Dependencies | No | The paper is theoretical and does not specify software dependencies with version numbers for its own research. |
| Experiment Setup | No | This paper is theoretical and does not describe an experimental setup with hyperparameters or training configurations. |