Aspartix-V21
Wolfgang Dvo\v{r}\'ak, Matthias K\"onig, Johannes P. Wallner, Stefan, Woltran

TL;DR
ASPARTIX-V21 is a new argumentation solver that incorporates advanced ASP features, heuristics, and multi-shot solving techniques to improve performance on classical reasoning tasks in argumentation frameworks.
Contribution
It introduces ASPARTIX-V21 with enhanced ASP language features, heuristics, and multi-shot methods, deviating from traditional monolithic approaches to boost efficiency.
Findings
Capable of solving all classical reasoning tasks in ICCMA'21
Incorporates recent ASP constructs like conditional literals
Uses domain heuristics and multi-shot solving techniques
Abstract
In this solver description we present ASPARTIX-V, in its 2021 edition, which participates in the International Competition on Computational Models of Argumentation (ICCMA) 2021. ASPARTIX-V is capable of solving all classical (static) reasoning tasks part of ICCMA'21 and extends the ASPARTIX system suite by incorporation of recent ASP language constructs (e.g. conditional literals), domain heuristics within ASP, and multi-shot methods. In this light ASPARTIX-V deviates from the traditional focus of ASPARTIX on monolithic approaches (i.e., one-shot solving via a single ASP encoding) to further enhance performance.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMulti-Agent Systems and Negotiation · Software Engineering Research · Advanced Software Engineering Methodologies
