The Multi-engine ASP solver ME-ASP

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.

Alternative URLs:

http://www.mrg.dist.unige.it/~marco/Data...

Abstract

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.

Item Type:	Conference or Workshop Item (Paper)
ID Code:	7984
Status:	Published
Uncontrolled Keywords:	Multi-engine solver, Answer Set Programming
Subjects:	Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni
Divisions:	001 Università di Sassari > 01-a Nuovi Dipartimenti dal 2012 > Scienze Politiche, Scienze della Comunicazione e Ingegneria dell'Informazione
Publisher:	Springer
Deposited On:	27 Sep 2012 10:03

I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore

Repository Staff Only: item control page