Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings - Cabalar, Pedro; Son, Tran Cao (Springer Berlin Heidelberg : Imprint: Springer, 2013)