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

Efficiently Coupling the I-DLV Grounder with ASP Solvers

Calimeri F.;Dodaro C.;Perri S.;Zangari J.
2018-01-01

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 (7th) ASP competition, winning the regular track, category SP (i.e., one processor allowed).
constraints
knowledge representation and nonmonotonic reasoning
technical notes and rapid communications
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/309301
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 3
social impact