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), Sitges, Spain; 2005-10-02 - 2005-10-05; in: "Proceedings of the 21st International Conference on Logic Programming", M. Gabbrielli, G. Gupta (ed.); Springer, LNCS 3668 (2005), ISBN: 3-540-29208-x; 189 - 203.

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