Lehre
Christian Knüpfer
Wintersemester 2009/2010
- Seminar "Logische, philosophische und algorithmische Grundlagen der Wissensrepräsentation"
Wintersemester 2006/2007
- Seminar "Formen des Schlußfolgerns: Von der klassischen Deduktion zur nicht-monotonen Inferenz"
Sommersemester 2006
- Seminar "Formalisierung von Semantik"
Wintersemester 2005/2006
- Seminar "Die Wissenschaften vom Künstlichen"
Sommersemester 2005
- Übung zur Vorlesung "Grundlagen der Constraint-Programmierung"
- Seminar "Evolution semiotischer Systeme"
Redaktion 