Lehrveranstaltungen im Wintersemester 2016/2017
Informatik I
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.
| Art der Veranstaltung: | Vorlesung |
| Dozent: | Prof. Dr. Bernhard Nebel |
| Webseite: | Informatik I |
Autonome Navigation
In diesem Proseminar werden anhand von Originalliteratur unterschiedliche algorithmische Verfahren behandelt, die Teilprobleme der autonomen Navigation wie Pfadplanung und Pfadverfolgung lösen.
| Art der Veranstaltung: | Seminar |
| Organisatoren: | Prof. Dr. Bernhard Nebel, Prof. Dr. Felix Lindner (Juniorprof.) und Dr. Andreas Hertle |
| Webseite: | Autonome Navigation |
Principles of AI Planning
Diese Veranstaltung wird auf Englisch abgehalten.
This course gives a detailed introduction to the theoretical and algorithmic foundations of modern AI planning systems.
| Art der Veranstaltung: | Vorlesung |
| Dozenten: | Prof. Dr. Bernhard Nebel und Dr. Robert Mattmüller |
| Webseite: | Principles of AI Planning |
Dynamic Epistemic Logic
Diese Veranstaltung wird auf Englisch abgehalten.
This course gives a detailed introduction to Dynamic Epistemic Logics and to epistemic planning.
| Art der Veranstaltung: | Vorlesung |
| Dozenten: | Prof. Dr. Bernhard Nebel, Dr. Robert Mattmüller und Dr. Thorsten Engesser |
| Webseite: | Dynamic Epistemic Logic |
Oberseminar
Diese Veranstaltung wird auf Englisch abgehalten.
Besprechung aktueller Forschungsthemen.
| Art der Veranstaltung: | Vorlesung |
| Dozent: | Prof. Dr. Bernhard Nebel |
| Webseite: | Oberseminar |