On the effectiveness of automated configuration in abstract argumentation reasoning

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:	Professional Services > Advanced Research Computing @ Cardiff (ARCCA) Schools > Computer Science & Informatics
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Related URLs:	Organisation
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