Logic Programming and Nonmonotonic Reasoning : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings - Chitta Baral, Gerhard Brewka, John Schlipf ((Lecture Notes in Computer Science))