Aspartix-V21
This work addresses performance improvements for computational argumentation solvers, but it is incremental as it builds upon existing ASPARTIX systems.
The paper presents ASPARTIX-V, a solver for classical reasoning tasks in computational argumentation, which extends the ASPARTIX suite by incorporating new ASP constructs, domain heuristics, and multi-shot methods to enhance performance.
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.