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 Fourth International Workshop on Systems and Applications for Formal Argumentation (SAFA'22)
Paper deadline: July 8, 2022
The 8th Workshop on Formal and Cognitive Reasoning (FCR'22)
Paper deadline: July 17, 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.
22 Apr 2022
The paper "Possibilistic Logic Underlies Abstract Dialectical Frameworks" (with Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, and Kenneth Skiba) has been accepted for IJCAI 2022.
8 December 2021
The paper "Conditional Abstract Dialectical Frameworks" (with Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, and Kenneth Skiba) has been accepted for The Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI'22).