new

teaching/AIProj.md

+---
+layout: course
+instructor: Prof. Dr. Michael Kohlhase
+title: Projekt zur Künstlichen Intelligenz
+menu_title: KI-Projekt
+---
+
+say more here

teaching/KRMT.md

+---
+layout: course
+instructor: Prof. Dr. Michael Kohlhase
+title: Vorlesung *Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen*
+menu_title: Vorlesung KRMT
+---
+
+say more here

teaching/ai1.md

+---
+layout: course
+instructor: Prof. Dr. Michael Kohlhase
+title: Künstliche Intelligenz I
+menu_title: Künstliche Intelligenz I
+---
+
+Say something here 

teaching/ai2.md

+---
+layout: course
+instructor: Prof. Dr. Michael Kohlhase
+title: Künstliche Intelligenz II
+menu_title: Künstliche Intelligenz II
+---
+
+say more here

teaching/wuv.md

+---
+layout: course
+instructor: Prof. Dr. Michael Kohlhase
+title: Seminar Wissensrepräsentation und -verarbeitung
+menu_title: Seminar WuV
+---
+
+say more here