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),
- 2007-01-12; in: "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)",
M. Veloso (ed.);
Created from the Publication Database of the Vienna University of Technology.