About me
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.
News
12 Nov 2018
The paper "Strong Inconsistency" (with Gerhard Brewka and Markus Ulbricht) has been accepted for publication in Artificial Intelligence.
16 Jul 2018
Two papers got accepted for KR 2018:
- Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert van der Torre: Probabilistic Abstract Argumentation based on SCC Decomposability
- Federico Cerutti, Matthias Thimm: A General Approach to Reasoning with Probabilities (Extended Abstract)
10 Jul 2018
Several papers got accepted for COMMA 2018:
- Tjitze Rienstra, Matthias Thimm: Ranking Functions over Labellings
- Matthias Thimm, Federico Cerutti, Tjitze Rienstra: Probabilistic Graded Semantics
- Matthias Thimm, Sylwia Polberg, Anthony Hunter: Epistemic Attack Semantics
- Matthias Thimm: Stochastic Local Search Algorithms for Abstract Argumentation under Stable Semantics
22 Feb 2018
The book Measuring Inconsistency in Information, edited by John Grant and Maria Vanina Martinez, has been published by College Publications. It contains, among others, the following three chapters:
- Glauber De Bona, Marcelo Finger, Nico Potyka, Matthias Thimm
Inconsistency Measurement in Probabilistic Logic
- Markus Ulbricht, Matthias Thimm, Gerhard Brewka
Inconsistency Measures for Disjunctive Logic Programs Under Answer Set Semantics
- Matthias Thimm
On the Evaluation of Inconsistency Measures
|
 |
|
