Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
C. Redl:
"On Equivalance and Inconsistency of Answer Set Programs with External Sources";
Vortrag: Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17),
San Francisco, California, USA;
04.01.2017
- 09.01.2017; in: "Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)",
(2017),
S. 1222
- 1228.
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.