activity
20172019
most citedA Framework for Easing the Development of Applications Embedding Answer Set Programming

17 citations · 17 across the 1 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2018

Efficiently Coupling the I-DLV Grounder with ASP Solvers

Francesco Calimeri, Carmine Dodaro, Davide Fuscà +2

We present I-DLV+MS , a new Answer Set Programming (ASP) system that integrates an efficient grounder, namely I-DLV, with an automatic selector that inductively chooses a solver: d…