Artificial Intelligence I 2018/2019 (QHD 1920): Recent Episodes
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.