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: Preliminary Experimental Results";
Talk: 20th Workshop on Logic Programming, Wien; 2006-02-22 - 2006-02-24; in: "Online Proceedings - WLP 2006", (2006).

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.