<div class="csl-bib-body">
<div class="csl-entry">Linsbichler, T., Maratea, M., Niskanen, A., Wallner, J., & Woltran, S. (2018). Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. In J. Lang (Ed.), <i>Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence : Stockholm, 13-19 July 2018</i>. ijcai.org. https://doi.org/10.24963/ijcai.2018/263</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/825
-
dc.description
The final publication is available via <a href="https://doi.org/10.24963/ijcai.2018/263" target="_blank">https://doi.org/10.24963/ijcai.2018/263</a>.
-
dc.description.abstract
Abstract dialectical frameworks (ADFs) constitute one of the most powerful formalisms in abstract argumentation. Their high computational complexity poses, however, certain challenges when designing efficient systems. In this paper, we tackle this issue by (i) analyzing the complexity of ADFs under structural restrictions, (ii) presenting novel algorithms which make use of these insights, and (iii) empirically evaluating a resulting implementation which relies on calls to SAT solvers.
en
dc.description.sponsorship
Fonds zur Förderung der Wissenschaftlichen Forschung
-
dc.description.sponsorship
Fonds zur Förderung der Wissenschaftlichen Forschung
-
dc.description.sponsorship
Fonds zur Förderung der Wissenschaftlichen Forschung
-
dc.description.sponsorship
Academy of Finland
-
dc.language
English
-
dc.language.iso
en
-
dc.publisher
ijcai.org
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Computational Complexity of Reasoning
en
dc.subject
Computational Models of Argument
en
dc.title
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.relation.isbn
9780999241127
-
dc.relation.grantno
P30168-N31
-
dc.relation.grantno
I2854
-
dc.relation.grantno
Y698
-
dc.relation.grantno
312662
-
dc.rights.holder
2018 IJCAI. Published at <a href="https://www.ijcai.org/">https://www.ijcai.org/.</a>
-
dc.type.category
Full-Paper Contribution
-
dc.publisher.place
Sweden, Stockholm
-
tuw.booktitle
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence : Stockholm, 13-19 July 2018
-
tuw.peerreviewed
true
-
tuw.version
am
-
tuw.publication.orgunit
E192 - Institut für Logic and Computation
-
tuw.publisher.doi
10.24963/ijcai.2018/263
-
dc.identifier.libraryid
AC15603451
-
dc.description.numberOfPages
7
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:3-8775
-
tuw.author.orcid
0000-0003-3197-2075
-
tuw.author.orcid
0000-0003-1594-8972
-
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.event.name
Twenty-Seventh International Joint Conference on Artificial Intelligence 2018
-
tuw.event.startdate
13-07-2018
-
tuw.event.enddate
19-07-2018
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Stockholm
-
tuw.event.country
SE
-
tuw.event.presenter
Linsbichler, Thomas
-
item.fulltext
with Fulltext
-
item.grantfulltext
open
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.openairetype
conference paper
-
item.openaccessfulltext
Open Access
-
item.mimetype
application/pdf
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192 - Institut für Logic and Computation
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
