An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Eiter, Patrick Traxler, Stefan Woltran. An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs. 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 477-480, Springer, 2006. [doi]

This author has not been identified. Look up 'Thomas Eiter' in GoogleThis author has not been identified. Look up 'Patrick Traxler' in GoogleThis author has not been identified. Look up 'Stefan Woltran' in Google

runs on WebDSL