The multi-engine ASP solver ME-ASP

Authors:
Marco Maratea;Luca Pulina;Francesco Ricca
Affiliations:
DIBRIS, Univ. degli Studi di Genova, Genova, Italy;POLCOMING, Univ. degli Studi di Sassari, Sassari, Italy;Dipartimento di Matematica, Univ. della Calabria, Rende, Italy
Venue:
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Year:
2012

Citing 15
Cited 0

Disjunctive datalog

ACM Transactions on Database Systems (TODS)
Answer set planning

Proceedings of the 1999 international conference on Logic programming
Extending and implementing the stable model semantics

Artificial Intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
YALE: rapid prototyping for complex data mining tasks

Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining
A self-adaptive multi-engine solver for quantified Boolean formulas

Constraints
Aggregation Pheromone Density Based Pattern Classification

Fundamenta Informaticae
Computing Stable Models via Reductions to Difference Logic

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
SATzilla: portfolio-based algorithm selection for SAT

Journal of Artificial Intelligence Research
Conflict-driven answer set solving

IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
SAT(ID): satisfiability of propositional logic extended with inductive definitions

SAT'08 Proceedings of the 11th international conference on Theory and applications of satisfiability testing
Learning and using domain-specific heuristics in ASP solvers

AI Communications - Answer Set Programming
A portfolio solver for answer set programming: preliminary report

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
The third answer set programming competition: preliminary report of the system competition track

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning

Quantified Score

Hi-index	0.00

Visualization

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.