Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
C. Redl:
"Answer Set Programs with Queries over Subprograms";
Vortrag: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017),
Helsinki, Finland;
03.07.2017
- 06.07.2017; in: "Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)",
Springer,
Heidelberg
(2017),
S. 160
- 175.
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.