Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates

Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri. Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. J. Artif. Intell. Res. (JAIR), 42:487-527, 2011. [doi]

Abstract

Abstract is missing.