Mario Alviano. Evaluating Answer Set Programming with Non-Convex Recursive Aggregates. In Stefano Bistarelli, Andrea Formisano, Marco Maratea, editors, Proceedings of the 22nd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2015 (RCRA 2015) A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. Volume 1451 of CEUR Workshop Proceedings, pages 1-15, CEUR-WS.org, 2015. [doi]
Abstract is missing.