[Zurück]


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

J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"ccT: A Tool for Checking Advanced Correspondence Problems in Answer-Set Programming";
Vortrag: ICLP'06 Workshop: Lash'06, Seattle, Washington; 16.08.2006; in: "Proceedings", (2006).



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