Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation.

Mario Alviano, Wolfgang Faber, Nicola Leone

Browse the full CPAIOR paper archive.