Shift Design with Answer Set Programming

Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran. Shift Design with Answer Set Programming. 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 32-39, Springer, 2015. [doi]


Abstract is missing.