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

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