Stefan Ellmauthaler

Stefan Ellmauthaler

Research associate at TU Dresden, International Center for Computational Logic, Knowledge-Based Systems group.

Teaching experience Leipzig - Bachelor’s courses

BSc courses, Leipzig University, Computer Science Institute, Intelligent Systems Group, 2020

Knowledge Based Systems

2015 - 2020

This summer term course gives an overview to knowledge based systems, such as

  • Problem solving and search
  • Constraint satisfaction
  • Propositional logic
  • Description logics
  • Nonmonotonic reasoning
  • Answer set programming
  • Probabilistic reasoning
  • Planning
  • Machine learning
  • Argumentation theory

I have been responsible for the exercises, which accompanied the lecture. In addition I have represented Prof. Dr. Gerhard Brewka on the topic of answer set programming.