[Back]


Talks and Poster Presentations (with Proceedings-Entry):

C. Redl:
"Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining";
Talk: Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), San Francisco, California, USA; 2017-01-04 - 2017-01-09; in: "Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)", (2017), 1229 - 1235.



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.