Logic Programming and Nonmonotonic Reasoning : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011, Proceedings - James P. Delgrande, Wolfgang Faber ((Lecture Notes in Computer Science))