Algorithm selection techniques are known to improve the performance of systems for several knowledge representation and reasoning frameworks.This holds also in the case of Answer Set Programming (ASP), which is a rule-based programming paradigm with roots in logic programming and non-monotonic reasoning. Indeed, the multiengine approach to ASP solving implemented in me-asp was particularly effective on the instances of the third ASP competition. In this paper we report about the advances we made on me-asp in order to deal with the new standard language ASPCore 2.0, which substantially extends the previous version of the standard language.An experimental analysis conducted on the Fifth ASP Competition benchmarks and solvers confirms the effectiveness of our approach also in comparison to rival systems.
Advances in multi-engine ASP solving / Maratea, Marco; Pulina, Luca; Ricca, Francesco. - 9336:(2015), pp. 179-190. (Intervento presentato al convegno 14th International Conference of the Italian Association for Artificial Intelligence, 2015 tenutosi a ita nel 2015) [10.1007/978-3-319-24309-2_14].
Advances in multi-engine ASP solving
PULINA, Luca;
2015-01-01
Abstract
Algorithm selection techniques are known to improve the performance of systems for several knowledge representation and reasoning frameworks.This holds also in the case of Answer Set Programming (ASP), which is a rule-based programming paradigm with roots in logic programming and non-monotonic reasoning. Indeed, the multiengine approach to ASP solving implemented in me-asp was particularly effective on the instances of the third ASP competition. In this paper we report about the advances we made on me-asp in order to deal with the new standard language ASPCore 2.0, which substantially extends the previous version of the standard language.An experimental analysis conducted on the Fifth ASP Competition benchmarks and solvers confirms the effectiveness of our approach also in comparison to rival systems.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
