Lehrgebiet Künstliche Intelligenz

Herzlich Willkommen auf den Seiten des Lehrgebiets Künstliche Intelligenz der Fakultät für Mathematik und Informatik. Das Lehrgebiet wird seit August 2021 neu aufgebaut.
Wir lehren und forschen im Bereich Wissensrepräsentation und Schließen und insbesondere zu den Themen:
- Algorithmen und Komplexität
- Formale Argumentation
- Schlussfolgern unter Inkonsistenz
- Wissensdynamik
Wenn Sie Interesse an Abschlussarbeiten oder Promotionen in diesen Themengebieten haben, wenden Sie sich bitte an Prof. Dr. Matthias Thimm.