Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Hecher:
"Structure-Driven Answer-Set Solving";
Vortrag: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017),
Helsinki, Finland;
03.07.2017
- 06.07.2017; in: "4th International Conference on Logic Programming and Nonmonotonic Reasoning Doctoral Consortium (LPNMR DC)",
(2017),
S. 1.
Schlagworte:
Logic;Programming; Nonmonotonic; Reasoning; LPNMR; Structure-Driven; Answer-Set; Solving;
Zugeordnete Projekte:
Projektleitung Stefan Woltran:
START
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.