The courses given by the KWARC group in the current semester: SS19

• Informatische Werkzeuge in den Geistes- und Sozialwissenschaften IWGS-II
• Künstliche Intelligenz II
• Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
• Projekt zur Künstlichen Intelligenz
• Seminar Wissensrepräsentation und -verarbeitung