Talks and Poster Presentations (with Proceedings-Entry):
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions";
Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009),
Potsdam;
2009-09-14
- 2009-09-18; in: "Logic Programming and Nonmonotonic Reasoning",
E. Erdem, F. Lin, T. Schaub (ed.);
Springer,
5753
(2009),
ISBN: 978-3-642-04237-9;
382
- 395.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-04238-6
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_177143.pdf
Related Projects:
Project Head Hans Tompits:
Softwareentwicklung in der Answer-Set Programmierung
Created from the Publication Database of the Vienna University of Technology.