[Zurück]


Buchbeiträge:

W. Dvorak, P. Dunne:
"Computational Problems in Formal Argumentation and their Complexity";
in: "Handbook of Formal Argumentation", College Publications, 2018, ISBN: 978-1-84890-275-6, S. 631 - 687.



Kurzfassung englisch:
In this chapter we give an overview of the core computational problems arising in formal argumentation together with a complexity analysis highlighting different sources of computational complexity. To this end we consider three of the previously discussed formalisms,
that are Dung's abstract argumentation frameworks, assumption-based
argumentation, and abstract dialectical frameworks, each of which allows to highlight different sources of computational complexity in formal argumentation. As most of these problems turn out to be of high complexity we also consider properties of instances, like being in a specific graph class, that reduce the complexity and thus allow for more efficient algorithms. Finally, we also show how to apply techniques from parametrized complexity that allow for a more fine-grained complexity classification.

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.