Our web site is currently undergoing major revision.
During the transition period, pages for lectures from winter semester 2003/2004 and before are only available via our old teaching page, which may contain broken links. Please allow us some time to process the old content.
Foundations of Artificial Intelligence
This course will introduce basic concepts and techniques used within the field of Artificial Intelligence. Among other topics, we will discuss:
- Introduction to and history of Artificial Intelligence
- Agents
- Problem solving and search
- Logic and knowledge representation
- Planning
- Representation of and reasoning under uncertainty
- Machine learning
| Course type: | Lecture |
| Lecturers: | Prof. Dr. Bernhard Nebel and Prof. Dr. Wolfram Burgard |
| Web page: | Foundations of Artificial Intelligence |
Principles of Knowledge Representation and Reasoning
The course provides an in-depth introduction into the techniques that underly advanced systems for knowledge representation and automated reasoning. Topics covered include modal logics, qualitative temporal and spatial reasoning, non-monotonic reasoning, and description logics.
| Course type: | Lecture |
| Lecturers: | Prof. Dr. Bernhard Nebel, Dr. Malte Helmert and Dr. Stefan Wölfl |
| Web page: | Principles of Knowledge Representation and Reasoning |
Seminar: Logik in der KI
This seminar is held in German.
Formale Logik spielt in verschiedenen Bereichen der Künstlichen Intelligenz eine wichtige Rolle als Werkzeug zur Wissensrepräsentation und zum automatisierten Schlussfolgern. Im Rahmen dieses Seminars werden Formalismen wie Golog, Beschreibungslogiken, Temporallogiken etc. und ihre Verwendung innerhalb der Künstlichen Intelligenz behandelt.
| Course type: | Seminar |
| Organizer: | Prof. Dr. Bernhard Nebel |
| Web page: | Seminar: Logik in der KI |
