Lehrveranstaltungen im Wintersemester 2015/2016
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 |
Knowledge Representation and Reasoning
Diese Veranstaltung wird auf Englisch abgehalten.
The course provides a detailed introduction to the techniques that form the basis of advanced systems for knowledge representation and automatic reasoning: semantic networks and inheritance, description logics, non-monotonic reasoning (default logic, cumulative logic, answer set programming) as well as temporal and spatial constraint-based reasoning.
| Art der Veranstaltung: | Vorlesung |
| Dozenten: | Prof. Dr. Bernhard Nebel und Dr. Stefan Wölfl |
| Webseite: | Knowledge Representation and Reasoning |
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 |
Computer Ethics
In diesem Seminar werden ethische Normen und Prinzipien diskutiert, mit denen Informatiker und Informatikerinnen in ihrem Berufsleben konfrontiert werden können.
| Art der Veranstaltung: | Seminar |
| Organisatoren: | Prof. Dr. Bernhard Nebel und Dr. Stefan Wölfl |
| Webseite: | Computer Ethics |
Künstliche Intelligenz und das Prinzip Verantwortung
| Art der Veranstaltung: | Seminar |
| Organisatoren: | Prof. Dr. Marco Ragni und Dr. Tobias Hack |
| Webseite: | Künstliche Intelligenz und das Prinzip Verantwortung |
Neurocognitive models of reasoning
Diese Veranstaltung wird auf Englisch abgehalten.
| Art der Veranstaltung: | Seminar |
| Organisator: | Prof. Dr. Marco Ragni |
| Webseite: | Neurocognitive models of reasoning |
Lesegruppe Handlungsplanung und Suche
In der Lesegruppe werden aktuelle und klassische Forschungsarbeiten aus den Gebieten Handlungsplanung, Suche und verwandten Gebieten diskutiert. Jeder Teilnehmer kann Lesevorschläge einbringen, von denen dann zu jedem Termin eine oder mehrere Arbeiten ausgewählt werden. Die ausgewählten Arbeiten werden von den Teilnehmern vor dem jeweiligen Besprechungstermin gelesen und dann in der Gruppe besprochen.
Die Veranstaltung richtet sich an Mitarbeiter und interessierte Studenten und Gäste. Es können keine ECTS-Punkte erworben werden.
| Art der Veranstaltung: | Oberseminar |
| Organisator: | Dr. Johannes Aldinger |
| Webseite: | Lesegruppe Handlungsplanung und Suche |