On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationComputational Models of Argument
Subtitle of host publicationProceedings of COMMA 2016
Place of PublicationNetherlands
PublisherIOS Press
Number of pages8
ISBN (Electronic)9781614996866
ISBN (Print)9781614996859
Publication statusPublished - Sep 2016
Event6th International Conference on Computational Models of Argument - University of Potsdam, Potsdam, Germany
Duration: 12 Sep 201616 Sep 2016
Conference number: 6
http://www.ling.uni-potsdam.de/comma2016/ (Link to Conference Website)

Publication series

NameFrontiers in Artificial Intelligence and Applications
PublisherIOS Press
ISSN (Print)0922-6389
ISSN (Electronic)1879-8314


Conference6th International Conference on Computational Models of Argument
Abbreviated titleCOMMA 2016
Internet address

Cite this