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 areas of interest are logics and formal systems for artificial intelligence, specifically focusing on knowledge representation and reasoning (KRR). I have published 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.