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.