Lehrveranstaltungen im Sommersemester 2022
Answer Set Programming (2/2/0 SWS)
- INF-B-510, INF-B-520
- INF-D-520
Human Reasoning and the Weak Completion Semantics II (4/2/0 SWS)
- INF-PM-FOR, INF-VERT2, INF-E-3
- MCL-AI, MCL-KR, MCL-PI
- CMS-LM-AI, CMS-LM-ADV
Seminar Knowledge Representation and Reasoning (0/2/0 SWS)
- INF-AQUA, INF-04-HS
- INF-D-940
- MCL-PS
KRR Reading Class (2/2/0 SWS)
- INF-PM-FOR, INF-VERT2
- MCL-KR, MCL-PI, MCL-AI