From 15ab6036ed7186ea5dbd8f12f7a96c234d7fe4b4 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Fri, 25 Aug 2017 11:59:33 +0200
Subject: [PATCH] course updates

---
 courses/KRMT.md   |  3 +--
 courses/comsem.md | 16 +++++++++++++++-
 courses/lbs.md    | 14 +++++++++-----
 3 files changed, 25 insertions(+), 8 deletions(-)

diff --git a/courses/KRMT.md b/courses/KRMT.md
index 31981f7..a804975 100644
--- a/courses/KRMT.md
+++ b/courses/KRMT.md
@@ -1,10 +1,9 @@
 ---
 layout: course
-
 title: Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
 instructors:
     - mkohlhase
-
+    - dmueller
 semesters:
     - SS17
 ---
diff --git a/courses/comsem.md b/courses/comsem.md
index 0856695..845d269 100644
--- a/courses/comsem.md
+++ b/courses/comsem.md
@@ -14,4 +14,18 @@ semesters:
     - Spring14
     - Spring15
 ---
-Logic-based theories for the semantics of natural language. 
+Logic-based theories for the semantics of natural language. We use Montague's "method of
+fragments" to create a series of language models of increasing coverage (of English).
+
+A language model is a triple of
+
+* a grammar 'G' that defines a language fragment that can be translated,
+* a logical system 'L' that acts as the meaning representation, and 
+* a translation from syntax trees induced by 'G' to formulae in 'L'
+
+The course resources (course notes, literature, assignments) can be found
+[here](http://kwarc.info/teaching/ComSem).
+
+Having heard the course ["Computational Logic](http://kwarc.info/teaching/CompLog) is very
+helpful, but not a prerequisite. 
+ 
diff --git a/courses/lbs.md b/courses/lbs.md
index 95119fb..3656fc4 100644
--- a/courses/lbs.md
+++ b/courses/lbs.md
@@ -1,21 +1,25 @@
 ---
 layout: course
-
 title: Logik-Basierte Sprachverarbeitung (LBS)
 instructors:
     - mkohlhase
-
+    - dmueller
 semesters:
     - WS17/18
 ---
 
 Dieser Kurs behandelt Grundlagen der logikbasierten Sprachverarbeitung - Syntax,
-Semantik-Konstruktion, und Semantische Verarbeitung natürlicher Sprache. Wir werden
+Semantik-Konstruktion, und semantische Verarbeitung natürlicher Sprache. Wir werden
 einerseits die Grundlagen theoretisch erarbeiten (Montague's "method of fragments"), und
 andererseits praktisch im
 [Grammatical Framework (GF)](http://www.grammaticalframework.org/) implementieren und
-damit experimentieren. 
+damit experimentieren. Der theoretische Teil des Kurses wird auf
+[dem Kurs "Computational Semantics"](http://kwarc.info/teaching/ComSem) aufbauen. 
 
 Da wir nur wenige Studenten erwarten, wollen wir diesen Kurs sehr interaktiv und
-Projektorientiert aufbauen. 
+projektorientiert aufbauen.
 
+Die Vorlesung
+["Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen"](/courses/KRMT/)
+aus dem vorhergehenden Sommer-Semester ist sehr hilfreich für den praktischen Teil, aber
+keine notwendige Voraussetzung.
-- 
GitLab