Mario Alviano, Wolfgang Faber 0001, Nicola Leone. Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. In Marco Gavanelli, Toni Mancini, editors, Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010. Volume 616 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
Abstract is missing.