Talks and Poster Presentations (with Proceedings-Entry):
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Complexity Results for Checking Equivalence of Stratified Logic Programs";
Poster: International Joint Conference on Artificial Intelligence (IJCAI),
Hyderabad, India;
2007-01-06
- 2007-01-12; in: "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)",
M. Veloso (ed.);
AAAI Press,
(2007),
ISBN: 978-1-57735-298-3;
330
- 335.
Created from the Publication Database of the Vienna University of Technology.