Evaluating Answer Set Programming with Non-Convex Recursive Aggregates
Mario Alviano · Fundamenta Informaticae · 2016
Aggregation functions are widely used in answer set programming (ASP) for representing and reasoning on knowledge involving sets of objects collectively. These sets may also depend recursively on the results of the aggregation functions, even if so f