Matthias Thimm

PD Dr. Matthias Thimm

Institute for Web Science and Technologies
Universitätsstr. 1, Room B.108
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



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 from a conceptual as well as algorithmic perspective. 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.

News

16 Aug 2020
The paper "Isabelle Kuhlmann, Matthias Thimm: An Algorithm for the Contension Inconsistency Measure using Reductions to Answer Set Programming" won the Best Student Paper Award at SUM 2020.

3 Aug 2020
The paper "Interpreting Conditionals in Argumentative Environments" (with Jesse Heyninck, Gabriele Kern-Isberner, and Kenneth Skiba) has been accepted for NMR 2020.

8 Jul 2020
Three papers got accepted for SUM 2020:

  • Jandson S Ribeiro, Viorica Sofronie-Stokkermans, and Matthias Thimm: Measuring Disagreement with Interpolants
  • Isabelle Kuhlmann, Matthias Thimm: An Algorithm for the Contension Inconsistency Measure using Reductions to Answer Set Programming (Short Paper)
  • Xiaoting Shao, Zhongjie Yu, Arseny Skryagin, Tjitze Rienstra, Matthias Thimm, and Kristian Kersting: Modelling Multivariate Ranking Functions with Min-Sum Networks (Short Paper)



© Matthias Thimm - Terms