Talks and Poster Presentations (with Proceedings-Entry):
C. Redl:
"Automated Benchmarking of KR-Systems";
Talk: 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion,
Genua, Italy;
2016-11-28; in: "Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion",
(2016).
Related Projects:
Project Head Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions
Created from the Publication Database of the Vienna University of Technology.