Logic for programming, artificial intelligence, and reasoning 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings (Springer, 2003)