Franz Baader Gerhard Brewka Thomas Eiter KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings KI/ÖGAI Lecture Notes in Computer Science 2174 Springer 2001 3-540-42612-4 db/conf/ki/ki2001.html