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

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]

Authors

Mario Alviano

This author has not been identified. Look up 'Mario Alviano' in Google

Wolfgang Faber 0001

This author has not been identified. Look up 'Wolfgang Faber 0001' in Google

Nicola Leone

This author has not been identified. Look up 'Nicola Leone' in Google