Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory

Linde Vanbesien, Maurice Bruynooghe, Marc Denecker

Aggregates provide a concise way to express complex knowledge. The problem of selecting an appropriate formalisation of aggregates for answer set programming (ASP) remains unsettle…