A Dynamic-Programming Based ASP-Solver

Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran. A Dynamic-Programming Based ASP-Solver. In Tomi Janhunen, Ilkka Niemelä, editors, Logics in Artificial Intelligence - 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings. Volume 6341 of Lecture Notes in Computer Science, pages 369-372, Springer, 2010. [doi]

Authors

Michael Morak

This author has not been identified. Look up 'Michael Morak' in Google

Reinhard Pichler

This author has not been identified. Look up 'Reinhard Pichler' in Google

Stefan Rümmele

This author has not been identified. Look up 'Stefan Rümmele' in Google

Stefan Woltran

This author has not been identified. Look up 'Stefan Woltran' in Google