Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates.

Marc Denecker, Nikolay Pelov, Maurice Bruynooghe

Browse the full ICLP paper archive.