Talks and Poster Presentations (with Proceedings-Entry):

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

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.