Efficiently Coupling the I-DLV Grounder with ASP Solvers
Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari · Theory and Practice of Logic Programming · 2018
We present ${{{{$\mathscr{I}$}-}\textsc{dlv}}+{{$\mathscr{MS}$}}}$ , a new answer set programming (ASP) system that integrates an efficient grounder, namely ${{{$\mathscr{I}$}-}\textsc{dlv}}$ , with an automatic selector that inductively chooses a solver: depending on some inherent features of the instantiation produced by ${{{$\mathscr{I}$}-}\textsc{dlv}}$ , machine learning techniques guide the selection of the most appropriate solver. The system participated in the latest (7th) ASP competition, winning the regular track, category SP (i.e., one processor allowed).