Proceedings of the JELIA2006

Book title Buchtitel
Proceedings of the JELIA2006
Publisher Herausgeber
Place of publishing Erscheinungsort
LNCS - Logics in Artificial Intelligence/4160

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan ccT: A Correspondence-Checking Tool For Logic Programs Under The Answer-Set SemanticsKonferenzbeitrag Inproceedings 2006