From 70929ef97472addab4c53489cd2c822b2d9e7991 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Tue, 31 Oct 2017 09:41:04 +0100
Subject: [PATCH] more syllabus

---
 courses/ai1.md | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/courses/ai1.md b/courses/ai1.md
index 9753426..2d744f9 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)
-- 
GitLab