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";
Vortrag: 11th International Workshop on Nonmonotonic Reasoning,
Lake District, UK;
30.05.2006
- 01.06.2006; in: "Proceedings is for the Eleventh International Workshop on Nonmonotonic Reasoning",
(2006).
Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06586866
Elektronische Version der Publikation:
http://www.cs.ucl.ac.uk/staff/a.hunter/nmr/
Zugeordnete Projekte:
Projektleitung Gerti Kappel:
ModelCVS: Eine semantische Infrastruktur für modellbasierte Toolintegration