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

• AI Research Project
• AI-2 Systems Project
• Artificial Intelligence II
• Informatische Werkzeuge in den Geistes- und Sozialwissenschaften IWGS-II
• Logic-Based Representation of Mathematical/Technical Knowledge
• Seminar Wissensrepräsentation und -verarbeitung