Dr. Kai Sauerwald

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 or on weekdays are possible upon request via email.

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

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.

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.