Cerutti, Federico ORCID: https://orcid.org/0000-0003-0755-0358, Vallati, Mauro and Giacomin, Massimiliano 2016. On the effectiveness of automated configuration in abstract argumentation reasoning. Presented at: The COMMA 2016: 6th International Conference on Computational Models of Argument, Potsdam, Germany, 12-16 September 2016. |
Preview |
PDF
- Accepted Post-Print Version
Download (203kB) | Preview |
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.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Status: | Unpublished |
Schools: | Advanced Research Computing @ Cardiff (ARCCA) Computer Science & Informatics |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
Related URLs: | |
Date of First Compliant Deposit: | 14 July 2016 |
Last Modified: | 01 Nov 2022 10:40 |
URI: | https://orca.cardiff.ac.uk/id/eprint/92466 |
Citation Data
Cited 2 times in Scopus. View in Scopus. Powered By Scopus® Data
Actions (repository staff only)
Edit Item |