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.

Lehrgebietsinhaber: Prof. Dr. Matthias Thimm

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.

• Aktuelles
• Mehr zur Lehre
• Mehr zur Forschung