ME-ASP: MultiEngine solver for Answer Set Programing with Policy Adaptation

by M. Maratea, L. Pulina, F. Ricca

Description:

ME-ASP applies machine learning techniques to ASP solving for selecting the best solver on a per-instance basis.

It exploits more than 50 cheap-to-compute syntactic features that allow for accurate classification of ground ASP programs.
You can select one of five multinomial classification methods to learning algorithm selection strategies.

Requirements:
- Linux OS
- rapidminer 4.6 (rapid-i.com)
- SUN java jre1.6.0_30

Download:

Installation:
- Unzip ME-ASP.zip
- Set "RAPIDMINER_HOME" and "JAVA_HOME" in ./RAPIDMINER/rapidminer