Well-founded and Stable Semantics of Logic Programs with Aggregates

Nikolay Pelov, Marc Denecker, Maurice Bruynooghe

In this paper, we present a framework for the semantics and the computation of aggregates in the context of logic programming. In our study, an aggregate can be an arbitrary interp…