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 (complexity poster)

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.

Recent News

Invited Talk: In the Helsinki Logic Seminar series. Thanks to Prof. Juha Kontinen for inviting me!

Conference Organization: I will be (PC and local) co-chair of ECSQARU 2025. Visit the ECSQARU 2025 webpage for more information.