• FernUni /
  • Artificial Intelligence Group

Artificial Intelligence Group

Foto: FernUniversität

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
Email: steffi.bluemel
Phone: +49 2331 987-4006

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.