Logic Programming and Nonmonotonic Reasoning : 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings - Pedro Cabalar, Tran Cao Son ((Lecture Notes in Computer Science))