16 citations · 71 across the 26 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 3 cited
Complexity of super-coherence problems in ASP
Mario Alviano, Wolfgang Faber, Stefan Woltran
Adapting techniques from database theory in order to optimize Answer Set Programming (ASP) systems, and in particular the grounding components of ASP systems, is an important topic…
cs.AI2012★ 3 cited
Magic Sets for Disjunctive Datalog Programs
Mario Alviano, Wolfgang Faber, Gianluigi Greco +1
In this paper, a new technique for the optimization of (partially) bound queries over disjunctive Datalog programs with stratified negation is presented. The technique exploits the…