From a673150d970d5cb181cffb37d43664d1cbc1a23b Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Mon, 1 May 2017 11:06:26 +0200
Subject: [PATCH] course improvements

---
 _layouts/course.html |  2 +-
 teaching/AIProj.md   | 14 +++++++++++++-
 teaching/KRMT.md     |  9 ++++++++-
 teaching/ai1.md      |  3 ++-
 teaching/ai2.md      |  5 ++++-
 teaching/wuv.md      |  4 +++-
 6 files changed, 31 insertions(+), 6 deletions(-)

diff --git a/_layouts/course.html b/_layouts/course.html
index 5e9c901..f09d6e1 100644
--- a/_layouts/course.html
+++ b/_layouts/course.html
@@ -3,7 +3,7 @@ layout: default
 ---
 
 <div class="page">
-  <h1 class="page-title">{{ page.title }}</h1>
+  <h1 class="page-title">{{page.title}} ({{page.taught}})</h1>
   <h2>{{page.instructor}}</h2>
   {{ content }}
 </div>
diff --git a/teaching/AIProj.md b/teaching/AIProj.md
index fe88bc1..f417cfd 100644
--- a/teaching/AIProj.md
+++ b/teaching/AIProj.md
@@ -3,6 +3,18 @@ layout: course
 instructor: Prof. Dr. Michael Kohlhase
 title: Projekt zur Künstlichen Intelligenz
 menu_title: KI-Projekt
+taught: WS16/17, SS16
 ---
 
-say more here
+The KWARC group (Wissensrepräsentation und Verarbeitung)conducts research in knowledge
+representation and reasoning techniques with a view towards applications in knowledge
+management. We extend techniques from formal methods so that they can be used in settings
+where formalization is either infeasible or too costly. We concentrate on developing
+techniques for marking up the structural semantics in technical documents. This level of
+markup allows for offering interesting knowledge management services without forcing the
+author to formalize the document contents.  In contrast to courses with fixed topics,
+project topics are defined individually.
+
+See the [KWARC home page](http://kwarc.info) for a general introduction to the research
+and [the KWARC research topics list](http://gl.kwarc.info/kwarc/thesis-projects) for
+expemplary topics. 
diff --git a/teaching/KRMT.md b/teaching/KRMT.md
index 3913eae..7c617c7 100644
--- a/teaching/KRMT.md
+++ b/teaching/KRMT.md
@@ -3,6 +3,13 @@ layout: course
 instructor: Prof. Dr. Michael Kohlhase
 title: Vorlesung *Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen*
 menu_title: Vorlesung KRMT
+taught: SS16/17
 ---
 
-say more here
+Dieser Kurs behandelt Grundlagen der Mathematik, Modulare Formalisierung in
+Theoriegraphen, Narrative Strukturen in informellen mathematisch/technischen Dokumenten,
+Formalisierung von Logiksprachen in Metalogiken.
+
+Da wir nur wenige Studenten erwarten, wollen wir diesen Kurs sehr interaktiv und
+Projektorientiert aufbauen. 
+
diff --git a/teaching/ai1.md b/teaching/ai1.md
index 39e7d45..99a6978 100644
--- a/teaching/ai1.md
+++ b/teaching/ai1.md
@@ -3,6 +3,7 @@ layout: course
 instructor: Prof. Dr. Michael Kohlhase
 title: Künstliche Intelligenz I
 menu_title: Künstliche Intelligenz I
+taught: WS16
 ---
+Diese Vorlesung beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), insbesondere formale Wissensrepräsentation, Heuristische Suche, Automatisches Planen und Schliessen unter Unsicherheit.
 
-Say something here 
diff --git a/teaching/ai2.md b/teaching/ai2.md
index 08facd7..fbc61ab 100644
--- a/teaching/ai2.md
+++ b/teaching/ai2.md
@@ -3,6 +3,9 @@ layout: course
 instructor: Prof. Dr. Michael Kohlhase
 title: Künstliche Intelligenz II
 menu_title: Künstliche Intelligenz II
+taught: SS16/17
 ---
 
-say more here
+Dieser Kurs beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), insbesondere mit Techniken des Schliessens unter Unsicherheit, des maschinellen Lernens und dem Sprachverstehen.
+Der Kurs baut auf der Vorlesung Künstliche Intelligenz I vom Wintersemester auf und führt diese weiter.
+
diff --git a/teaching/wuv.md b/teaching/wuv.md
index 519fdfd..dc29677 100644
--- a/teaching/wuv.md
+++ b/teaching/wuv.md
@@ -5,4 +5,6 @@ title: Seminar Wissensrepräsentation und -verarbeitung
 menu_title: Seminar WuV
 ---
 
-say more here
+This seminar covers topics from knowledge representation and knowledge processing, mostly
+with a focus on mathematical knowledge.
+
-- 
GitLab