12 citations · 12 across the 1 of their papers we have counts for
2 papers
cs.SE2006★ 12 cited
An Unfolding-Based Semantics for Logic Programming with Aggregates
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…
cs.AI2005
Planning with Preferences using Logic Programming
Tran Cao Son, Enrico Pontelli
We present a declarative language, PP, for the high-level specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow…