Prof. Dr. Matthias Thimm

Matthias Thimm Photo: Privat

Email: matthias.thimm

Phone: +49 2331 987-3004

Room: H 207, Bldg. 3

Curriculum vitae


2007 Master (with distinction) in computer science (Diplom Informatik) at Technische Universität Dortmund
2011 PhD (with distinction) in computer science at Technische Universität Dortmund
2016 Habilitation in computer science at University of Koblenz-Landau


2021– Full professor for Artificial Intelligence, FernUniversität in Hagen, Germany
2020–2021 Acting professor for Data Science,Institute for Web Science and Technologies, University of Koblenz-Landau, Germany
2016 Acting professor for logical foundations of computerscience, Leipzig University, Germany
2013–2021 Lecturer, Institute for Web Science and Technologies, University of Koblenz-Landau, Germany
2011–2013 Project leader, Institute for Web Science and Technologies, University of Koblenz-Landau, Germany
2007–2011 Research assistant, Chair on logic in computer science, Technische Universität Dortmund

Membership of scientific societies

2007– Gesellschaft für Informatik (GI)
2013– International Federation for Information Processing (IFIP)

Selection of the 10 most important publications

  1. Kenneth Skiba, Tjitze Rienstra, Matthias Thimm, Jesse Heyninck, Gabriele Kern-Isberner. Ranking Extensions in Abstract Argumentation. In Proceedings of the 30th InternationalJoint Conference on Artificial Intelligence (IJCAI’21) . August 2021.
  2. Matthias Thimm, Federico Cerutti, Mauro Vallati. Skeptical Reasoning with PreferredSemantics in Abstract Argumentation without Computing Preferred Extensions. In Pro-ceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI’21) . August 2021.
  3. Markus Ulbricht, Matthias Thimm, Gerhard Brewka. Handling and measuring inconsis-tency in non-monotonic logics. In Artificial Intelligence, 286:103344. June 2020 .
  4. Anthony Hunter, Sylwia Polberg, Matthias Thimm. Epistemic Graphs for Representingand Reasoning with Positive and Negative Influences of Arguments. In Artificial Intelli-gence, 281:103236. April 2020 .
  5. Matthias Thimm, Johannes P. Wallner. On the Complexity of Inconsistency Measurement.In Artificial Intelligence, 275:411-456. October 2019 .
  6. Gerhard Brewka, Matthias Thimm, Markus Ulbricht. Strong Inconsistency. In ArtificialIntelligence, 267:78-117. February 2019 .
  7. Anthony Hunter, Matthias Thimm. Probabilistic Reasoning with Abstract ArgumentationFrameworks. In Journal of Artificial Intelligence Research, 59:565-611. August 2017 .
  8. Matthias Thimm, Serena Villata. The First International Competition on ComputationalModels of Argumentation: Results and Analysis. In Artificial Intelligence, 252:267-294.August 2017 .
  9. Matthias Thimm. On the Expressivity of Inconsistency Measures. In Artificial Intelli-gence, 234:120-151. February 2016 .
  10. Matthias Thimm. Inconsistency Measures for Probabilistic Logics. In Artificial Intelli-gence, 197:1-24. April 2013 .