Aspartix-V21

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.