[Back]

W. Dvorak, M. König, A. Rapberger, J. P. Wallner, S. Woltran:
"ASPARTIX-V - A Solver for Argumentation Tasks Using ASP";
Talk: ASPOCP 2021 - 14th Workshop on Answer Set Programming and Other Computing Paradigms, Porto; 2021-09-20 - 2021-09-27.

In this work we present the ASPARTIX-V system, an ASP-based solver for reasoning in abstract argumentation.
It supports all the classical reasoning tasks in abstract argumentation, e.g., credulous and
skeptical reasoning, as well as enumeration of extensions. ASPARTIX-V 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 towards its participation in the recent editions of the International Competition
on Computational Models of Argumentation (ICCMA).

Abstract Argumentation, ASP, System description