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

• 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