Dr. Kai Sauerwald

Researcher and teacher at the FernUniversität in Hagen, Germany.

My general research area is formal semantics, mostly with application in the theoretical foundations of artificial intelligence. I publish mainly with a focus on knowledge representation and reasoning (KR), specifically on the dynamics of knowledge and belief, forgetting, cognitive aspects of KR and non-monotonic reasoning.

Publications: The following journal article has been accepted in ACM Transactions on Computational Logic (TOCL):

• Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
  AGM Belief Revision, Semantically. ACM Transactions on Computational Logic. 2025.
  Accepted for publication: https://dl.acm.org/doi/10.1145/3763234

Publications: Three papers have been recently accepted for publication at high-ranked conferences:

• Yehia Hatab, Kai Sauerwald, Matthias Thimm:
  A Framework for Inconsistency-tolerant Reasoning with Sets of Models. KR 2025.
• Kai Sauerwald, Arne Meier, Juha Kontinen:
  On the Complexity and Properties of Preferential Propositional Dependence Logic. KR 2025.
• Kai Sauerwald, Kenneth Skiba, Eduardo Fermé, and Thomas Meyer:
  Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback. JELIA 2025.

Organizational Activities: Recently, I have become the German Representative at the IFIP Technical Committee 12 (Artificial Intelligence).

Conference Organization 2025: I am involved in the organization of several scientific events:

• PC co-chair of the workshop on Foundations and Future of Change in Artificial Intelligence (FCAI 2025), which will be co-located with ECAI 2025. Visit the FCAI 2025 webpage for more information.
• PC co-chair and local co-chair of ECSQARU 2025. Visit the ECSQARU 2025 for more information.
• Doctoral consortium co-chair of KR 2025. Visit the KR 2025 webpage for more information.
• Publicity co-chair of Declarative AI 2025, which includes RuleML+RR 2025. Visit the Declarative 2025 webpage for more information.

Invited Talk: At the Advanced Seminar at the Institute for Theoretical Computer Science at the University of Hannover. Thanks to Prof. Heribert Vollmer and Prof. Arne Meier for inviting me!

Conference Organization: The organization of the special track on Uncertain Reasoning (UR) at FLAIRS-37 was a great success. Two of the track papers were nominated for the best student paper award (from which one won the best student paper award), and one paper was nominated for the best paper award. Visit the UR@FLAIRS-37 webpage for more information.