A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
The Intelligent Grounder of DLV
[chapter]
2012
Lecture Notes in Computer Science
In this work, we give an overview of the DLV Intelligent Grounder, one of the most popular Answer Set Programming instantiators, and a very strong point of the DLV system. Based on a variant of semi-naive evaluation, it also includes several advanced optimization techniques and supports a number of application-oriented features which allow for the successful exploitation of DLV in real-world contexts, also at an industrial level.
doi:10.1007/978-3-642-30743-0_17
fatcat:2zehhw5upbbgblazwlbqtg7igi