Publications by Patrick Lühne

Yannis Dimopoulos, Martin Gebser, Patrick Lühne , Javier Romero, Torsten Schaub

plasp 3: Towards Effective ASP Planning

Article in Journal, in Theory and Practice of Logic Programming 3, pp. 477-504 (2018)

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne , Torsten Schaub

Answer Set Solving with Generalized Learned Constraints

Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16) (2016)