Return to Article Details Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates Download Download PDF