diff --git a/courses/ai1.md b/courses/ai1.md
index 9753426d1365cc35ddbb7537497370533a84e3f6..2d744f940aeb1d791a8a0ffd8b1d81095ef40049 100644
--- a/courses/ai1.md
+++ b/courses/ai1.md
@@ -17,11 +17,14 @@ Intelligenz (KI). Sie beschäftigt sich mit den Grundlagen der symbolischen KI,
 insbesondere
 
 * Agentenmodelle als  Grundlagen der KI
+* Logisches Programmieren in Prolog
 * Heuristische Suche als Methode zum Problemlösen
-* Constraint-Propagierung
+* Adversarielle Suche (Strategiespiele)
+* Probleme unter Rand- oder Nebenbedingungen (Constraint Propagation)
 * Logische Sprachen zur Wissensrepräsentation,
-* Inferenz
-* Automatisches Planen
+* Inferenz und Logisches Programmieren
+* Klassisches Planen
+* Planen und Agieren in der realen Welt
 
 Die Vorlesung folgt dem Buch
 [Artificial Intelligence: A Modern Approach](https://www.pearson.com/us/higher-education/program/Russell-Artificial-Intelligence-A-Modern-Approach-3rd-Edition/PGM156683.html)