On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning

In this paper we investigate the impact of automated configuration techniques on the ArgSemSAT solver---runner-up of the ICCMA 2015---for solving the enumeration of preferred extensions. Moreover, we introduce a fully automated method for varying how argumentation frameworks are represented in the input file, and evaluate how the joint configuration of frameworks and ArgSemSAT parameters can have a remarkable impact on performance.

Our findings suggest that automated configuration techniques lead to improved performances in argumentation solvers, an important message for participants to the forthcoming competition.