Lectures in summer semester 2008
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, Prof. 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 |