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 (Springer Berlin Heidelberg, 2005)