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