ellmau Goto Github PK

Hello, I am Stefan 👋

I am a postdoctoral researcher in the Knowledge-based Systems group of Prof. Dr. Markus Krötzsch at TU Dresden. I received both, my B.Sc. in "Medicine and Computer Science" in 2009, as well as my diploma in "Computational Intelligence" in 2012, at the Vienna University of Technology. In 2018 I defended my doctoral thesis "Multi-Context Reasoning in Continuous Data-Flow Environments" which has been supervised by Prof. Gerhard Brewka at Leipzig University.

My research interests are knowledge representation, logic programming, rule-based reasoning, multi-context reasoning, nonmonotonic reasoning, and (abstract) argumentation theory.

My practical and technical interests are currently mainly focused on programming Rust and on having a robust production-system, based on NixOS with flakes.

🚀 Current work

• A solver for semantics of Abstract Dialectical Frameworks, which utilises ordered binary decision diagrams adf-obdd
• Exploring negation for tuple generating dependencies in rule-based reasoning. See the preprint-version of the accepted AAAI-22 paper
• Teaching (see my personal overview page for a list)

📫 Contact

You can contact me via various web-sites:

Direct communication can be done with the following means of communication:

Of course, we can keep it in github and have a public discussion in the discussion section of the special profile-repository:

🔭 Tech-Interests

⚡ Old projects on other source-hosting websites

• DIAMOND (on sourceforge): An ADF-solver, based on Answer Set Programming encodings, with various wrapper-versions, like python and c++
• nrpsolver (on sourceforge): A c++ implementation of a genetic algorithm to solve the nurse-rostering problem