Matthias Thimm

	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

About me

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.

News

12 Sep 2023
The solvers harper++ and fargo-limited won all sub-tracks in the approximate track of the ICCMA 2023 competition.

28 Jul 2023
The paper "MaxSAT-Based Inconsistency Measurement" (with Andreas Niskanen, Matti Järvisalo, and Isabelle Kuhlmann) has been accepted for ECAI 2023.

2 Jun 2023
The following papers have been accepted for the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR2023):

Lydia Blümel, Matthias Thimm: Approximating Weakly Preferred Semantics in Abstract Argumentation through Vacuous Reduct Semantics
Lars Bengel, Matthias Thimm: Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation (Short paper)