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 - Sept 2016 |
| Event | 6th International Conference on Computational Models of Argument - University of Potsdam, Potsdam, Germany Duration: 12 Sept 2016 → 16 Sept 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 |
|