28 citations · 44 across the 2 of their papers we have counts for
2 papers
cs.AI2015★ 16 cited
Complexity and Compilation of GZ-Aggregates in Answer Set Programming
Mario Alviano, Nicola Leone
Gelfond and Zhang recently proposed a new stable model semantics based on Vicious Circle Principle in order to improve the interpretation of logic programs with aggregates. The pap…
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…