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

28 Oct 2020
The paper "An experimental analysis on the similarity of argumentation semantics" (with Federico Cerutti and Mauri Vallati) has been accepted for publication in Argument & Computation.

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