Rewriting recursive aggregates in answer set programming: back to monotonicity

Mario Alviano, Wolfgang Faber, Martin Gebser. Rewriting recursive aggregates in answer set programming: back to monotonicity. TPLP, 15(4-5):559-573, 2015. [doi]

Abstract

Abstract is missing.