Christoph Redl. Automated Benchmarking of KR-systems. In Stefano Bistarelli, Andrea Formisano, Marco Maratea, editors, Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2016 (RCRA 2016) A workshop of the XV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), Genova, Italy, November 28, 2016. Volume 1745 of CEUR Workshop Proceedings, pages 45-56, CEUR-WS.org, 2016. [doi]
Abstract is missing.