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 theoretical and with applications in the semantic web. 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.
The First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'16)
co-located with the 6th International Conference on Computational Models of Argument (COMMA)
Organizers: Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati
Paper deadline: Jul 1, 2016
19 Apr 2016
The paper "Group Decision Making via Probabilistic Belief Merging" (together with Nico Potyka, Erman Acar, and Heiner Stuckenschmidt) has been accepted for IJCAI 2016.
14 Apr 2016
For the summer term 2016 I am acting professor (Vertretungsprofessor) for algebraic and logical foundations of computer science at the University of Leipzig.
14 Apr 2016
A report on the "First International Competition on Computational Models of Argumentation" (together with Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass, and Mauro Vallati) has been published in the AI Magazine.
19 Feb 2016
Two papers got accepted for KR 2016:
- Anthony Hunter, Matthias Thimm: On Partial Information and Contradictions in Probabilistic Abstract Argumentation
- Matthias Thimm, Johannes P. Wallner: Some Complexity Results on Inconsistency Measurement
11 Feb 2016
I successfully defended my habilitation thesis on 22 Jan, 2016. Thanks to everyone who contributed in making this happen!
1 Feb 2016
My paper "On the Expressivity of Inconsistency Measures" has been accepted for publication in Artificial Intelligence.
14 Nov 2015
My paper "Stream-based Inconsistency Measurement" has been accepted for publication in the International Journal of Approximate Reasoning.