Logic programming and nonmonotonic reasoning : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings /

por LPNMR 2007 (2007 : Tempe, Ariz.)., Baral, Chitta, Brewka, Gerhard, Schlipf, John