KI 2001 : advances in artificial intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001 : proceedings / - Baader, Franz.; Brewka, Gerhard.; Eiter, Thomas (Springer, 2001)