Expired Chairs

© privat

The Professorship of Knowledge Representation and Reasoning, discontinued in 2023, specializing in two main areas of focus: modeling human reasoning using non-monotonic logics and automated methods for solving the propositional satisfiability problem and related problems. The holder of the professorship, Prof. Dr. Steffen Hölldobler, died on May 9th, 2023 after a long and serious illness. We mourn the loss of a valued colleague and dedicated teacher.