Well-founded and stable semantics of logic programs with aggregates

Nikolay Pelov, Marc Denecker, Maurice Bruynooghe. Well-founded and stable semantics of logic programs with aggregates. TPLP, 7(3):301-353, 2007. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: