Title: Logic programming and nonmonotonic reasoning : 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings /
Authors: Baral, Chitta.; Brewka, Gerhard.; Schlipf, John.
Publisher: Springer,
Year: 2007
Subjects: Logic programming Congresses.; Nonmonotonic reasoning Congresses.