KI 2001: Advances in Artificial Intelligence : Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings - Franz Baader, Gerhard Brewka, Thomas Eiter ((Lecture Notes in Computer Science))