Der Lehrstuhl für Informatik 8 (Theoretische Informatik) und die Prof. f. Wissensrepräsentation und -verarbeitung am...