Talks and Poster Presentations (without Proceedings-Entry):
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,
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
Created from the Publication Database of the Vienna University of Technology.