Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
C. Redl:
"Automated Benchmarking of KR-Systems";
Vortrag: 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion,
Genua, Italy;
28.11.2016; in: "Proceedings of the 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion",
(2016).
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.