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