Lectures in winter semester 2016/2017
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, Prof. Dr. Felix Lindner (Juniorprof.) and Dr. 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 Dr. Thorsten Engesser |
| Web page: | Dynamic Epistemic Logic |
Oberseminar
Besprechung aktueller Forschungsthemen.
| Course type: | Lecture |
| Lecturer: | Prof. Dr. Bernhard Nebel |
| Web page: | Oberseminar |