Abstract
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 language | English |
---|---|
Title of host publication | Computational Models of Argument |
Subtitle of host publication | Proceedings of COMMA 2016 |
Place of Publication | Netherlands |
Publisher | IOS Press |
Pages | 199-206 |
Number of pages | 8 |
Volume | 287 |
ISBN (Electronic) | 9781614996866 |
ISBN (Print) | 9781614996859 |
DOIs | |
Publication status | Published - Sep 2016 |
Event | 6th International Conference on Computational Models of Argument - University of Potsdam, Potsdam, Germany Duration: 12 Sep 2016 → 16 Sep 2016 Conference number: 6 http://www.ling.uni-potsdam.de/comma2016/ (Link to Conference Website) |
Publication series
Name | Frontiers in Artificial Intelligence and Applications |
---|---|
Publisher | IOS Press |
Volume | 287 |
ISSN (Print) | 0922-6389 |
ISSN (Electronic) | 1879-8314 |
Conference
Conference | 6th International Conference on Computational Models of Argument |
---|---|
Abbreviated title | COMMA 2016 |
Country/Territory | Germany |
City | Potsdam |
Period | 12/09/16 → 16/09/16 |
Internet address |
|