a picture of Kai

Dr. Kai Sauerwald

FernUniversität in Hagen, Germany
Faculty of Mathematics and Computer Science
Artificial Intelligence Group
ORCID 0000-0002-1551-7016
Profiles: dblp scholar researchgate

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.

Complexity Poster

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.