Dr. Kai Sauerwald

English version below.
Vom 20.12.2025 bis zum 12.01.2026 gibt es keine offene Sprechstunde. In dringen Fällen, schreiben Sie mir bitte eine E-Mail.

An Freitagen biete ich regelmäsig eine offene Sprechstunde im Zeitraum 14:00-15:00 via Zoom an. Sie können einfach folgenden Link https://e.feu.de/sauerwald nutzen um am Meeting teilzunehmen. Idealerweise schreiben Sie mir im Vorfeld eine E-Mail, dann kann ich mich auf Ihr anliegen vorbereiten. Termine ausserhalb der Sprechstunde sind auch möglich. Schreiben Sie mir dafür eine E-Mail.

There will be no consultation hours between December 20, 2025, and January 12, 2026. Please write me an email for an individual appointment.

I offer a consultation hour on most Fridays from 14:00-15:00 via Zoom. You can join the meeting at https://e.feu.de/sauerwald. At best, write me an email if you want to have a meeting during that time. Meetings at other times are possible upon request via email.

A list of open bachelor and masters topics can be found here: AIG webpage. I am also open for topics not on the list. If you have a specific idea for a topic, please contact me via mail.

When writing an academic text, please have a look at our guide on writing: guide download.

Course	Einführung in die imperative Programmierung (English: Introduction to Imperative Programming) Topics: variables, data types, functions, loops, invariantes, pointer, recursion, lists, trees, typing
Seminar	Description Logics Topics: different variants of description logics, techniques, classical and new results, and tools

Course

Logik (English: Logic) Topics: propositional logic (including resolution and DLPP), predicate logic (including resolution, description logic, second order), modal logics (including LTL, CTL, epistemic logic), intutionistic logic, fuzzy logic, paraconsistent logic, default logic, ASP

Course	Methoden der Wissenspräsentation und -verarbeitung (English: Knowledge Representation and Reasoning) Topics: propositional and predicate logics, probability and information theory, resolution, actions and planning, truth maintenance-systems, default logics, probabilistic networks, Dempster–Shafer theory, fuzzy-logics
Course	Einführung in Maschinelles Lernen (English: Introduction to Machine Learning) Topics: mathematical foundations, k-means, hierarchical clustering, Bayes classification, decision trees, SVM, reinforcement-learning, CNNs, RNNs, transformer, PAC learning.
Seminar	Approaches to Handling Inconsistency in Knowledge Representation and Reasoning Topic: inconsistency, repair, reasoning under inconsistency, and paraconsistency in the context of knowledge representation and their associated approaches like belief change, argumentation and temporal logics.

Course	Deduktions- und Inferenzsysteme (English: Deduction Systems and Inference Systems) Topics: propositional and predicate logics, Herband semantics, logic calculi, resolution, tableau methods, equational unification, paramodulation, term-rewriting systems, logic programming, non-monotonic reasoning, probabilistic reasoning
Seminar	Logics in Artifical Intelligence Topics: Autoepistemic Logic, Logics of Awareness, Logic Programming, Equilibrium Logic, Modal Logic, Dynamic Epistemic Logic, Team Logics, Belnaps Logic, ...

Course

Methoden der Wissenspräsentation und -verarbeitung (English: Knowledge Representation and Reasoning) Topics: propositional and predicate logics, probability and information theory, resolution, actions and planning, truth maintenance-systems, default logics, probabilistic networks, Dempster–Shafer theory, fuzzy-logics

Course

Deduktions- und Inferenzsysteme (English: Deduction Systems and Inference Systems) Topics: propositional and predicate logics, Herband semantics, logic calculi, resolution, tableau methods, equational unification, paramodulation, term-rewriting systems, logic programming, non-monotonic reasoning, probabilistic reasoning

Currently, this page lists only some recent teaching activities. Please consult my Curriculum Vitae for a more complete overview.