Dr. Kai Sauerwald

I am a postdoctoral researcher at the Artificial Intelligence Group chaired by Matthias Thimm of the FernUniversität in Hagen, Germany.

My general research area of interest is the logical foundations of artificial intelligence. During my PhD, I published mainly with a focus on knowledge representation and reasoning (KRR), specifically on the dynamics of knowledge and belief, forgetting, cognitive aspects of KRR and non-monotonic reasoning.

You can download a poster with an overview of complexity classes on github. If you are interested in obtaining a hard copy, send me an email with your name and postal address.