51 citations · 51 across the 2 of their papers we have counts for
3 papers
cs.AI2011★ 51 cited
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…
cs.LO2010★ 5 cited
Dynamic Magic Sets for Super-Consistent Answer Set Programs
Mario Alviano, Wolfgang Faber
For many practical applications of ASP, for instance data integration or planning, query answering is important, and therefore query optimization techniques for ASP are of great in…
cs.AI2008
Design and Implementation of Aggregate Functions in the DLV System
Wolfgang Faber, Gerald Pfeifer, Nicola Leone +2
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows for expressing every property of finite structures that is decidable in the complexity class SigmaP2 (…