Dr. Kai Sauerwald

Kai Sauerwald Photo: Privat

Email: kai.sauerwald

Phone: +49 2331 987-4298

Office Hours (via Zoom): Friday 14:00-16:00 (please contact before by mail)

Curriculum vitae

Education

2022

Dr. rer. nat. (PhD) in computer science (FernUniversität in Hagen)

Thesis: Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability

2017

M. Sc. in computer science (TU Dortmund University)

Thesis: Analysis and Synthesis of Regular Expressions: Algorithms and Complexity

2014

B. Sc. in computer science (TU Dortmund University)

Thesis: Visibly Pushdown Automata: VPA with Output

Academic Positions

since 2022 Scientific Employee, FernUniversität in Hagen, Artifical Intelligence Group (Prof. Matthias Thimm)
2017 - 2020 Scientific Employee, FernUniversität in Hagen, Knowledge Based Systems (Prof. Christoph Beierle)

Membership of scientific societies

since 2018 Society for Computer Science (GI)

Honors and awards

ECAI 2020 : Distinguished Paper Award

24th European Conference on Artificial Intelligence (ECAI 2020) For the publication A Conditional Perspective for Iterated Belief Contraction. Together with Gabriele Kern-Isberner and Christoph Beierle

Best scientific work of the year 2021

Awarded by the Faculty of Mathematics and Computer Science, FernUniversität in Hagen

Publications

  • Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, and Christoph Beierle. A brief introduction into activation-based conditional inference. In Proceedings of the 7th Workshop on Formal and Cognitive Reasoning (FCR-2021) co-located with the 44th German Conference on Artificial Intelligence (KI 2021), pages 4–8, 2021.
  • Kai Sauerwald, Philip Heltweg, and Christoph Beierle. Certification of iterated belief changes via model checking and its implementation. In Leila Amgoud and Richard Booth, editors, 19th International Workshop on Non-Monotonic Reasoning (NMR 2021), Hanoi, Vietnam, November 2-5, 2021, Proceedings, 2021. (forthcoming).
  • Kai Sauerwald and Philip Heltweg. On using model checking for the certification of iterated belief changes. In Proceedings of the 7th Workshop on Formal and Cognitive Reasoning (FCR-2021) co-located with the 44th German Conference on Artificial Intelligence (KI 2021), pages 23–33, 2021.
  • Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, and Christoph Beierl. Conditional descriptor revision and its implementation by a CSP. In Proceedings of the 17th Edition of the European Conference on Logics in Artificial Intelligence (JELIA 2021), 2021.
  • Joans Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, and Beierle. Towards a framework of Hansson’s descriptor revision for conditionals. In Proceedings of the 36th ACM/SIGAPP Symposium on Applied Computing (SAC ’21), 2021.
  • Faiq Miftakhul Falakh, Sebastian Rudolph, and Kai Sauerwald. A katsuno-mendelzon-style characterization of AGM belief base revision for arbitrary monotonic logics (preliminary report). In Proceedings of the 7th Workshop on Formal and Cognitive Reasoning (FCR-2021) co-located with the 44th German Conference on Artificial Intelligence (KI 2021), pages 48–59, 2021.
  • Kai Sauerwald, Gabriele Kern-Isberner, and Christoph Beierle. A conditional perspective for iterated belief contraction. In Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), pages 889–896, 2020.
  • Kai Sauerwald, Jonas Haldimann, Martin von Berg, and Christoph Beierle. Descriptor revision for conditionals: Literal descriptors and conditional preservation. In Proceedings of the 43rd German Conference on AI (KI 2020), pages 204–218, 2020.
  • Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, and Kai Sauerwald. Cognitive logics - features, formalisms, and challenges. In Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), pages 2931–2932, 2020.
  • Kai Sauerwald and Jonas Haldimann. WHIWAP: checking iterative belief changes. In Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), pages 14–23, 2019.
  • Kai Sauerwald and Christoph Beierle. Decrement operators in belief change. In Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019), Proceedings, pages 251–262, 2019.
  • Kai Sauerwald. Modelling the dynamics of forgetting and remembering by a system of belief changes: student research abstract. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC 2019), pages 1168–1171, 2019.
  • Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, and Christoph Beierle. Belief change properties of forgetting operations over ranking functions. In Proceedings of the 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2019), pages 459–472, 2019.
  • Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, and Kai Sauerwald. Axiomatic eval- uation of epistemic forgetting operators. In Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference (FLAIRS 32), pages 470–475, 2019.
  • Christoph Beierle, Steven Kutsch, and Kai Sauerwald. Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Ann. Math. Artif. Intell., 87(1-2):5–41, 2019.
  • Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock, and Marco Ragni. Towards a general framework for kinds of forgetting in common-sense belief management. Künstliche Intelligenz, 33(1):57–68, 2019.
  • Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niederée, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, and Christoph Beierle. Intentional forgetting in artificial intelligence systems: Perspectives and challenges. In Proceedings of the 41st German Conference on AI (KI 2018), pages 357–365, 2018.
  • Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, and Christoph Beierle. Towards a formal foundation of cognitive architectures. In Proceedings of the 40th Annual Meeting of the Cognitive Science Society (CogSci 2018), 2018.
  • Christoph Beierle, Steven Kutsch, and Kai Sauerwald. Compilation of conditional knowledge bases for computing c-inference relations. In Proceedings of the Foundations of Information and Knowledge Systems (FoIKS 2018), pages 34–54, 2018.
  • Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, and Kai Sauerwald. Kinds and aspects of forgetting in common-sense knowledge and belief management. In Proceedings of the 41st German Conference on AI (KI 2018), pages 366–373, 2018.
  • Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, and Christoph Beierle. Iterated contraction of propositions and conditionals under the principle of conditional preservation. In Proceedings of the 3rd Global Conference on Artificial Intelligence (GCAI 2017), pages 78–92, 2017.
27.04.2023