F. Baader

This book constitutes the refereed proceedings of the Joint German/Austrian Conference on Artificial Intelligence, KI 2001, held in Vienna, Austria in September 2001. The 29 revised full technical pap...