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 https://twitter.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:

• July 25, 2025, 10:00-11:00 CEST
• July 31, 2025, 16:00-17:00 CEST
• August 27, 2025, 16:00-17:00 CEST
• September 2, 2025, 11:00-12:00 CEST

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

11 July 2025
Three papers got accepted for the main track of KR 2025:

• Yehia Hatab, Kai Sauerwald, Matthias Thimm: A Framework for Inconsistency-tolerant Reasoning with Sets of Models
• Lars Bengel, Matthias Thimm: Sequence Explanations for Acceptance in Abstract Argumentation
• Lars Bengel, Julian Sander, Matthias Thimm: A Reduct-based Approach to Skeptical Preferred Reasoning in Abstract Argumentation (short paper)

and one paper got accepted for the "KR in the wild" track:

• Olcay Altay-Kern, Emmanuelle Dietz, Isabelle Kuhlmann, Matthias Thimm: Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set Programming

2 May 2025
Two papers got accepted for IJCAI 2025:

• Lars Bengel, Matthias Thimm: Initial Models and Serialisability in Abstract Dialectical Frameworks
• Lydia Blümel, Anna Rapberger, Matthias Thimm, Francesca Toni: On Independence and SCC-Recursiveness in Assumption-Based Argumentation

7 Aug 2024
Two papers got accepted for ECAI 2024:

• Lars Bengel, Julian Sander, Matthias Thimm: Characterising Serialisation Equivalence for Abstract Argumentation
• Lydia Blümel, Matthias Thimm: Revisiting Vacuous Reduct Semantics for Abstract Argumentation

© Matthias Thimm - Terms