In this work we present I-DLV, the new intelligent grounder of the ASP system DLV. It relies on the solid theoretical foundations of its predecessor, yet it has been redesigned and rengineered: designed as a highly flexible and customizable tool, it fully supports the ASP-Core-2 standard language, shows significantly improved performance, and enjoys an extensible design that eases the incorporation of language updates and optimization techniques; besides resulting in a stable and efficient ASP instantiator, it constitutes also a full-fledged deductive database system. We describe here the main features of I-DLV and carry out experimental activities for assessing applicability and performance.
The ASP Instantiator I-DLV
CALIMERI, Francesco;Zangari J.
2017-01-01
Abstract
In this work we present I-DLV, the new intelligent grounder of the ASP system DLV. It relies on the solid theoretical foundations of its predecessor, yet it has been redesigned and rengineered: designed as a highly flexible and customizable tool, it fully supports the ASP-Core-2 standard language, shows significantly improved performance, and enjoys an extensible design that eases the incorporation of language updates and optimization techniques; besides resulting in a stable and efficient ASP instantiator, it constitutes also a full-fledged deductive database system. We describe here the main features of I-DLV and carry out experimental activities for assessing applicability and performance.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
