Uni-Logo

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: apl. 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: apl. 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