Contributions to Proceedings:
M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran:
"spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics";
in: "Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)",
Bayerische Julius-Maximilians-Universität Würzburg,,
2007,
4 pages.
Electronic version of the publication:
http://www1.informatik.uni-wuerzburg.de/databases/INAP/2007/TR/report.pdf
Created from the Publication Database of the Vienna University of Technology.