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