Rewriting recursive aggregates in answer set programming: back to monotonicity

Devs

Rewriting recursive aggregates in answer set programming: back to monotonicity | Read Paper on Bytez