Dr. Kai Sauerwald

Module

• Einführung in die imperative Programmierung (Modul 63811, jedes Semester)
• Logik (Modul 64403, im Wintersemester)

Seminare

Ich biete regelmäßig Seminare an. Im Folgenden finden Sie einige Beispiele:

• Description Logics (SS 2026)
• Logics in AI (SS 2025)

Abschlussarbeitsthemen

Ich biete Abschlussarbeiten in den Themenkomplexen Formale Semantik, Logik und Wissensrepräsentation an, wobei es häufig einen Bezug zur Künstlichen Intelligenz gibt. Aktuelle Themenbereiche sind:

• Wissensdynamik
• Vergessen und Abduktion
• Anwendung von KI in den Naturwissenschaften
• Anwendung von Theorembeweisern
• Team-Semantik

Falls Sie eine eigene Idee für ein Thema haben oder eine Abschlussarbeit in Kooperation mit einem externen Betreuer schreiben möchten, sprechen Sie mich gerne auch an.

Abschlussarbeiten

• Bachelorarbeit: "Formalisierung und semi-maschinelles Beweisen des Standard-Repräsentationstheorems für kumulatives Schließen in Propositionaler Logik mit Coq", Jonathan Heinrich Walther, abgeschlossen, 2025
• Bachelorarbeit: "Steigerung der GPT-Leistung für Named Entity Recognition in öffentlichen Ausschreibungen durch gezielte Anpassung und Feinabstimmung von Prompts", Andy Schmidt, abgeschlossen, 2025
• Bachelorarbeit: "An Investigation of a Notion of „Variable Forgetting“ that Minimizes Truth Values", Christoph Kaplan, abgeschlossen, 2024
• Bachelor- oder Masterarbeit: "Machine Proofs for KR Theorems", Themenangebot
• Bachelorarbeit: "A Skeptical Notion of Variable Forgetting", in Bearbeitung
• Bachelorarbeit: "Eine Implementierung zur Konstruktion von linearen Ordnungserweiterungen aus Suzumura-konsistenten Relation", in Bearbeitung