course improvements

_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>

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. 

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. 
+

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 

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.
+

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.
+