Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings / [electronic resource] :
edited by Chitta Baral, Gerhard Brewka, John Schlipf.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4483 0302-9743 ; .
9783540722007
Computer science Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Programming Techniques