KI 2001: Advances in Artificial Intelligence Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings - Baader, Franz; Baader, Franz; Brewka, Gerhard; Brewka, Gerhard; Eiter, Thomas; Eiter, Thomas (Springer Berlin Heidelberg : Imprint: Springer, 2001)