Address Technische Universität Dresden Institut für Künstliche Intelligenz Professur für Computational Logic 01062 Dresden
