ASP Solving for Expanding Universes

Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub. ASP Solving for Expanding Universes. In Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings. Volume 9345 of Lecture Notes in Computer Science, pages 354-367, Springer, 2015. [doi]


Abstract is missing.