55 citations · 96 across the 4 of their papers we have counts for
4 papers
Efficient Computation of the Well-Founded Semantics over Big Data
Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber
Data originating from the Web, sensor readings and social media result in increasingly huge datasets. The so called Big Data comes with new scientific and technological challenges…
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…
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 (…
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
Thomas Eiter, Wolfgang Faber, Nicola Leone +1
Most recently, Answer Set Programming (ASP) is attracting interest as a new paradigm for problem solving. An important aspect which needs to be supported is the handling of prefere…