Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings - Calimeri, Francesco; Ianni, Giovambattista; Truszczynski, Miroslaw (Springer International Publishing : Imprint: Springer, 2015)