Logic for programming, artificial intelligence, and reasoning 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / - Baader, Franz.; Voronkov, Andrei, (Springer,)