Universität Paderborn - Die Universität der Informationsgesellschaft

Research Group „Knowledge-Based Systems”

Teaching (mostly in German)

 Sommersemester 2012
L.079.05600 Grundlagen Wissensbasierter Systeme Vorlesung Kleine Büning
L.079.05803 Propositional Proof Systems Vorlesung Kleine Büning
L.079.07500 Logik and Semantik Proseminar Kleine Büning / Lettmann
L.079.09501 Webbasierte Informationssysteme Vorlesung Lettmann
L.079.08106 Wissensbasierte Systeme Oberseminar Kleine Büning
L.079.07005 Projektgruppe: Learning Agents in Dynamic Environments II (Teil 2) Projektgruppe Kleine Büning / Baumann / Kemmerich

Lehrveranstaltungen früherer Semester

 Wintersemester 2011 / 2012
L.079.05718 Logik und Deduktion Vorlesung Kleine Büning
L.079.05709 Maschinelles Lernen Vorlesung Kleine Büning
L.079.05700 Theorem Proving Vorlesung Bubeck
L.079.05716 Heuristische Suchverfahren Vorlesung Lettmann
L.079.05708 Verteiltes Problemlösen Vorlesung Lettmann
L.079.08002 Wissensbasierte Systeme Seminar Kleine Büning / Bubeck
L.079.08106 Wissensbasierte Systeme Oberseminar Kleine Büning
L.079.07005 PG: Learning Agents in Dynamic Environments II (Teil 1) Projektgruppe Kleine Büning / Baumann / Kemmerich
 Sommersemester 2011
L.079.05601 Grundlagen Wissensbasierter Systeme Vorlesung Kleine Büning
L.079.05805 Propositional Proof Systems Vorlesung Kleine Büning
L.079.07500 Logik and Semantik Proseminar Kleine Büning / Lettmann
L.079.09501 Webbasierte Informationssysteme Vorlesung Lettmann
L.079.08106 Wissensbasierte Systeme Oberseminar Kleine Büning
L.079.07005 PG Agents (Teil 2) Projektgruppe Kleine Büning / Baumann / Eberling / Kemmerich
ohne Dynamic Intelligent Systems Reading Class Kleine Büning / Meyer auf der Heide / Schäfer
 Wintersemester 2010 / 2011
L.079.05709 Maschinelles Lernen Vorlesung Kleine Büning
L.079.05718 Logik und Deduktion Vorlesung Kleine Büning
L.079.05708 Verteiltes Problemlösen Vorlesung Lettmann
L.079.08002 Wissensbasierte Systeme Seminar Kleine Büning
L.079.08106 Wissensbasierte Systeme Oberseminar Kleine Büning
L.079.07005 PG Agents (Teil 1) Projektgruppe Kleine Büning / Baumann / Eberling / Kemmerich
 Sommersemester 2010
L.079.05602 Grundlagen Wissensbasierter Systeme Vorlesung Kleine Büning
L.079.05805 Propositional Proof Systems Vorlesung Kleine Büning
L.079.07500 Logic and Semantics Proseminar Kleine Büning / Anciutti
L.079.05804 Heuristische Suchverfahren Vorlesung Lettmann / Eberling
L.079.09501 Web-basierte Informationssysteme Vorlesung Lettmann / Eberling
L.079.08106 Wissensbasierte Systeme Oberseminar Kleine Büning
 Wintersemester 2009 / 2010
L.079.05101 Modellierung Vorlesung Kleine Büning
L.079.05708 Maschinelles Lernen Vorlesung Kleine Büning
L.079.08002 Knowledge Based Systems Seminar Kleine Büning / Anciutti
L.079.05707 Verteiltes Problemlösen Vorlesung Lettmann
L.079.08106 Wissensbasierte Systeme Oberseminar Kleine Büning
 Sommersemester 2009
L.079.05605 Grundlagen Wissensbasierter Systeme Vorlesung Kleine Büning / Bubeck
L.079.05817 Evolutionary Algorithms Vorlesung Kleine Büning
L.079.05813 Heuristische Suchverfahren Vorlesung Lettmann
L.079.09501 Web-basierte Informationssysteme Vorlesung Lettmann
Wissensbasierte Systeme Oberseminar Kleine Büning
 Wintersemester 2008 / 2009
Modellierung Vorlesung Kleine Büning
Maschinelles Lernen Vorlesung Kleine Büning
Dynamic Intelligent Systems Reading Class Kleine Büning / Meyer auf der Heide / Schäfer
Wissensbasierte Systeme Seminar Kleine Büning / Bubeck
Verteiltes Problemlösen Vorlesung Lettmann
RESCUE (Teil 2) Projektgruppe Kleine Büning / Eberling
Wissensbasierte Systeme Oberseminar Kleine Büning
 Sommersemester 2008
Grundlagen Wissensbasierter Systeme Vorlesung Kleine Büning / Bubeck
Propositional Proof Systems Vorlesung Kleine Büning
Heuristische Suchverfahren Vorlesung Lettmann
Web-basierte Informationssysteme Vorlesung Lettmann
RESCUE (Teil 1) Projektgruppe Kleine Büning / Eberling
Logik und Semantik Proseminar Kleine Büning
Wissensbasierte Systeme Oberseminar Kleine Büning

Imprint | Webmaster | Recent changes: 01.03.2012