Lehrveranstaltungen

Kurse

Sommersemester 2022

• Kurs 01845 „Methoden der Wissensrepräsentation und -verarbeitung“

Seminare

Sommersemester 2022

• Seminar Künstliche Intelligenz: Satisfiability Solving (01954)

Wintersemester 2021/2022

• Seminar Künstliche Intelligenz: Formale Argumentation (01954)

Fachpraktika

Sommersemester 2022

• Fachpraktikum Künstliche Intelligenz: Multiagentenprogammierung (01522)

Wintersemester 2021/2022

• Fachpraktikum Künstliche Intelligenz: Approximatives Argumentatives Schlussfolgern (01522)