Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran. ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. In Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa, editors, Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings. Volume 4160 of Lecture Notes in Computer Science, pages 502-505, Springer, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.