Talks and Poster Presentations (with Proceedings-Entry):
R. Taupe, A. Weinzierl, G. Schenner:
"Introducing Heuristics for Lazy-Grounding ASP Solving";
Talk: 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017),
Espoo, Finnland;
2017-07-03; in: "1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017)",
M. Gebser, M. Maratea, F. Ricca (ed.);
(2017),
13 pages.
Related Projects:
Project Head Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions
Created from the Publication Database of the Vienna University of Technology.