Talks and Poster Presentations (with Proceedings-Entry):

H. Tompits, S. Woltran:
"Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming";
Talk: International Workshop on Answer Set Programming (ASP), Bath, UK; 2005-07-27 - 2005-07-29; in: "Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop", M. De Vos, A. Provetti (ed.); CEUR Workshop Proceedings, 142 (2005), 115 - 129.

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