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.
23 August 2021
|The Handbook of Formal Argumentation, Volume 2, edited by Dov Gabbay, Massimiliano Giacomin, Guillermo R. Simari and Matthias Thimm, has been published by College Publications.
Among others, it also contains the following chapter:
- Anthony Hunter, Sylwia Polberg, Nico Potyka, Tjitze Rienstra, Matthias Thimm:Probabilistic Argumentation: A Survey
23 August 2021
Three papers got accepted for NMR 2021:
- Isabelle Kuhlmann, Matthias Thimm: Algorithms for Inconsistency Measurement using Answer Set Programming.
- Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba: Arguing about Complex Formulas: Generalizing Abstract Dialectical Frameworks.
- Jesse Heyninck, Matthias Thimm, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba: On the Relation between Possibilistic Logic and Abstract Dialectical Frameworks.
18 June 2021
Four papers got accepted for KR 2021:
- Jandson S. Ribeiro and Matthias Thimm: Consolidation via Tacit Culpability Measures: Between Explicit and Implicit Degrees of Culpability
- Jesse Heyninck, Gabriele Kern-Isberner, Matthias Thimm, Kenneth Skiba and Tjitze Rienstra: Revision and Conditional Inference for Abstract Dialectical Frameworks
- Carl Corea, Matthias Thimm, Patrick Delfmann: Measuring Inconsistency over Sequences of Business Rule Cases (Short paper)
- Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba, Matthias Thimm: Distinguishability in Abstract Argumentation (Short paper)
12 May 2021
Two papers got accepted for IJCAI 2021:
- Matthias Thimm, Federico Cerutti, Mauro Vallati: Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions
- Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner: Ranking Extensions in Abstract Argumentation
22 Apr 2021
I will take up a new position as full professor for Artificial Intelligence at the FernUniversität in Hagen, starting from August 2021.