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.
The 21st International Workshop on Nonmonotonic Reasoning (NMR'23)
Abstract/paper deadline: June 2/9, 2023
24 Nov 2022
The paper "On Undisputed Sets in Abstract Argumentation" has been accepted for AAAI 2023.
17 Aug 2022
Five papers have been accepted for various workshops at the 9th International Conference on Computational Models of Argument (COMMA'22):
- Lukas Kinder, Matthias Thimm, Bart Verheij: A Labeling-Based Backtracking Solver for Abstract Argumentation (accepted for SAFA 2022)
- Kenneth Skiba, Matthias Thimm, Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner: Realisability of Rankings-based Semantics (accepted for SAFA 2022)
- Tjitze Rienstra, Jesse Heyninck, Gabriele Kern-Isberner, Kenneth Skiba, Matthias Thimm: Explaining Argument Acceptance in ADFs (accepted for ArgXAI 2022)
- Lars Bengel, Lydia, Blümel, Tjitze Rienstra, Matthias Thimm: Argumentation-based Causal and Counterfactual Reasoning (accepted for ArgXAI 2022)
- Jonas Klein, Isabelle, Kuhlmann, Matthias Thimm: Graph Neural Networks for Algorithm Selection in Abstract Argumentation (accepted for ArgML 2022)
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