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.
Cite
@article{arxiv.2109.03166,
title = {Aspartix-V21},
author = {Wolfgang Dvořák and Matthias König and Johannes P. Wallner and Stefan Woltran},
journal= {arXiv preprint arXiv:2109.03166},
year = {2021}
}