I am the head of the Artificial Intelligence Group at the Faculty of Mathematics and Computer Science of the
FernUniversität in Hagen, 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 algorithmic approaches, 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.
3 Aug 2022
The paper "A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure" (with Isabelle Kuhlmann, Anna Gessler, and Vivien Laszlo) has been accepted for SUM 2022.
27 Jun 2022
Five papers have been accepted for the 9th International Conference on Computational Models of Argument (COMMA'22):
- Lars Bengel, Matthias Thimm: Serialisable Semantics for Abstract Argumentation
- Lydia Blümel, Matthias Thimm: A Ranking Semantics for Abstract Argumentation based on Serialisability
- Jonas Klein, Matthias Thimm: A Benchmark Framework for Argumentation Solvers (demo paper)
- Isabelle Kuhlmann, Thorsten Wujek, Matthias Thimm: On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation
- Kenneth Skiba, Matthias Thimm: Ordinal Conditional Functions for Abstract Argumentation
22 Jun 2022
The paper "Revisiting initial sets in abstract argumentation" has been accepted for publication in Argument & Computation.
20 Jun 2022
The paper "Measuring Inconsistency in Declarative Process Specifications" (with Carl Corea and John Grant) has been accepted for BPM 2022.