Prof. Dr. Matthias Thimm Artificial Intelligence Group Faculty of Mathematics and Computer Science FernUniversität in Hagen, Germany			Other websites: http://tweetyproject.org http://argumentationcompetition.org http://krportal.org https://github.com/aig-hagen
	Phone: +49 (0) 2331 987-3004 E-Mail: matthias.thimm@fernuni-hagen.de

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.

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:

• June 19, 2026, 16:00-17:00 CEST
• June 25, 2026, 17:00-18:00 CEST
• June 29, 2026, 17:00-18:00 CEST
• July 9, 2026, 16:00-17:00 CEST

The Zoom room for the consultation hours is https://e.feu.de/thimm-zoom.

17 June 2026
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)

12 June 2026
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

7 May 2026
The paper "Fast Algorithms for Lexicographic Inference" (with Jonas Klein) has been accepted for IJCAI-ECAI 2026.

© Matthias Thimm - Terms