Uni-Logo

Current Lectures

Pages for lectures up to winter semester 2003/2004 are only available via our old teaching page, which may contain broken links. Please allow us some time while the pages are being revised.

Informatik I

This course is held in German.

Die Vorlesung gibt eine Einführung in die Grundlagen der Informatik. Es werden die Grundkonzepte der Programmierung erläutert. Dazu gehören funktionale und prozedurale Programmierung, test- und vertragsgesteuerte Entwicklung, Datenabstraktion, datengesteuerte und objektorientierte Programmierung.

Course type: Lecture
Lecturer: Prof. Dr. Bernhard Nebel
Web page: Informatik I

Autonome Navigation

This seminar is held in German.

In diesem Proseminar werden anhand von Originalliteratur unterschiedliche algorithmische Verfahren behandelt, die Teilprobleme der autonomen Navigation wie Pfadplanung und Pfadverfolgung lösen.

Course type: Seminar
Organizers: Prof. Dr. Bernhard Nebel, Dr. Felix Lindner and Andreas Hertle
Web page: Autonome Navigation

Principles of AI Planning

This course gives a detailed introduction to the theoretical and algorithmic foundations of modern AI planning systems.

Course type: Lecture
Lecturers: Prof. Dr. Bernhard Nebel and Dr. Robert Mattmüller
Web page: Principles of AI Planning

Dynamic Epistemic Logic

This course gives a detailed introduction to Dynamic Epistemic Logics and to epistemic planning.

Course type: Lecture
Lecturers: Prof. Dr. Bernhard Nebel, Dr. Robert Mattmüller and Thorsten Engesser
Web page: Dynamic Epistemic Logic

Oberseminar

Besprechung aktueller Forschungsthemen.

Course type: Lecture
Lecturer: Prof. Dr. Bernhard Nebel
Web page: Oberseminar