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:

• May 9, 2025, 11:00-12:00 CEST
• May 13, 2025, 16:00-17:00 CEST
• May 23, 2025, 16:00-17:00 CEST
• May 27, 2025, 16:00-17:00 CEST

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

The 18th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'25)
Abstract/Paper deadline: May 8/15, 2025

The First International Workshop on Trends in Knowledge Representation and Reasoning (TKR'25)
Paper deadline: May 9, 2025

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

7 Aug 2024
Two (short) papers got accepted for KR 2024:

• Kenneth Skiba, Matthias Thimm: Optimisation and Approximation in Abstract Argumentation: The Case of Admissibility
• Kai Sauerwald, Matthias Thimm: The Realizability of Revision and Contraction Operators in Epistemic Spaces

© Matthias Thimm - Terms