Efficiently Coupling the I-DLV Grounder with ASP Solvers

FRANCESCO CALIMERI,CARMINE DODARO,DAVIDE FUSCÀ,SIMONA PERRI,JESSICA ZANGARI
DOI: https://doi.org/10.1017/S1471068418000546
2020-02-12
Theory and Practice of Logic Programming
Abstract:We present , a new answer set programming (ASP) system that integrates an efficient grounder, namely , with an automatic selector that inductively chooses a solver: depending on some inherent features of the instantiation produced by , machine learning techniques guide the selection of the most appropriate solver. The system participated in the latest (7 th ) ASP competition, winning the regular track, category SP (i.e., one processor allowed).
computer science, theory & methods, software engineering,logic
What problem does this paper attempt to address?