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.

Open Calls

The 40th German Conference on Artificial Intelligence (KI'17)
General Chair: Gabriele Kern-Isberner; Program Chairs: Johannes Fürnkranz, Matthias Thimm
Paper deadline: May 5, 2017


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.

10 Aug 2016
My paper "On the Compliance of Rationality Postulates for Inconsistency Measures: A More or Less Complete Picture" has been published in Künstliche Intelligenz.

13 Jul 2016
The paper "Optimization of dialectical outcomes in dialogical argumentation" (together with Anthony Hunter) has been published in the International Journal of Approximate Reasoning.

19 Apr 2016
The paper "Group Decision Making via Probabilistic Belief Merging" (together with Nico Potyka, Erman Acar, and Heiner Stuckenschmidt) has been accepted for IJCAI 2016.

14 Apr 2016
For the summer term 2016 I am acting professor (Vertretungsprofessor) for algebraic and logical foundations of computer science at the University of Leipzig.

14 Apr 2016
A report on the "First International Competition on Computational Models of Argumentation" (together with Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass, and Mauro Vallati) has been published in the AI Magazine.

© Matthias Thimm