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.
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
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.