Talks and Poster Presentations (with Proceedings-Entry):
A. Greßler, J. Oetsch, H. Tompits:
"Harvey : A System for Random Testing in ASP.";
Talk: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017),
Espoo, Finland;
2017-07-03
- 2017-07-06; in: "Proceedings of the Fourteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)",
M. Balduccini, T. Janhunen (ed.);
Lecture Notes in Computer Science, Springer LNCS,
10377
(2017),
ISBN: 978-3-319-61659-9;
229
- 235.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-61660-5_21
Electronic version of the publication:
https://link.springer.com/chapter/10.1007%2F978-3-319-61660-5_21
Created from the Publication Database of the Vienna University of Technology.