Title: ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation
Authors: Dvorak, Wolfgang  
Rapberger, Anna  
Wallner, Johannes 
Woltran, Stefan 
Issue Date: 3-Jan-2020
Dvorak, W., Rapberger, A., Wallner, J., & Woltran, S. (2020). ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation. In Foundations of Information and Knowledge Systems. FoIKS 2020 (pp. 79–89). Springer. https://doi.org/10.34726/1821
Book Title: Foundations of Information and Knowledge Systems. FoIKS 2020 
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.
Keywords: Computational argumentation
URI: http://hdl.handle.net/20.500.12708/18875
DOI: 10.34726/1821
Organisation: E192 - Institut für Logic and Computation 
License: In Copyright 1.0
Publication Type: Inproceedings
Appears in Collections:Conference Paper

Files in this item:

Page view(s)

checked on Dec 1, 2021


checked on Dec 1, 2021

Google ScholarTM


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.