Talks and Poster Presentations (with Proceedings-Entry):
L. Leutgeb, A. Weinzierl:
"Techniques for Efficient Lazy-Grounding ASP Solving";
Talk: 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP2017),
Würzburg, Deutschland;
2017-09-19
- 2017-09-22; in: "Declare 2017 - Conference on Declarative Programming",
D. Seipel, M. Hanus, S. Abreu (ed.);
(2017),
16 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.