a picture of Kai

Dr. Kai Sauerwald

FernUniversität in Hagen, Germany
Faculty of Mathematics and Computer Science
Artificial Intelligence Group
kai.sauerwald@fernuni-hagen.de
ORCID 0000-0002-1551-7016
Profiles: dblp scholar researchgate

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.

Publications

For an overview of my publications, please visit also my dblp profile.

[1] Kai Sauerwald, Christoph Beierle, and Gabriele Kern-Isberner. Propositional variable forgetting and marginalization: Semantically, two sides of the same coin. In Arne Meier and Magdalena Ortiz, editors, Proceedings of the 13th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2024), volume 14589 of LNCS, pages 144--162. Springer, 2024.
[2] Manuel Ojeda-Aciego, Kai Sauerwald, and Robert Jäschke, editors. Graph-Based Representation and Reasoning - 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings, volume 14133 of LNCS. Springer, 2023.
[3] Kai Sauerwald and Matthias Thimm, editors. Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023, volume 3464 of CEUR Workshop Proceedings. CEUR-WS.org, 2023.
[4] Christoph Beierle, Kai Sauerwald, François Schwarzentruber, and Frieder Stolzenburg, editors. Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023), Berlin, Germany, September 26, 2023, volume 3500 of CEUR Workshop Proceedings. CEUR-WS.org, 2023.
[5] Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, and Christoph Beierle. On the cognitive logic of human propositional reasoning: Merging ranking functions. In Zied Bouraoui and Srdjan Vesic, editors, Proceedings of the 17th European Conferenc on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), volume 14294 of LNCS, pages 224--238. Springer, 2023.
[6] Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, and Christoph Beierle. Activation-based conditional inference. Journal of Applied Logics, 10(2):221--247, 2023.
[7] Faiq Miftakhul Falakh, Sebastian Rudolph, and Kai Sauerwald. Semantic characterizations of AGM revision for tarskian logics. In Guido Governatori and Anni-Yasmin Turhan, editors, Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022), volume 13752 of LNCS, pages 95--110. Springer, 2022.
[8] Kai Sauerwald and Christoph Beierle. Iterated Belief Change, Computationally. In Gabriele Kern-Isberner, Gerhard Lakemeyer, and Thomas Meyer, editors, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), pages 410--414, 2022.
[9] Christoph Beierle, Jonas Haldimann, Daniel Kollár, Kai Sauerwald, and Leon Schwarzer. An implementation of nonmonotonic reasoning with system W. In Ralph Bergmann, Lukas Malburg, Stephanie C. Rodermund, and Ingo J. Timm, editors, Proceedings of the 45th German Conference Advances in Artificial Intelligence (KI 2022), volume 13404 of LNCS, pages 1--8. Springer, 2022.
[10] Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, and Christoph Beierle. Integrating cognitive principles from ACT-R into probabilistic conditional reasoning by taking the example of maximum entropy reasoning. In Roman Bartak, Fazel Keshtkar, and Michael Franklin, editors, Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2022), 2022.
[11] Kai Sauerwald, Gabriele Kern-Isberner, Alexander Becker, and Christoph Beierle. From forgetting signature elements to forgetting formulas in epistemic states. In Florence Dupin de Saint-Cyr, Meltem Öztürk-Escoffier, and Nico Potyka, editors, Proceedings of the 15th International Conference on Scalable Uncertainty Management (SUM 2022), volume 13562 of LNCS, pages 92--106. Springer, 2022.
[12] Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, and Matthias Thimm, editors. Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), volume 3242 of CEUR Workshop Proceedings. CEUR-WS.org, 2022.
[13] Kai Sauerwald. Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability, volume 352 of Dissertations in Artificial Intelligence. IOS Press, 2022.
[14] 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 Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, editors, Proceedings of the 7th Workshop on Formal and Cognitive Reasoning (FCR-2021) co-located with the 44th German Conference on Artificial Intelligence (KI 2021), volume 2961 of CEUR Workshop Proceedings, pages 48--59. CEUR-WS.org, 2021.
[15] Kai Sauerwald and Philip Heltweg. On using model checking for the certification of iterated belief changes. In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, editors, Proceedings of the 7th Workshop on Formal and Cognitive Reasoning (FCR-2021) co-located with the 44th German Conference on Artificial Intelligence (KI 2021), volume 2961 of CEUR Workshop Proceedings, pages 23--33. CEUR-WS.org, 2021.
[16] Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, and Christoph Beierle. A brief introduction into activation-based conditional inference. In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, editors, Proceedings of the 7th Workshop on Formal and Cognitive Reasoning (FCR-2021) co-located with the 44th German Conference on Artificial Intelligence (KI 2021), volume 2961 of CEUR Workshop Proceedings, pages 4--8. CEUR-WS.org, 2021.
[17] Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, and Christoph Beierle. Conditional descriptor revision and its modelling by a CSP. In Wolfgang Faber, Gerhard Friedrich, Martin Gebser, and Michael Morak, editors, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Virtual Event, May 17-20, 2021, Proceedings, volume 12678 of LNCS, pages 35--49. Springer, 2021.
[18] Joans Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, and Beierle. Towards a framework of Hansson’s descriptor revision for conditionals. In Chih-Cheng Hung, Jiman Hong, Alessio Bechini, and Eunjee Song, editors, Proceedings of the 36th ACM/SIGAPP Symposium on Applied Computing (SAC '21), pages 889--891. ACM, 2021.
[19] 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, Proceedings of the 19th International Workshop on Non-Monotonic Reasoning (NMR 2021) co-located with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), volume 2961 of CEUR Workshop Proceedings, pages 23--33. CEUR-WS.org, 2021.
[20] Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, and Kai Sauerwald. Cognitive logics - features, formalisms, and challenges. In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarin, and Jérome Lang, editors, Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), volume 325 of Frontiers in Artificial Intelligence and Applications, pages 2931--2932. IOS Press, 2020.
[21] Kai Sauerwald, Gabriele Kern-Isberner, and Christoph Beierle. A conditional perspective for iterated belief contraction. In Giuseppe De Giacomo, Alejandro Catalá, Bistra Dilkina, Michela Milano, Senén Barro, Alberto Bugarin, and Jerome Lang, editors, Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), volume 325 of Frontiers in Artificial Intelligence and Applications, pages 889--896. IOS Press, 2020.
[22] Kai Sauerwald, Jonas Haldimann, Martin von Berg, and Christoph Beierle. Descriptor revision for conditionals: Literal descriptors and conditional preservation. In Ute Schmid, Franziska Klügl, and Diedrich Wolter, editors, Proceedings of the 43rd German Conference on AI (KI 2020), volume 12325 of LNCS, pages 204--218. Springer, 2020.
[23] 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.
[24] 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.
[25] Kai Sauerwald and Christoph Beierle. Decrement operators in belief change. In Gabriele Kern-Isberner and Zoran Ognjanovic, editors, Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019), Proceedings, volume 11726 of LNCS, pages 251--262. Springer, 2019.
[26] Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, and Kai Sauerwald. Axiomatic evaluation of epistemic forgetting operators. In Roman Barták and Keith W. Brawner, editors, Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference (FLAIRS 32), pages 470--475. AAAI Press, 2019.
[27] Kai Sauerwald and Jonas Haldimann. WHIWAP: checking iterative belief changes. In Christoph Beierle, Marco Ragni, Frieder Stolzenburg, and Matthias Thimm, editors, 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), volume 2445 of CEUR Workshop Proceedings, pages 14--23. CEUR-WS.org, 2019.
[28] Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, and Christoph Beierle. Belief change properties of forgetting operations over ranking functions. In Abhaya C. Nayak and Alok Sharma, editors, Proceedings of the 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2019), volume 11670 of LNCS, pages 459--472. Springer, 2019.
[29] Kai Sauerwald. Modelling the dynamics of forgetting and remembering by a system of belief changes: student research abstract. In Chih-Cheng Hung and George A. Papadopoulos, editors, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (SAC 2019), pages 1168--1171. ACM, 2019.
[30] Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, and Christoph Beierle. Towards a formal foundation of cognitive architectures. In Chuck Kalish, Martina A. Rau, Xiaojin (Jerry) Zhu, and Timothy T. Rogers, editors, Proceedings of the 40th Annual Meeting of the Cognitive Science Society (CogSci 2018). cognitivesciencesociety.org, 2018.
[31] Christoph Beierle, Steven Kutsch, and Kai Sauerwald. Compilation of conditional knowledge bases for computing c-inference relations. In Flavio Ferrarotti and Stefan Woltran, editors, Proceedings of the Foundations of Information and Knowledge Systems (FoIKS 2018), volume 10833 of LNCS, pages 34--54. Springer, 2018.
[32] 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 Frank Trollmann and Anni-Yasmin Turhan, editors, Proceedings of the 41st German Conference on AI (KI 2018), volume 11117 of LNCS, pages 366--373. Springer, 2018.
[33] 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 Frank Trollmann and Anni-Yasmin Turhan, editors, Proceedings of the 41st German Conference on AI (KI 2018), volume 11117 of LNCS, pages 357--365. Springer, 2018.
[34] Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, and Christoph Beierle. Iterated contraction of propositions and conditionals under the principle of conditional preservation. In Christoph Benzmüller, Christine L. Lisetti, and Martin Theobald, editors, Proceedings of the 3rd Global Conference on Artificial Intelligence (GCAI 2017), volume 50 of EPiC Series in Computing, pages 78--92. EasyChair, 2017.