Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits. dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. In Michael Fink, Hans Tompits, Stefan Woltran, editors, 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006. Volume 1843-06-02 of INFSYS Research Report, pages 206-210, Technische Universität Wien, Austria, 2006. [doi]
Abstract is missing.