May 5, 2014 · MEASP is a multi-engine solver for ground ASP programs. It exploits algorithm selection techniques based on classification to select one among a ...

In this paper we describe the new system me-asp, which applies machine learning techniques for inductively choosing, among a set of available ones, ...

Abstract. In this paper we describe the new system ME-ASP, which applies ma- chine learning techniques for inductively choosing, among a set of available ...

ME-ASP is a multi-engine solver for ground ASP programs. It exploits algorithm selection techniques based on classifi- cation to select one among a set of out- ...

MEASP is a multi-engine solver for ground ASP programs. It exploits algorithm selection techniques based on classification to select one among a set of ...

The number of real-life ASP applications is significantly increasing; thus, efficient ASP systems are needed. It is well-known that, on empirically hard ...

In this paper we describe the new system me-asp, which applies machine learning techniques for inductively choosing, among a set of available ones, ...

In this paper we describe the new system me-asp, which applies machine learning techniques for inductively choosing, among a set of available ones, ...

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- ...

Abstract. In this paper we describe the new system ME-ASP, which applies ma- chine learning techniques for inductively choosing, among a set of available ...