1.2k citations · 1.4k across the 4 of their papers we have counts for
4 papers
Answer Set Planning Under Action Costs
T. Eiter, W. Faber, N. Leone +2
Recently, planning based on answer set programming has been proposed as an approach towards realizing declarative planning systems. In this paper, we present the language Kc, which…
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…
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity
Thomas Eiter, Wolfgang Faber, Nicola Leone +2
We propose a new declarative planning language, called K, which is based on principles and methods of logic programming. In this language, transitions between states of knowledge c…
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…