Logic Programming and Nonmonotonic Reasoning: 8th International Conference, Lpnmr 2005, Diamante, Italy, September 5-8, 2005, Proceedings (Paperback, 2005)