[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

T. Eiter, T. Kaminski:
"Pruning External Minimality Checking for ASP Using Semantic Dependencies";
Vortrag: LPNMR 2019 - Logic Programming and Nonmonotonic Reasoning, 15th International Conference, Philadelphia, USA; 03.06.2019 - 07.06.2019; in: "Proceedings of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning", M. Balduccini, Y. Lierler, S. Woltran (Hrg.); LNCS, Springer, 11481 (2019), ISBN: 978-3-030-20528-7; S. 326 - 339.



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

Elektronische Version der Publikation:
https://link.springer.com/content/pdf/10.1007%2F978-3-030-20528-7_24.pdf


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.