KWARC - Current Courses
menu
News
People
Former Members
Research
Formal Methods
Structural Semantics
Services, KM & Interaction
Semantization
Bibliography
Systems
Orphaned Systems
Historic Systems
Projects
Completed Projects
Courses & Theses
Overview (D)
Former Courses
Upcoming Courses
Thesis Topics & Projects
Completed Theses
Events
Hiring
Contact
The courses given by the KWARC group in the current semester: SS23
AI 1/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