First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription

Open in new window