Courses in the winter semester 2022/2023 Formal Argumentation and Artificial Intelligence (2/2/0) CMS-LM-ADV , CMS-LM-AI , INF-BAS2 , INF-PM-FOR , MCL-KR , MCL-PI Knowledge Representation and Reasoning Seminar (0/2/0) CMS-LM-ADV , CMS-LM-AI , CMS-SEM , INF-04-HS , INF-AQUA , INF-D-940 , MCL-PS