[Zurück]


Beiträge in Tagungsbänden:

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 (Hrg.); Springer International Publishing, 2018, ISBN: 978-3-030-00800-0, S. 132 - 148.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-00801-7_9



Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.