Matthias Thimm

Dr. habil. Matthias Thimm

Institute for Web Science and Technologies
Universitätsstr. 1, Room B.112
Universität Koblenz-Landau, Germany

Other websites:
Phone: +49 (0) 261 / 287- 2715

About me

I am a senior researcher at the Institute for Web Science and Technologies (WeST) in Koblenz, 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 theoretical and with applications in the semantic web. I am interested in formal models of argumentation, in particular with respect to 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.


27 Jun 2017
Several papers got accepted for some workshops at IJCAI 2017:

  • Matthias Thimm, Kristian Kersting: Towards Argumentation-based Classification (LFU'17)
  • Matthias Thimm: The Formal Argumentation Libraries of Tweety (TAFA'17)
  • Nils Geilen, Matthias Thimm: Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation (TAFA'17)
  • Matthias Thimm, Pietro Baroni, Massimiliano Giacomin, Paolo Vicig: Probabilities on Extensions in Abstract Argumentation (TAFA'17)

20 Jun 2017
The paper "Belief in Attacks in Epistemic Probabilistic Argumentation" (together with Sylwia Polberg and Anthony Hunter) has been accepted for SUM 2017.

14 Jun 2017
The paper "Inconsistency-tolerant reasoning over linear probabilistic knowledge bases" (together with Nico Potyka) has been published in International Journal of Approximate Reasoning.

17 May 2017
The paper "Strong Inconsistency in Nonmonotonic Reasoning" (together with Markus Ulbricht and Gerhard Brewka) and the paper "On the Expressivity of Inconsistency Measures (Extended Abstract)" have been accepted for IJCAI 2017.

05 Apr 2017
My paper "Measuring Inconsistency with Many-Valued Logics" has been published in International Journal of Approximate Reasoning.

31 Oct 2016
My paper "The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation" has been published in Künstliche Intelligenz.

© Matthias Thimm