This page is partly only available in German.
Courses
- summer 26: Maschinelles Lernen
- summer 26: Formale Argumentation
- winter 25/26: Maschinelles Lernen
- winter 25/26: Logik
- summer 25: Maschinelles Lernen
- summer 25: Formale Argumentation
- winter 24/25: Einführung in Maschinelles Lernen
- winter 24/25: Wissensbasierte Systeme
- summer 24: Formale Argumentation
- summer 24: Methoden der Wissensrepräsentation und -verarbeitung
- summer 24: Einführung in Maschinelles Lernen
- winter 23/24: Einführung in Maschinelles Lernen
- winter 23/24: Wissensbasierte Systeme
- summer 23: Methoden der Wissensrepräsentation und -verarbeitung
- summer 23: Einführung in Maschinelles Lernen
- winter 22/23: Wissensbasierte Systeme
- summer 22: Methoden der Wissensrepräsentation und -verarbeitung
- summer 21: Network Theory and Dynamic Systems
- winter 20/21: Introduction to Web Science
- summer 20: Semantic Web
- summer 20: Network Theory and Dynamic Systems
- winter 19/20: Algorithmen und Datenstrukturen
- summer 19: Semantic Web
- winter 18/19: Algorithmen und Datenstrukturen
- summer 18: Artificial Intelligence 1
- winter 17/18: Algorithmen und Datenstrukturen
- summer 17: Künstliche Intelligenz 1
- winter 16/17: Algorithmen und Datenstrukturen
- summer 16: Berechenbarkeit (at University Leipzig)
- summer 16: Wissensbasierte Systeme (at University Leipzig, together with Gerhard Brewka)
- summer 16: Künstliche Intelligenz 1
- summer 16: Semantic Web
- winter 15/16: Algorithmen und Datenstrukturen
- summer 15: Künstliche Intelligenz 1
- winter 14/15: Algorithmen und Datenstrukturen
- summer 14: Semantic Web
- winter 13/14: Algorithmen und Datenstrukturen
- summer 13: Semantic Web
- winter 12/13: Algorithmen und Datenstrukturen
- winter 07/08: Rechnerstrukturen (Tutorials)
- winter 06/07: Darstellung, Verarbeitung und Erwerb von Wissen (Tutorials)
- winter 05/06: Darstellung, Verarbeitung und Erwerb von Wissen (Tutorials)
Seminars
- winter 25/26: Deep Learning
- summer 25: Approaches to Handling Inconsistency in Knowledge Representation and Reasoning
- winter 24/25: Logiken in der Künstlichen Intelligenz
- summer 24: Measuring Inconsistency
- winter 23/24: Decision Theory
- summer 23: Knowledge in Flux
- winter 22/23: Inkonsistenzmessung
- summer 22: Satisfiability Solving
- winter 21/22: Formale Argumentation
- summer 21: Graphalgorithmen
- winter 20/21: Formal Argumentation
- summer 20: Sortieralgorithmen
- winter 19/20: Measuring Inconsistency
- summer 19: Optimierungsalgorithmen
- summer 18: Approximationsalgorithmen
- winter 17/18: Formale Argumentation
- summer 17: Graphalgorithmen
- summer 16: Computational Models of Argumentation (at University Leipzig, together with Gerhard Brewka)
- winter 14/15: Advanced Topics in Semantic Web Research
- summer 15: Graphalgorithmen
- winter 14/15: Knowledge Representation in the Semantic Web
- summer 13: Advanced Topics in Semantic Web Research
- winter 10/11: Anwendbarkeit theoretischer Konzepte in der Multiagentenprogrammierung (Student support)
- winter 08/09: Multiagentensysteme (Student support)
- summer 08: Intelligente Agenten (Student support)
- winter 07/08: Relationales Lernen und Modellieren (Student support)
- summer 07: Argumentative Systeme (Student support)
Other
- summer 26: Projektpraktikum "Web Science"
- winter 25/26: Fachpraktikum "Spielprogrammierung für TwixT"
- summer 25: Projektpraktikum "Web Science"
- winter 24/25: Projektpraktikum "Web Science"
- winter 24/25: Fachpraktikum "Multiagentenprogammierung"
- winter 23/24: Projektpraktikum "Web Science"
- summer 23: Fachpraktikum "Multiagentenprogammierung"
- winter 22/23: Fachpraktikum "Knowledge-based Cooperative Games"
- summer 22: Fachpraktikum "Multiagentenprogammierung"
- winter 21/22: Fachpraktikum "Approximatives Argumentatives Schlussfolgern"
- summer 21: Forschungspraktikum "Algorithms for Abstract Argumentation"
- summer 18: Forschungspraktikum "Artificial intelligence approaches for real-time strategy games"
- summer 14: Forschungspraktikum "Multi-Agent Programming Contest"
- winter 13/14: Forschungspraktikum "Mobile Sensors"
- winter 13/14: Projektpraktikum "Mobile Sensors"
- winter 12/13: Projektpraktikum "Linked Data"
- summer 10: Projektgruppe 545 - Intelligent Cowbots (Student support)
- winter 09/10: Projektgruppe 545 - Intelligent Cowbots (Student support)
- summer 06: Software Praktikum
- summer 05: Software Praktikum