Talks and Poster Presentations (with Proceedings-Entry):

J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"A Tool for Advanced Correspondence Checking in Answer-Set Programming";
Talk: 11th International Workshop on Nonmonotonic Reasoning, Lake District, UK; 2006-05-30 - 2006-06-01; in: "Proceedings is for the Eleventh International Workshop on Nonmonotonic Reasoning", (2006).

Online library catalogue of the TU Vienna:

Electronic version of the publication:

Related Projects:
Project Head Gerti Kappel:
ModelCVS: Eine semantische Infrastruktur für modellbasierte Toolintegration

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