Dr. Kai Sauerwald
FernUniversität in Hagen, Germany Faculty of Mathematics and Computer Science Artificial Intelligence Group kai.sauerwald@fernuni-hagen.de 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 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.
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.