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.