tweaks

_config.yml

@@ -29,7 +29,7 @@ author:
   name:              'The KWARC Group'
   url:               http://kwarc.info
   email:             kohlhase@kwarc.info
-#  twitter:           opendreamkit
+#  twitter:           opendreamkit-
 
 semester: SS17
 

_layouts/person.html

@@ -2,7 +2,6 @@
 layout: default
 ---
 
-
 <div class="row">
   <div class="col s12 m5 right">
     <div class="card">
@@ -15,11 +14,11 @@ layout: default
       </div>
       <div class="card-action">
         <a href="https://kwarc.info/{{ page.account }}/publications.html">Publications</a>
-        {% if page.cv %}&nbsp;<a href="/{{page.cv}}">Curriculum Vitae</a>{% endif %}
+        {% if page.cv %}&nbsp;<a href="/{{page.cv}}">CV</a>{% endif %}
       </div>
     </div>
   </div>
   <p>
     {{content}}
   </p>
-</div>
\ No newline at end of file
+</div>

people/README.md

@@ -18,3 +18,6 @@ Each file  needs some specific parameters:
  * **start-date** (optional) a start date (YYYY-MM) 
  * **end-date** (optional) an end date (YYYY-MM) 
  * **role** one of *master-student*, *bachelor-student*, *phd-student*, *postdoc*, *faculty* or *guest* 
+ * **crossref** (optional) if the home page is outside this web site.
+
+

teaching/ai1.md

@@ -5,5 +5,11 @@ 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.
+Diese Vorlesung beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI),
+insbesondere
+* Agentenmodelle als  Grundlagen der KI
+* Heuristische Suche als Methode zum Problemlösen
+* Logische Sprachen zur Wissensrepräsentation,
+* Inferenz
+* Automatisches Planen
 

teaching/ai2.md

@@ -6,6 +6,6 @@ menu_title: Künstliche Intelligenz II
 taught: SS16/17
 ---
 
-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.
+Dieser Kurs beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), insbesondere mit Techniken des Schliessens unter Unsicherheit, des maschinellen Lernens und des Sprachverstehens.
 Der Kurs baut auf der Vorlesung Künstliche Intelligenz I vom Wintersemester auf und führt diese weiter.