[Back]


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:
http://www.kr.tuwien.ac.at/wlp06/



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.