PD Dr. habil. Matthias Thimm Institute for Web Science and Technologies Universitätsstr. 1, Room B.112 Universität Koblenz-Landau, Germany			Other websites: http://tweetyproject.org http://argumentationcompetition.org http://krportal.org
	Phone: +49 (0) 261 / 287- 2715 E-Mail: thimm@uni-koblenz.de

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.

The Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'18)
co-located with the 7th International Conference on Computational Models of Argument (COMMA)
Organizers: Matthias Thimm, Federico Cerutti, Mauro Vallati
Paper deadline: Jun 29, 2018

22 Feb 2018

The book Measuring Inconsistency in Information, edited by John Grant and Maria Vanina Martinez, has been published by College Publications. It contains, among others, the following three chapters: Glauber De Bona, Marcelo Finger, Nico Potyka, Matthias Thimm Inconsistency Measurement in Probabilistic Logic Markus Ulbricht, Matthias Thimm, Gerhard Brewka Inconsistency Measures for Disjunctive Logic Programs Under Answer Set Semantics Matthias Thimm On the Evaluation of Inconsistency Measures

© Matthias Thimm