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…