| 2026 | KR | Representation Theorems for Cumulative Propositional Dependence Logics. | Juha Kontinen, Arne Meier, Kai Sauerwald |
| 2025 | JELIA | Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback. | Kai Sauerwald, Kenneth Skiba, Eduardo Ferm, Thomas Meyer |
| 2025 | KR | A Framework for Inconsistency-tolerant Reasoning with Sets of Models. | Yehia Hatab, Kai Sauerwald, Matthias Thimm |
| 2025 | KR | On the Complexity and Properties of Preferential Propositional Dependence Logic. | Kai Sauerwald, Arne Meier, Juha Kontinen |
| 2024 | KR | The Realizability of Revision and Contraction Operators in Epistemic Spaces. | Kai Sauerwald, Matthias Thimm |
| 2023 | ECSQARU | On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. | Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle |
| 2022 | FlAIRS | Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning. | Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle |
| 2022 | KI | An Implementation of Nonmonotonic Reasoning with System W. | Christoph Beierle, Jonas Haldimann, Daniel Kollr, Kai Sauerwald, Leon Schwarzer |
| 2022 | KR | Iterated Belief Change, Computationally. | Kai Sauerwald, Christoph Beierle |
| 2021 | JELIA | Conditional Descriptor Revision and Its Modelling by a CSP. | Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle |
| 2021 | KI | A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report). | Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald |
| 2021 | KI | On Using Model Checking for the Certification of Iterated Belief Changes. | Kai Sauerwald, Philip Heltweg |
| 2021 | KI | A Brief Introduction Into Activation-Based Conditional Inference. | Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle |
| 2021 | SAC | Towards a framework of hansson's descriptor revision for conditionals. | Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle |
| 2020 | ECAI | Cognitive Logics - Features, Formalisms, and Challenges. | Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald |
| 2020 | ECAI | A Conditional Perspective for Iterated Belief Contraction. | Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle |
| 2020 | KI | Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. | Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle |
| 2019 | ECSQARU | Decrement Operators in Belief Change. | Kai Sauerwald, Christoph Beierle |
| 2019 | FlAIRS | Axiomatic Evaluation of Epistemic Forgetting Operators. | Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald |
| 2019 | KI | WHIWAP: Checking Iterative Belief Changes. | Kai Sauerwald, Jonas Haldimann |
| 2019 | PRICAI | Belief Change Properties of Forgetting Operations over Ranking Functions. | Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle |
| 2019 | SAC | Modelling the dynamics of forgetting and remembering by a system of belief changes: student research abstract. | Kai Sauerwald |
| 2018 | CogSci | Towards a Formal Foundation of Cognitive Architectures. | Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle |
| 2018 | KI | Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. | Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald |
| 2018 | KI | Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. | Ingo J. Timm, Steffen Staab, Michael Siebers, Claudia Schon, Ute Schmid, Kai Sauerwald, Lukas Reuter, Marco Ragni, Claudia Niedere, Heiko Maus, Gabriele Kern-Isberner, Christian Jilek, Paulina Friemann, Thomas Eiter, Andreas Dengel, Hannah Dames, Tanja Bock, Jan Ole Berndt, Christoph Beierle |