Dr. Kai Sauerwald

Tenured researcher and teacher at the FernUniversität in Hagen, Germany, and strongly associated with the Artificial Intelligence Group.

My general research interest is formal semantics, with a focus on applications to the theoretical foundations of artificial intelligence. I publish mainly on knowledge representation and reasoning (KR), specifically on the dynamics of knowledge and belief, forgetting, cognitive aspects of KR 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.