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, 1966- (Lecture notes in computer science ;, 2001)