Talks and Poster Presentations (with Proceedings-Entry):
M. Hecher:
"Structure-Driven Answer-Set Solving";
Talk: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017),
Helsinki, Finland;
2017-07-03
- 2017-07-06; in: "4th International Conference on Logic Programming and Nonmonotonic Reasoning Doctoral Consortium (LPNMR DC)",
(2017),
1.
Keywords:
Logic;Programming; Nonmonotonic; Reasoning; LPNMR; Structure-Driven; Answer-Set; Solving;
Related Projects:
Project Head Stefan Woltran:
START
Created from the Publication Database of the Vienna University of Technology.