Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Stefan Ellmauthaler
About me
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
portfolio
publications
talks
Asynchronous Multi-Context Systems
Published:
Asynchronous Multi-Context Systems
Published:
Tutorial on Multi-Context Stream Reasoning
Published:
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
Published:
Overview talk to the local scientific community on published work about using reduced ordered Binary Decision Diagrams to represent Abstract Dialectical Frameworks
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
Published:
Presenting the results of the paper at the LPNMR
Abstract Dialectical Frameworks meet Binary Decision Diagrams
Published:
Overview of recent developments in the field of Abstract Dialectical Frameworks and Binary Decision Diagrams
ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams
Published:
Introduction and presentation of adf-bdd.dev by a talk about the accepted paper
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks
Published:
Introduction and presentation of adf-bdd.dev by a talk about the accepted paper
teaching
Teaching experience Leipzig - Bachelor’s courses
BSc courses, Leipzig University, Computer Science Institute, Intelligent Systems Group, 2020
A short overview on the BSc course experience I had at Leipzig University
Teaching experience Leipzig - Master’s courses
MSc courses, Leipzig University, Computer Science Institute, Intelligent Systems Group, 2020
Summary of my experience with MSc students at Leipzig University
Rule-Based Paradigms in KR
Seminar, TU Dresden, Faculty of Computer Science, Knowledge-Based Systems Group, 2021
Seminar on various rule-based paradigms in knowledge representation and reasoning