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 are the 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.

Invited Talk: At the Logic Seminar in Luxembourg. Download the talk on Restricted Choice for Reasoning and Change here. Thanks to Leon van der Torre for inviting me.

Publications: Two papers have been recently accepted for publication at well-established conferences:

• Sebastian Rudolph, Kai Sauerwald:
  Mutual Irreducibility of Revision and Multiple Revision. FoIKS 2026.
• Juha Kontinen, Arne Meier, Kai Sauerwald:
  Representation Theorems for Cumulative Propositional Dependence Logics. KR 2026.

Workshops: Three papers have been recently accepted for presentation at highly reputable workshops:

• Lydia Blümel, Kai Sauerwald, Kenneth Skiba, Matthias Thimm:
  On the Complexity of the Discussion-based Semantics in Abstract Argumentation. NMR 2026.
• Kai Sauerwald, Juha Kontinen, Arne Meier:
  On the Complexity of Entailment for Cumulative Propositional Dependence Logics. LCC 2026.
• Tanya Braun, Marcel Gehrke, Kai Sauerwald, Jan Speller:
  Variable Elimination for Forgetting in Probabilistic Graphical Models - A Work in Progress. MoST 2026.

Invited Talk: At the Helsinki Logic Seminar. Download the talk on New Results on Preferential Reasoning here. Thanks to Juha Kontinen for inviting me.

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

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.

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.