Matthias Thimm

PD Dr. Matthias Thimm

Institute for Web Science and Technologies
Universitätsstr. 1, Room B.108
Universität Koblenz-Landau, Germany

Other websites:

http://tweetyproject.org
http://argumentationcompetition.org
http://krportal.org
Phone: +49 (0) 261 / 287- 2715
E-Mail: thimm@uni-koblenz.de



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.

Open Calls

The First International Conference on Foundations, Applications, and Theory of Inductive Logic (FATIL'20)
Organizers: Matthias Thimm, Jürgen Landes
Paper deadline: May 15, 2020

The Third International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'20)
co-located with the 8th International Conference on Computational Models of Argument (COMMA)
Organizers: Sarah A. Gaggl, Matthias Thimm, Mauro Vallati
Paper deadline: Jul 1, 2020

The Third Workshop on Argument Strength (ArgStrength'20)
Organizers: Matthias Thimm, Tjitze Rienstra, Kenneth Skiba, Gabriele Kern-Isberner, Jesse Heyninck, Christian Strasser
Paper deadline: Jul 20, 2020

News

10 Feb 2020
The paper "Towards Inconsistency Measurement in Business Rule Bases" (with Carl Corea) has been accepted for ECAI 2020.

10 Feb 2020
The paper "On the Correspondence Between Abstract Dialectical Frameworks and Nonmonotonic Conditional Logics" (with Jesse Heyninck and Gabriele Kern-Isberner) has been accepted for FLAIRS 2020.

14 Jan 2020
The paper "Epistemic graphs for representing and reasoning with positive and negative influences of arguments" (with Anthony Hunter and Sylwia Polberg) has been accepted for publication in Artificial Intelligence.



© Matthias Thimm - Terms