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.

DIS	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, ...

MWV

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

DIS

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.