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.

Consultation hours

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:

  • November 12, 15:00-16:00 CET
  • November 21, 16:00-17:00 CET
  • November 27, 10:00-11:00 CET
  • December 3, 16:00-17:00 CET

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

News

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