51 citations · 56 across the 3 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2013
Translating NP-SPEC into ASP
Mario Alviano, Wolfgang Faber
NP-SPEC is a language for specifying problems in NP in a declarative way. Despite the fact that the semantics of the language was given by referring to Datalog with circumscription…
cs.AI2012★ 28 cited
Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
Mario Alviano, Wolfgang Faber, Nicola Leone +1
Datalog is one of the best-known rule-based languages, and extensions of it are used in a wide context of applications. An important Datalog extension is Disjunctive Datalog, which…
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 (…