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 from a conceptual as well as algorithmic perspective. 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.
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.