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:
The Zoom room for the consultation hours is https://e.feu.de/thimm-zoom.
The 10th International Conference on Computational Models of Argument (COMMA'24)
12 Sep 2023
28 Jul 2023
2 Jun 2023
© Matthias Thimm - Terms