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