Abstract Dialectical Frameworks - Properties, Complexity, and Implementation
Published:
Posts by Collection
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
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