Logic for programming, artificial intelligence, and reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2 - 6, 2005 ; proceedings (Springer, 2005)