<div class="csl-bib-body">
<div class="csl-entry">Keshavarzi Zafarghandi, A., Dvorak, W., Verbrugge, R., & Verheij, B. (2022). How complex is the strong admissibility semantics for abstract dialectical frameworks? In F. Toni, S. Polberg, R. Booth, Caminada Martin, & H. Kido (Eds.), <i>Computational Models of Argument - Proceedings of COMMA 2022</i> (pp. 200–211). IOS Press. https://doi.org/10.3233/FAIA220153</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/150289
-
dc.description.abstract
Abstract dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. Recently, the notion of strong admissibility has been introduced for ADFs. In the current work we study the computational complexity of the following reasoning tasks under strong admissibility semantics. We address 1.The credulous/skeptical decision problem; 2.The verification problem; 3.The strong justification problem; and 4.The problem of finding a smallest witness of strong justification of a queried argument.
en
dc.language.iso
en
-
dc.relation.ispartofseries
Frontiers in Artificial Intelligence and Applications
-
dc.subject
abstract dialectical frameworks
en
dc.subject
argumentation
en
dc.subject
complexity
en
dc.title
How complex is the strong admissibility semantics for abstract dialectical frameworks?
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.editoraffiliation
Western University, Canada
-
dc.contributor.editoraffiliation
Cardiff University, UK
-
dc.relation.isbn
978-1-64368-307-2
-
dc.relation.doi
10.3233/FAIA353
-
dc.description.startpage
200
-
dc.description.endpage
211
-
dcterms.dateSubmitted
2022
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Computational Models of Argument - Proceedings of COMMA 2022
-
tuw.container.volume
353
-
tuw.book.ispartofseries
Frontiers in Artificial Intelligence and Applications
