Talks and Poster Presentations (with Proceedings-Entry):
H. Tompits, S. Woltran:
"Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming";
Talk: International Conference on Logic Programming (ICLP),
- 2005-10-05; in: "Proceedings of the 21st International Conference on Logic Programming",
M. Gabbrielli, G. Gupta (ed.);
Created from the Publication Database of the Vienna University of Technology.