Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco The DLV system for knowledge representation and reasoning. (English) Zbl 1367.68308 ACM Trans. Comput. Log. 7, No. 3, 499-562 (2006). Cited in 119 Documents MSC: 68T30 Knowledge representation 68N17 Logic programming 68Q19 Descriptive complexity and finite models 68T27 Logic in artificial intelligence Keywords:answer sets; computational complexity; implementation; knowledge representation; nonmonotonic reasoning; stable models PDF BibTeX XML Cite \textit{N. Leone} et al., ACM Trans. Comput. Log. 7, No. 3, 499--562 (2006; Zbl 1367.68308) Full Text: DOI