207 citations · 287 across the 21 of their papers we have counts for
1 paper · 1 filter
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…