12 citations · 12 across the 1 of their papers we have counts for
1 paper
Tran Cao Son, Enrico Pontelli, Islam Elkabani
The paper presents two equivalent definitions of answer sets for logic programs with aggregates. These definitions build on the notion of unfolding of aggregates, and they are aime…