The DLV System for Knowledge Representation and Reasoning

Simple item page
dc.creatorLeone, Nicola
dc.creatorPfeifer, Gerald
dc.creatorFaber, Wolfgang
dc.creatorEiter, Thomas
dc.creatorGottlob, Georg
dc.creatorPerri, Simona
dc.creatorScarcello, Francesco
dc.date2002-11-04
dc.date2003-09-10
dc.date.accessioned2026-07-07T09:22:08Z
dc.date.available2026-07-07T09:22:08Z
dc.descriptionThis paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel language, function-free disjunctive logic programs (also known as disjunctive datalog), extended by weak constraints, which are a powerful tool to express optimization problems. We then illustrate the usage of DLV as a tool for knowledge representation and reasoning, describing a new declarative programming methodology which allows one to encode complex problems (up to $Δ^P_3$-complete problems) in a declarative fashion. On the foundational side, we provide a detailed analysis of the computational complexity of the language of DLV, and by deriving new complexity results we chart a complete picture of the complexity of this language and important fragments thereof. Furthermore, we illustrate the general architecture of the DLV system which has been influenced by these results. As for applications, we overview application front-ends which have been developed on top of DLV to solve specific knowledge representation tasks, and we briefly describe the main international projects investigating the potential of the system for industrial exploitation. Finally, we report about thorough experimentation and benchmarking, which has been carried out to assess the efficiency of the system. The experimental results confirm the solidity of DLV and highlight its potential for emerging application areas like knowledge management and information integration.
dc.description56 pages, 9 figures, 6 tables
dc.identifierhttps://arxiv.org/abs/cs/0211004
dc.identifierhttp://arxiv.org/abs/cs/0211004
dc.identifierACM Transactions on Computational Logic 7(3):499-562, 2006
dc.identifierdoi:10.1145/1149114.1149117
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/155270
dc.subjectArtificial Intelligence
dc.subjectLogic in Computer Science
dc.subjectProgramming Languages
dc.subjectI.2.3; I.2.4; D.3.1
dc.titleThe DLV System for Knowledge Representation and Reasoning
dc.typetext

Files

Collections

arXiv