Projects
TU Dresden
ScaDS.AICenter for scalable data analytics and artificial intelligence. Located in Leipzig and Dresden it is one of the five new AI centers in Germany funded under the feder goverment's AI strategy.- InnoSaleInnoSale aims to innovate today’s sales systems and processes for complex and variable industrial equipment, plants and services. The characteristics of these products make this task fundamentally different from the sales of products that can be selected easily in a shop system (e.g., at Amazon, Zalando, eBay).
Github
- ADF-BDDThis solver-suite allows you to solve Abstract Dialectical Frameworks (ADFs). The ADFs are represented as Binary Decision Diagrams (BDDs).
- NemoNemo is a datalog-based rule engine for fast and scalable analytic data processing in memory. It is available as a command-line tool nmo, through bindings to other programming languages, and via a browser-based web application.
- NixOS configurationsA nixos flake to define, maintain, and configure all my linux machines.
- This websiteThe repository containing the sources of this webiste
Leipzig University
- Advanced Tools for Graph-Based Formal ArgumentationThis project will investigate novel graph-based methods and tools for formal argumentation. We will transfer theoretical results established in the predecessor project for abstract dialectical frameworks to arbitrary labelled argument graphs. We investigate corresponding algorithms and implement flexible and user friendly tools which we evaluate in two domains, legal reasoning and online debating.
- Hybrid Reasoning For Intelligent SystemsThe first project I was funded by during my doctoral studies. The project aimed to combine qualitative and quantitative methods from knowledge representationo and artificial intelligence. The link leads to the DFG project page.