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.