Matthias Thimm
Prof. Dr. Matthias Thimm

Artificial Intelligence Group
Faculty of Mathematics and Computer Science
FernUniversität in Hagen, Germany
Other websites:
Phone: +49 (0) 2331 987-3004

About me

I am the head of the Artificial Intelligence Group at the Faculty of Mathematics and Computer Science of the FernUniversität in Hagen, Germany. I received my PhD degree from the university of Dortmund (Germany) in 2011 and my habilitation degree from the university of Koblenz-Landau (Germany) in 2016. My research focus is on formal methods of knowledge representation and artificial intelligence, both from a conceptual as well as algorithmic perspective. I am interested in formal models of argumentation, in particular with respect to algorithmic approaches, quantitative extensions, game theoretical aspects for application in multi-agent systems, the relationship of argumentation and belief revision, and inconsistency measurement. Further interests include probabilistic reasoning with incomplete and inconsistent information in propositional and first-order representations of knowledge.


12 Sep 2023
The solvers harper++ and fargo-limited won all sub-tracks in the approximate track of the ICCMA 2023 competition.

28 Jul 2023
The paper "MaxSAT-Based Inconsistency Measurement" (with Andreas Niskanen, Matti Järvisalo, and Isabelle Kuhlmann) has been accepted for ECAI 2023.

2 Jun 2023
The following papers have been accepted for the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023):

  • Lydia Blümel, Matthias Thimm: Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics
  • Lars Bengel, Matthias Thimm: Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation (Short paper)

© Matthias Thimm - Terms