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, Prof. 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, Dr. 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 Prof. 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 |