Showing cs.AIShow all
2 papers · 1 filter
cs.AI2002
The DLV System for Knowledge Representation and Reasoning
Nicola Leone, Gerald Pfeifer, Wolfgang Faber +4
This 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 s…
cs.AI2000
DLV - A System for Declarative Problem Solving
Thomas Eiter, Wolfgang Faber, Christoph Koch +2
DLV is an efficient logic programming and non-monotonic reasoning (LPNMR) system with advanced knowledge representation mechanisms and interfaces to classic relational database sys…