Uni-Logo

Lectures in winter semester 2004/2005

Informatik III

This course is held in German.

Die Vorlesung gibt eine Einführung in die Theoretische Informatik. Zu Beginn werden mehrere äquivalente präzise Fassungen des Berechenbarkeitsbegriffs eingeführt und es wird gezeigt, dass es Probleme gibt, die nicht algorithmisch lösbar sind. Daran schließt sich eine Einführung in die Komplexitätstheorie, speziell die Theorie der NP-Vollständigkeit, an. Im zweiten Teil der Vorlesung werden dann die Themen endliche Automaten, formale Sprachen und Grammatiken behandelt, wobei die Korrespondenzen zwischen diesen hergestellt werden.

Course type: Lecture
Lecturers: Prof. Dr. Bernhard Nebel and Prof. Dr. Georg Lausen
Web page: Informatik III

Advanced AI Techniques

This course covers some of the topics that are left out or are only scratched on the surface in the "Foundations of Artificial Intelligence" course, namely modelling and reasoning with Bayesian networks, probabilistic approaches to natural language understanding, probabilistic approaches in robotics, and game-theoretic approaches to multi-agent systems. Each of these topics will be covered in roughly four weeks.

Course type: Lecture
Lecturers: Prof. Dr. Wolfram Burgard, Prof. Dr. Luc De Raedt, Prof. Dr. Bernhard Nebel and Prof. Dr. Lars Schmidt-Thieme
Web page: Advanced AI Techniques

Prinzipien der Wissensrepräsentation

This course is held in German.

Die Vorlesung bietet eine detaillierte Einführung in die Techniken, die die Grundlage fortgeschrittener Systeme zur Wissensrepräsentation und zum automatischen Schlussfolgern bilden: semantische Netzwerke und Vererbung, Beschreibungslogiken, nicht-monotones Schließen (Default-Logik, kumulative Logik, nicht-monotone Logikprogramme) sowie zeitliches und räumliches Schließen in Allens Intervallalgebra und dem Regionzusammenhangskalkül RCC-8.

Course type: Lecture
Lecturers: Prof. Dr. Bernhard Nebel, PD Dr. Jussi Rintanen and Dr. Stefan Wölfl
Web page: Prinzipien der Wissensrepräsentation

Computer-Supported Modeling and Reasoning

This lecture is about using logic for program development and program analysis. Various logic systems (first-order logic, higher-order logic etc.) will be introduced, and it will be shown how proofs in these systems can be conducted both using paper and pencil and using the interactive theorem prover Isabelle. The general principles of an Isabelle-like theorem prover will be explained. It will be shown how an important part of mathematics and programming languages can be modeled in higher-order logic. The lecture will conclude with a verification case-study.

Course type: Lecture
Lecturer: Prof. Dr. Jan-Georg Smaus
Web page: Computer-Supported Modeling and Reasoning

Robotics Laboratory

The laboratory provides motivated students with an opportunity to apply their knowledge on the development of autonomous agents in the context of RoboCup. This includes topics from the areas of Artificial Intelligence, image/sensor processing, real time systems and control engineering. This semester, projects are available in two RoboCup leagues: Real Rescue Robots and Soccer/Humanoid.

Course type: Laboratory
Organizers: Prof. Dr. Alexander Kleiner, Dr. Sven Behnke and Prof. Dr. Bernhard Nebel
Web page: Robotics Laboratory

Die Künstliche Intelligenz im Spiegel des internationalen Films

This course is held in German.

In dieser Veranstaltung werden Filme mit Bezug zum Thema Künstliche Intelligenz vorgeführt und ihre Inhalte diskutiert. Die Filme werden in der Regel im englischen Original gezeigt, die Diskussion findet auf deutsch statt.

Course type: Special event
Organizers: Prof. Dr. Bernhard Nebel, Prof. Dr. Wolfram Burgard and Prof. Dr. Luc De Raedt
Web page: Die Künstliche Intelligenz im Spiegel des internationalen Films

Oberseminar Grundlagen der Künstlichen Intelligenz

This seminar is held in German.

In der Seminarreihe tragen Gäste, Doktoranden und Studenten der Abteilung über aktuelle Forschungsthemen vor. Alle Interessenten sind herzlichst zu den Vorträgen eingeladen!

Course type: AI lab seminar
Organizers: PD Dr. Jussi Rintanen and Prof. Dr. Bernhard Nebel
Web page: Oberseminar Grundlagen der Künstlichen Intelligenz