16 citations · 71 across the 26 of their papers we have counts for
Showing 2014 · cs.AIShow all
3 papers · 2 filters
cs.AI2014★ 1 cited
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…
cs.AI2014★ 15 cited
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…
cs.AI2014★ 5 cited
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…