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:

• January 9, 2025, 16:00-17:00 CET
• January 14, 2025, 15:00-16:00 CET
• January 21, 2025, 16:00-17:00 CET
• January 27, 2025, 10:00-11:00 CET

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

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

18 Apr 2024
The paper "Optimisation and Approximation in Abstract Argumentation: The Case of Stable Semantics" has been accepted for IJCAI 2024.

© Matthias Thimm - Terms