Teaching
Lehrangebot Wintersemester 2019/2020
- Automated Reasoning – Seminar
- Funktionale Programmierung – fortgeschrittene Konzepte und Anwendungen
- Modelling with UML, with Semantics
- Logik II: Theorie und Anwendungen
- Oberseminar
Lehrangebot Sommersemester 2019
Lehrangebot Wintersemester 2018/2019
- Grundlagen der Theoretischen Informatik
- Modelling with UML, with Semantics
- Logik II: Theorie und Anwendungen
- Oberseminar
Lehrangebot Sommersemester 2018
- Logik
- Neuro-symbolische Integration
- Principles and Practices of Scientific Work
- Survey of Research on the Frontiers of Computer Science
- Oberseminar: Heterogene formale Methoden
Lehrangebot Wintersemester 2017/2018
- Grundlagen semantischer Technologien
- Principles and Practices of Scientific Work
- Oberseminar: Heterogene formale Methoden
Lehrangebot Sommersemester 2017
- Grundlagen der Theoretischen Informatik II
- Einführung in die Angewandte Ontologie
- Modelling with UML, with Semantics
- Survey of Research on the Frontiers of Computer Science
- Oberseminar: Heterogene formale Methoden
Lehrangebot Wintersemester 2016/2017
- Logik
- Grundlagen der Theoretischen Informatik
- Argumentationstheorie
- Survey on Frontiers of Research on Computer Science
- Oberseminar: Heterogene Formal Methoden
Lehrangebot Sommersemester 2016
- Einführung in die Angewandte Ontologie
- Modelling with UML, with Semantics
- Oberseminar: Heterogene formale Methoden
Lehrangebot Wintersemester 2015/2016
Lehrangebot Sommersemester 2015
- Grundlagen der Theoretischen Informatik II
- Computational Creativity, Seminar
- Modelling with UML, with Semantics
- Oberseminar
Lehrangebot Wintersemester 2014/2015
- Grundlagen der Theoretischen Informatik
- Logik
- Computational Conceptual Blending
- Cognition and Concept Invention
- Tools and Techniques for Ontologies
- Oberseminar: Heterogene formale Methoden
Lehrangebot Sommersemester 2014
- Algebraische Spezifikation
- Computational Creativity
- Introduction to Applied Ontology
- Modellierung mit UML, mit Semantik
- Oberseminar Heterogene formale Methoden
- Semantics of Programming Languages