Courses in Winter Semester 2020/2021
- Denken als Berechnung [cancelled]
- Human Reasoning and the Weak Completion Semantics (CMS-LM-ADV, CMS-LM-AI, INF-E-3, INF-PM-FOR, INF-VERT2, MCL-AI, MCL-KR, MCL-PI)
- Logic and Science of Computational Logic Repetition (MCL-F)
- Introduction to Formal Argumentation (CMS-LM-AI, CMS-LM-ADV, MCL-KR, MCL-PI, EMCL-A-KR und INF-AQUA, INF-BAS2, INF-PM-FOR)
- Knowledge Representation and Reasoning Seminar: Argumentation (CMS-LM-ADV, CMS-LM-AI, CMS-SEM, INF-04-HS, INF-AQUA, INF-D-940, MCL-PS)