Podcast

Artificial Intelligence I 2018/2019 (QHD 1920)

Prof. Dr. Michael Kohlhase

This course covers the Foundations of symbolic Artificial Intelligence (AI) in particular, problem solving by heuristic search, game play via adversarial search, constraint satisfaction, logic and inference, and planning. The companion course KI-2 will cover reasoning under uncertainty and machine learning.