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.


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.

15 Sep 2016
The paper "Measuring Inconsistency in Answer Set Programs" (together with Markus Ulbricht and Gerhard Brewka) has been accepted for JELIA 2016.

© Matthias Thimm