Artificial Intelligence Group

Welcome to the homepage of the Artificial Intelligence Group of the Faculty of Mathematics and Computer Science. The group has been newly established in August 2021.

Chair: Prof. Dr. Matthias Thimm

We teach and conduct research in the general area of Knowledge Representation and Reasoning and specifically on the topics:

• Algorithms and complexity
• Formal argumentation
• Reasoning with inconsistency
• Belief dynamics

If you are interested in writing a thesis or doctoral dissertation on these topics, please contact Prof. Dr. Matthias Thimm.

• More to research