Talks and Poster Presentations (with Proceedings-Entry):
C. Redl:
"On Equivalance and Inconsistency of Answer Set Programs with External Sources";
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),
1222
- 1228.
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.