16 citations · 71 across the 26 of their papers we have counts for
4 papers · 1 filter
Semantics and Compilation of Answer Set Programming with Generalized Atoms
Mario Alviano, Wolfgang Faber
Answer Set Programming (ASP) is logic programming under the stable model or answer set semantics. During the last decade, this paradigm has seen several extensions by generalizing…
Anytime Computation of Cautious Consequences in Answer Set Programming
Mario Alviano, Carmine Dodaro, Francesco Ricca
Query answering in Answer Set Programming (ASP) is usually solved by computing (a subset of) the cautious consequences of a logic program. This task is computationally very hard, a…
Preliminary Report on WASP 2.0
Mario Alviano, Carmine Dodaro, Francesco Ricca
Answer Set Programming (ASP) is a declarative programming paradigm. The intrinsic complexity of the evaluation of ASP programs makes the development of more effective and faster sy…
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates
Mario Alviano, Francesco Calimeri, Wolfgang Faber +2
Logic programs with aggregates (LPA) are one of the major linguistic extensions to Logic Programming (LP). In this work, we propose a generalization of the notions of unfounded set…