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.

Consultation hours

To get in touch personally, please use one of my open online consultation hours listed below. No appointment is required, but you may have to wait in the waiting room until called upon.

Next consultation hours:

  • Apr 11, 16:00-17:00 CET
  • Apr 18, 16:00-17:00 CET
  • Apr 23, 16:00-17:00 CET
  • Apr 30, 16:00-17:00 CET

The Zoom room for the consultation hours is

Open calls

The 10th International Conference on Computational Models of Argument (COMMA'24)
Paper deadline: April 18, 2024


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