Matthias Thimm
Projects (Current)
  • EBM: Explainable Belief Merging (2022-, DFG Research Project)
  • CAML2: Causality, Argumentation, and Machine Learning (2021-, DFG Research Project)
  • HIBPM: Handling Inconsistencies in Business Process Modelling (2019-, DFG Research Project)
  • CAR: Conditional Argumentative Reasoning (2019-, DFG Research Project)
  • EnTrust: Engineering Trustworthy Data-Intensive Systems (2019-, funded by Rhineland-Palatinate)
  • FAT IL: Foundations, Applications & Theory of Inductive Logic (2019-, DFG Scientific Network)
Projects (Past)
  • TweetyProject: A comprehensive Java library for logic aspects of artificial intelligence and knowledge representation
  • taas: A collection of various solvers for abstract argumentation
  • heureka: A heuristic backtracking solver for abstract argumentation
  • probo: A Benchmark Framework for Computational Argumentation Competitions
  • KReator: A toolbox for relational probabilistic knowledge representation, reasoning, and learning
© Matthias Thimm - Terms