Maratea, Marco and Pulina, Luca and Ricca, Francesco (2012) The Multi-engine ASP solver ME-ASP. In: JELIA 2012: Logics in Artificial Intelligence: 13th European Conference, 26-28 September 2012, Toulouse, France. Heidelberg - Berlin, Springer. p. 484-487. (Lecture Notes in Computer Science, ). Conference or Workshop Item.
Full text not available from this repository.
In this paper we describe the new system ME-ASP, which applies machine learning techniques for inductively choosing, among a set of available ones, the “best” ASP solver on a per-instance basis. Moreover, we report the results of some experiments, carried out on benchmarks from the “System Track” of the 3rd ASP Competition, showing the state-of-the-art performance of our solver.
I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore
Repository Staff Only: item control page