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
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.