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.

Open Calls

The 6th Workshop on Formal and Cognitive Reasoning (FCR'20)
Organizers: Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Matthias Thimm
Paper deadline: June 30, 2020

The Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20)
co-located with the 8th International Conference on Computational Models of Argument (COMMA)
Organizers: Sarah A. Gaggl, Matthias Thimm, Mauro Vallati
Paper deadline: July 8, 2020

News

26 Jun 2020
Three papers got accepted for COMMA 2020:

  • Jonas Klein, Matthias Thimm: Revisiting SAT Techniques for Abstract Argumentation
  • Matthias Thimm, Federico Cerutti, Mauro Vallati: On Computing the Set of Acceptable Arguments in Abstract Argumentation (Short Paper)
  • Kenneth Skiba, Matthias Thimm, Andrea Cohen, Sebastian Gottifredi, Alejandro J. Garcia: Abstract Argumentation Frameworks with Fallible Evidence (Short Paper)

17 Jun 2020
The paper "Independence and D-separation in Abstract Argumentation" (with Tjitze Rienstra, Kristian Kersting, and Xiaoting Shao) has been accepted for KR 2020.

12 Jun 2020
The paper "Handling and measuring inconsistency in non-monotonic logics" (with Markus Ulbricht and Gerhard Brewka) has been accepted for publication in Artificial Intelligence.

16 Apr 2020
The paper "On Quasi-Inconsistency and its Complexity" (with Carl Corea) has been accepted for publication in Artificial Intelligence.



© Matthias Thimm - Terms