Lehrstuhl für Künstliche Intelligenz, Fachbereich Informatik, Universität Dortmund