I-DLV: The new intelligent grounder of DLV.

Autor: Calimeri, Francesco1,2 calimeri@mat.unical.it, Fuscà, Davide1, Perri, Simona1, Zangari, Jessica1
Zdroj: Intelligenza Artificiale. 2017, Vol. 11 Issue 1, p5-24. 20p.
Databáze: Academic Search Ultimate