course updates

courses/KRMT.md

 ---
 layout: course
-
 title: Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
 instructors:
     - mkohlhase
-
+    - dmueller
 semesters:
     - SS17
 ---

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

courses/lbs.md

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