Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings - Baral, Chitta; Brewka, Gerhard; Schlipf, John.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages; Programming Techniques