Matthias Thimm
Projects (Current)
  • HIBPM: Handling Inconsistencies in Business Process Modelling (2019-, funded by Deutsche Forschungsgemeinschaft)
  • CAR: Conditional Argumentative Reasoning (2019-, funded by Deutsche Forschungsgemeinschaft)
  • CAML: Argumentative Machine Learning (2018-, funded by Deutsche Forschungsgemeinschaft)
  • ETDIS: Engineering Trustworthy Data-Intensive Systems (2019-, funded by Rhineland-Palatinate)
Projects (Past)
Software
  • 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
Other
© Matthias Thimm - Terms