[Back]


Talks and Poster Presentations (with Proceedings-Entry):

S. Woltran:
"A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming";
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; 13 - 24.


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