[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results";
Vortrag: 20th Workshop on Logic Programming, Wien; 22.02.2006 - 24.02.2006; in: "Online Proceedings - WLP 2006", (2006).



Elektronische Version der Publikation:
http://www.kr.tuwien.ac.at/wlp06/



Zugeordnete Projekte:
Projektleitung Gerti Kappel:
ModelCVS: Eine semantische Infrastruktur für modellbasierte Toolintegration