[Back]


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-14 - 2007-05-17; in: "Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories", CEUR-Proceedings, 265 (2007), ISSN: 1613-0073; 37 - 48.


Created from the Publication Database of the Vienna University of Technology.