Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
"ccT: A Correspondence-Checking Tool For Logic Programs Under The Answer-Set Semantics";
Vortrag: 10th European Conference on Logics in Artificial Intelligence,
Liverpool, UK;
13.09.2006
- 15.09.2006; in: "Proceedings of the JELIA2006",
Springer,
LNCS - Logics in Artificial Intelligence/4160
(2006),
ISBN: 978-3-540-39625-3;
S. 502
- 505.
Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06586865
Elektronische Version der Publikation:
http://www.springerlink.com/content/j8h8804nq63g42ll/?p=01a936ce2e2041f4bed707c95c03519c&pi=0
Zugeordnete Projekte:
Projektleitung Gerti Kappel:
ModelCVS: Eine semantische Infrastruktur für modellbasierte Toolintegration