Cerutti, Federico, Vallati, Mauro and Giacomin, Massimiliano (2016) On the Effectiveness of Automated Configuration in Abstract Argumentation Reasoning. In: Proceedings of The 6th International Conference on Computational Models of Argument (COMMA). IOS Press. (In Press)
- Accepted Version
Restricted to Repository staff only
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:||Book Chapter|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Q Science > QA Mathematics > QA76 Computer software
|Schools:||School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
School of Computing and Engineering > High-Performance Intelligent Computing > Planning, Autonomy and Representation of Knowledge
School of Computing and Engineering
|Depositing User:||Mauro Vallati|
|Date Deposited:||20 Jun 2016 16:05|
|Last Modified:||10 Dec 2016 03:20|
Downloads per month over past year
Repository Staff Only: item control page