← Search

Wolfgang Dvořák

3 accepted papers

2022

Tractable Abstract Argumentation via Backdoor-Treewidth

AAAI 2022technical

Argumentation frameworks (AFs) are a core formalism in the field of formal argumentation. As most standard computational tasks regarding AFs are hard for the first or second level of the Polynomial Hierarchy, a variety of algorithmic approaches to achieve manageable runtimes have been considered in…

2021

Recursion in Abstract Argumentation is Hard — On the Complexity of Semantics Based on Weak Admissibility

AAAI 2021technical

We study the computational complexity of abstract argumentation semantics based on weak admissibility, a recently introduced concept to deal with arguments of self-defeating nature. Our results reveal that semantics based on weak admissibility are of much higher complexity (under typical assumption…

Cited by 13SourcePDFScholar
2021

The Complexity Landscape of Claim-Augmented Argumentation Frameworks

AAAI 2021technical

Claim-augmented argumentation frameworks (CAFs) provide a formal basis to analyze conclusion-oriented problems in argumentation by adapting a claim-focused perspective; they extend Dung AFs by associating a claim to each argument representing its conclusion. This additional layer offers various poss…

Cited by 19SourcePDFScholar