I-DLV: The new intelligent grounder of DLV. - Calimeri, Francesco; Fuscà, Davide; Perri, Simona; Zangari, Jessica (Intelligenza Artificiale, 2017)