<div class="csl-bib-body">
<div class="csl-entry">Dvorak, W., Rapberger, A., Wallner, J., & Woltran, S. (2020). ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation. In <i>Foundations of Information and Knowledge Systems. FoIKS 2020</i> (pp. 79–89). Springer. https://doi.org/10.34726/1821</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/18875
-
dc.identifier.uri
https://doi.org/10.34726/1821
-
dc.description.abstract
We present ASPARTIX-V, a tool for reasoning in abstract argumentation frameworks that is based on answer-set programming (ASP), in its 2019 release. ASPARTIX-V participated in this year’s edition of the International Competition on Computational Models of Argumentation (ICCMA’19) in all classical (static) reasoning tasks. In this paper we discuss extensions the ASPARTIX suite of systems has undergone for ICCMA’19. This includes incorporation of recent ASP language constructs (e.g. conditional literals), domain heuristics within ASP, and multi-shot methods. In particular, with this version of ASPARTIX-V we partially deviate from an earlier focus on monolithic approaches (i.e., one-shot solving via a single ASP encoding) to further enhance performance. We also briefly report on the results achieved by ASPARTIX-V in ICCMA’19.
en
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Computational argumentation
en
dc.title
ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.identifier.doi
10.34726/1821
-
dc.relation.isbn
978-3-030-39951-1
-
dc.relation.doi
10.1007/978-3-030-39951-1
-
dc.relation.issn
0302-9743
-
dc.description.startpage
79
-
dc.description.endpage
89
-
dc.relation.grantno
I2854-N35
-
dc.rights.holder
Springer
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Foundations of Information and Knowledge Systems. FoIKS 2020
-
tuw.container.volume
12012
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.project.title
Neue Werkzeuge für graphenbasierte formale Argumentation
-
tuw.publication.orgunit
E192 - Institut für Logic and Computation
-
tuw.publisher.doi
10.1007/978-3-030-39951-1_5
-
dc.description.numberOfPages
11
-
tuw.author.orcid
0000-0002-2269-8193
-
tuw.author.orcid
0000-0003-0355-3535
-
tuw.author.orcid
0000-0003-1594-8972
-
dc.rights.identifier
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
dc.description.sponsorshipexternal
Austrian Science Fund (FWF)
-
dc.description.sponsorshipexternal
Austrian Science Fund (FWF)
-
dc.relation.grantnoexternal
P30168-N31
-
dc.relation.grantnoexternal
W1255-N23
-
item.languageiso639-1
en
-
item.fulltext
with Fulltext
-
item.openaccessfulltext
Open Access
-
item.mimetype
application/pdf
-
item.openairetype
conference paper
-
item.grantfulltext
open
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.orcid
0000-0002-2269-8193
-
crisitem.author.orcid
0000-0003-0355-3535
-
crisitem.author.orcid
0000-0003-1594-8972
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)