Logic Programming and Nonmonotonic Reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings - Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina ((Lecture Notes in Computer Science))