Efficiently Coupling the I-DLV Grounder with ASP Solvers. Issue 2 (4th March 2020)

• Record Type: Journal Article
• Authors: CALIMERI, FRANCESCO; DODARO, CARMINE; FUSCÀ, DAVIDE; PERRI, SIMONA; ZANGARI, JESSICA
• Is Part Of: Theory and practice of logic programming. Volume 20:Issue 2(2020)
• Page Start: 205
• Page End: 224
• Publication Date: 2020-03-04
• Subjects: knowledge representation and nonmonotonic reasoning, -- constraints, -- technical notes and rapid communications; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068418000546
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract : 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 (7 th ) ASP competition, winning the regular track, category SP (i.e., one processor allowed).