Talks and Poster Presentations (with Proceedings-Entry):
M. Gebser, T. Schaub, H. Tompits, S. Woltran:
"Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report";
Talk: Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007),
Tempe, AZ, USA;
- 2007-05-17; in: "Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories",
Created from the Publication Database of the Vienna University of Technology.