Contributions to Proceedings:
L. Leutgeb, A. Weinzierl:
"Techniques for Efficient Lazy-Grounding ASP Solving (extended Version)";
in: "Declarative Programming and Knowledge Management",
D. Seipel, M. Hanus, S. Abreu (ed.);
Springer International Publishing,
2018,
ISBN: 978-3-030-00800-0,
132
- 148.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-00801-7_9
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.