The Intelligent Grounder of DLV [chapter]

Wolfgang Faber, Nicola Leone, Simona Perri
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