Prof. Dr. Matthias Thimm
Artificial Intelligence GroupFaculty of Mathematics and Computer Science
FernUniversität in Hagen, Germany
Phone: +49 (0) 2331 987-3004
E-Mail: matthias.thimm@fernuni-hagen.de
About me
I am the head of the Artificial Intelligence Group at the Faculty of Mathematics and Computer Science of th 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 particularly interested in formal argumentation, with an emphasis on algorithms and solvers, semantical aspects such as serialisability and ranking-based semantics, and explaining argumentative reasoning. A second focus is inconsistency measurement and inconsistency-tolerant reasoning, including applications to business rules and process specifications. Further interests include nonmonotonic reasoning, belief merging and revision, argumentation-based causal reasoning, and the interplay of symbolic reasoning and machine learning.
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:
- October 29, 2026, 16:00-17:00 CET
- November 9, 2026, 17:00-18:00 CET
- November 27, 2026, 16:00-17:00 CET
- December 3, 2026, 16:00-17:00 CET
The Zoom room for the consultation hours is https://e.feu.de/thimm-zoom.
News
Four papers and a demo got accepted for COMMA 2026:
- Lars Bengel, Shawn Bowers, Bertram Ludäscher, Matthias Thimm: On Grounding Extensions in Abstract Argumentation
- Theodoros Doukas, Matthias Thimm: Explaining Vacuity in Abstract Argumentation
- Ulla Wege, Kenneth Skiba, Matthias Thimm: Aggregating Ranking-based Semantics in Abstract Argumentation
- Sandra Hoffmann, Isabelle Kuhlmann, Matthias Thimm: Guiding Admissibility Solvers via Co-Admissibility Predictions
- Lars Bengel, Oleksandr Dzhychko, Myriam Kasten, Kai Sauerwald, Matthias Thimm: Argumentation-based Causal Reasoning (Demo)
Two papers got accepted for NMR 2026:
- Lars Bengel, Julian Sander, Matthias Thimm: On Algorithmic Shortcuts for Skeptical Preferred Reasoning in Abstract Argumentation
- Lydia Blümel, Kai Sauerwald, Kenneth Skiba, Matthias Thimm: On the Complexity of the Discussion-based Semantics in Abstract Argumentation
The paper "Fast Algorithms for Lexicographic Inference" (with Jonas Klein) has been accepted for IJCAI-ECAI 2026.