Talks and Poster Presentations (with Proceedings-Entry):
C. Redl:
"Conflict-driven ASP Solving with External Sources and Program Splits";
Talk: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017),
Melbourne, Australia;
2017-08-19
- 2017-08-25; in: "Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)",
AAAI Press,
(2017),
1239
- 1246.
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.