Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
C. Redl:
"Conflict-driven ASP Solving with External Sources and Program Splits";
Vortrag: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017),
Melbourne, Australia;
19.08.2017
- 25.08.2017; in: "Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)",
AAAI Press,
(2017),
S. 1239
- 1246.
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.