Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings - Baral, Chitta; Greco, Gianluigi; Leone, Nicola; Terracina, Giorgio; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: Computer science; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages; Programming Techniques