W. Dvorak, R. Pichler, S. Woltran:
"Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation";
Report for TU Wien, Institut für Informationssysteme;
Report No. DBAI-TR-2011-74,
Abstract argumentation frameworks have received a lot of interest in recent years. Most computational problems in this area are intractable but several tractable fragments have been identiﬁed. In particular, Dunne showed that many problems can be solved in linear time for argumentation frameworks of bounded tree-width. However, these tractability results, which were obtained via Courcelle´s Theorem, do not directly lead to efﬁcient algorithms. The goal of this paper is to turn the theoretical tractability results into efﬁcient algorithms and to explore the potential of directed notions of tree-width for deﬁning larger tractable fragments. As a by-product, we will sharpen some known complexity results.
abstract argumentation, fixed-parameter tractable, dynamic programming, tree-width, directed tree-width
Project Head Reinhard Pichler:
Theoretisch Effiziente Lösbarkeit vs. Praktische Berechnung
Project Head Stefan Woltran:
Neue Methoden für Analyse, Vergleich und Lösung von Argumentationsproblemen
Created from the Publication Database of the Vienna University of Technology.