Logic for programming artificial intelligence and reasoning : 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings / - Vardi, Moshe Y.; Voronkov, Andrei (Springer, 2003)