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
Office: Steffi Blümel
Phone: +49 2331 987-4006
Fax: +49 2331 987-
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.