Mario Alviano, Carmine Dodaro, Francesco Ricca. JWASP: A New Java-Based ASP Solver. 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 16-23, CEUR-WS.org, 2015. [doi]
Abstract is missing.