Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
H. Strass, J. P. Wallner:
"Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Wien;
20.07.2014
- 24.07.2014; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference",
C. Baral, G. De Giacomo, T. Eiter (Hrg.);
AAAI Press,
(2014),
ISBN: 978-1-57735-657-8;
S. 101
- 110.
Kurzfassung englisch:
Abstract dialectical frameworks (ADFs) have recently been proposed as a versatile generalization of Dung's abstract argumentation frameworks (AFs). In this paper, we present a comprehensive analysis of the computational complexity of ADFs. Our results show that while ADFs are one level up in the polynomial hierarchy compared to AFs, there is a useful subclass of ADFs which is as complex as AFs while arguably offering more modeling capacities. As a technical vehicle, we employ the approximation fixpoint theory of Denecker, Marek and Truszczyński, thus showing that it is also a useful tool for complexity analysis of operator-based semantics.
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.