Lehrveranstaltungen im Wintersemester 2006/2007
Advanced AI Techniques
Diese Veranstaltung wird auf Englisch abgehalten.
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.
| Art der Veranstaltung: | Vorlesung |
| Dozenten: | Prof. Dr. Wolfram Burgard, Prof. Dr. Luc De Raedt, Prof. Dr. Bernhard Nebel und Dr. Kristian Kersting |
| Webseite: | Advanced AI Techniques |
Handlungsplanung
Diese Vorlesung bietet eine ausführliche Einführung in die algorithmischen und theoretischen Grundlagen moderner Handlungsplanungssysteme.
| Art der Veranstaltung: | Vorlesung |
| Dozenten: | Prof. Dr. Bernhard Nebel und Prof. Dr. Malte Helmert |
| Webseite: | Handlungsplanung |
Robotics Laboratory
Diese Veranstaltung wird auf Englisch abgehalten.
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, the students have to develop a robot that is capable of fast navigation in an indoor and outdoor environment. The robot can either be a rescue robot (tracked or wheeled vehicle) or a humanoid robot.
| Art der Veranstaltung: | Praktikum |
| Organisatoren: | Dr. Alexander Kleiner, Dr. Sven Behnke und Prof. Dr. Bernhard Nebel |
| Webseite: | Robotics Laboratory |
Oberseminar Grundlagen der Künstlichen Intelligenz
Diese Veranstaltung wird auf Englisch abgehalten.
In the lab seminar, the members of the lab report on their current research projects.
| Art der Veranstaltung: | Oberseminar |
| Organisator: | Prof. Dr. Bernhard Nebel |
| Webseite: | Oberseminar Grundlagen der Künstlichen Intelligenz |
Computer-Supported Modeling and Reasoning
Diese Veranstaltung wird auf Englisch abgehalten.
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.
| Art der Veranstaltung: | Vorlesung |
| Dozent: | Prof. Dr. Jan-Georg Smaus |
| Webseite: | Computer-Supported Modeling and Reasoning |