Talks and Poster Presentations (with Proceedings-Entry):
T. Eiter, M. Fink, H. Tompits, S. Woltran:
"Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case";
Talk: National Conference on Artificial Intelligence (AAAI),
Pittsburgh, Pennsylvania, USA;
2005-07-09
- 2005-07-13; in: "Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference,",
AAAI Press / The MIT Press 2005,
(2005),
ISBN: 1-57735-236-x;
695
- 700.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936294
Created from the Publication Database of the Vienna University of Technology.