1.2k citations · 1.5k across the 15 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.AI2013★ 1 cited
Properties of Answer Set Programming with Convex Generalized Atoms
Mario Alviano, Wolfgang Faber
In recent years, Answer Set Programming (ASP), logic programming under the stable model or answer set semantics, has seen several extensions by generalizing the notion of an atom i…
cs.AI2013
Translating NP-SPEC into ASP
Mario Alviano, Wolfgang Faber
NP-SPEC is a language for specifying problems in NP in a declarative way. Despite the fact that the semantics of the language was given by referring to Datalog with circumscription…