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]

Authors

Martin Gebser

This author has not been identified. Look up 'Martin Gebser' in Google

Tomi Janhunen

This author has not been identified. Look up 'Tomi Janhunen' in Google

Holger Jost

This author has not been identified. Look up 'Holger Jost' in Google

Roland Kaminski

This author has not been identified. Look up 'Roland Kaminski' in Google

Torsten Schaub

This author has not been identified. Look up 'Torsten Schaub' in Google