Efficiently Coupling the I-DLV Grounder with ASP Solvers

Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari. Efficiently Coupling the I-DLV Grounder with ASP Solvers. TPLP, 20(2):205-224, 2020. [doi]

Abstract

Abstract is missing.

  翻译: