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.
14 Nov 2017
The paper "Measuring Strong Inconsistency" (joint work with Markus Ulbricht and Gerhard Brewka) has been accepted for AAAI 2018.
06 Nov 2017
The paper "Foundations of Implementations for Formal Argumentation" (joint work with Federico Cerutti, Sarah A. Gaggl, and Johannes P. Wallner) has been published in the IfCoLog Journal of Logics and their Applications. This paper is also going to be a chapter in the upcoming Handbook of Formal Argumentation.
18 Sep 2017
The proceedings of the 40th Annual German Conference on Artificial Intelligence (KI'17), edited jointly with Gabriele Kern-Isberner and Johannes Fürnkranz have now been published by Springer.
31 Aug 2017
The paper "The First International Competition on Computational Models of Argumentation: Results and Analysis " (together with Serena Villata) has been published in the Artificial Intelligence Journal.
28 Aug 2017
The paper "Probabilistic Reasoning with Abstract Argumentation Frameworks" (together with Anthony Hunter) has been published in the Journal of Artificial Intelligence Research.
27 Jun 2017
Several papers got accepted for some workshops at IJCAI 2017:
- Matthias Thimm, Kristian Kersting: Towards Argumentation-based Classification (LFU'17)
- Matthias Thimm: The Formal Argumentation Libraries of Tweety (TAFA'17)
- Nils Geilen, Matthias Thimm: Heureka: A General Heuristic Backtracking Solver for Abstract Argumentation (TAFA'17)
- Matthias Thimm, Pietro Baroni, Massimiliano Giacomin, Paolo Vicig: Probabilities on Extensions in Abstract Argumentation (TAFA'17)
20 Jun 2017
The paper "Belief in Attacks in Epistemic Probabilistic Argumentation" (together with Sylwia Polberg and Anthony Hunter) has been accepted for SUM 2017.
14 Jun 2017
The paper "Inconsistency-tolerant reasoning over linear probabilistic knowledge bases" (together with Nico Potyka) has been published in International Journal of Approximate Reasoning.
17 May 2017
The paper "Strong Inconsistency in Nonmonotonic Reasoning" (together with Markus Ulbricht and Gerhard Brewka) and the paper "On the Expressivity of Inconsistency Measures (Extended Abstract)" have been accepted for IJCAI 2017.