Matthias Thimm

This page is partly only available in German.

Courses

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 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

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