Uni-Logo

Lectures in winter semester 2012/2013

Knowledge Representation and Reasoning

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 closure (default logic, cumulative logic, non-monotonic logic programs) as well as temporal and spatial calculi Allen's interval algebra and the region connection calculus RCC-8.

Course type: Lecture
Lecturers: Prof. Dr. Bernhard Nebel, Dr. Stefan Wölfl and Dr. Julien Hué
Web page: Knowledge Representation and Reasoning

Handlungsplanung

This course is held in German.

Diese Vorlesung bietet eine ausführliche Einführung in die algorithmischen und theoretischen Grundlagen moderner Handlungsplanungssysteme.

Course type: Lecture
Lecturers: Prof. Dr. Bernhard Nebel and Dr. Robert Mattmüller
Web page: Handlungsplanung

Informatik III (Theoretische Informatik)

This course is held in German.

Die Vorlesung gibt eine eingehende Einführung in die Theoretische Informatik. Neben verschiedenen formalen Präzisierungen des Berechenbarkeitsbegriffs, werden als Themen endliche Automaten, formale Sprachen und Grammatiken, Entscheidbarkeit und Komplexitätstheorie behandelt.

Course type: Lecture
Lecturer: Prof. Dr. Bernhard Nebel
Web page: Informatik III (Theoretische Informatik)

Seminar: Spiele

This seminar is held in German.

Spiele haben seit den Anfängen der Künstlichen Intelligenz einen besonderen Platz in der Forschung. Beispielsweise dienen Gesellschaftsspiele als anschauliche Demonstration der Leistungsfähigkeit aktueller Algorithmen. In den letzten Jahren wird außerdem vermehrt auf Konzepte der Spieltheorie zurückgegriffen, um strategische Entscheidungssituationen in Multi-Agenten-Systemen beschreiben und gestalten zu können.

In diesem Seminar soll es darum gehen einen Einblick in den aktuellen Forschungsstand zu bekommen.

Course type: Seminar
Organizers: Prof. Dr. Bernhard Nebel, Dr. Christian Becker-Asano, Dr. Stefan Wölfl and Dr. Robert Mattmüller
Web page: Seminar: Spiele

Practical: Robotics Laboratory

In this practical students develop projects in a robotics context.

Course type: Laboratory
Organizers: Dr. Christian Dornhege, Andreas Hertle and Prof. Dr. Bernhard Nebel
Web page: Practical: Robotics Laboratory

Oberseminar Grundlagen der Künstlichen Intelligenz

This seminar is held in German.

In der Seminarreihe tragen die Mitarbeiter der Abteilung über ihre aktuellen Forschungsarbeiten vor.

Course type: AI lab seminar
Organizers: Prof. Dr. Bernhard Nebel and Dr. Christian Becker-Asano
Web page: Oberseminar Grundlagen der Künstlichen Intelligenz

Lesegruppe Handlungsplanung und Suche

This seminar is held in German.

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 ein 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.

Course type: AI lab seminar
Organizer: Dr. Robert Mattmüller
Web page: Lesegruppe Handlungsplanung und Suche