Ultimate Well-founded and Stable Semantics for Logic Programs With Aggregates (Extended Abstract) (2001)

by Marc Denecker , Nikolay Pelov , Maurice Bruynooghe
Venue:In Proceedings of ICLP-01, LNCS 2237
Citations:44 - 7 self