Partial Stable Models for Logic Programs with Aggregates.

Nikolay Pelov, Marc Denecker, Maurice Bruynooghe

Browse the full LPNMR paper archive.