Iterated contraction of propositions and conditionals under the principle of conditional preservation. - Gabriele Kern-Isberner; Tanja Bock; Kai Sauerwald; Christoph Beierle (GCAI, 2017)

Towards a Formal Foundation of Cognitive Architectures. - Marco Ragni; Kai Sauerwald; Tanja Bock; Gabriele Kern-Isberner; Paulina Friemann; Christoph Beierle (CogSci, 2018)

Compilation of Conditional Knowledge Bases for Computing C-Inference Relations. - Christoph Beierle; Steven Kutsch; Kai Sauerwald (FoIKS, 2018)

Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. - Christoph Beierle; Tanja Bock; Gabriele Kern-Isberner; Marco Ragni; Kai Sauerwald (KI, 2018)

Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. - Ingo J. Timm; Steffen Staab; Michael Siebers; Claudia Schon; Ute Schmid; Kai Sauerwald; Lukas Reuter 001; Marco Ragni; Claudia Niederée; Heiko Maus; Gabriele Kern-Isberner; Christian Jilek; et al. (KI, 2018)

Decrement Operators in Belief Change. - Kai Sauerwald; Christoph Beierle (ECSQARU, 2019)

Axiomatic Evaluation of Epistemic Forgetting Operators. - Gabriele Kern-Isberner; Tanja Bock; Christoph Beierle; Kai Sauerwald (FLAIRS, 2019)

WHIWAP: Checking Iterative Belief Changes. - Kai Sauerwald; Jonas Haldimann (DKB/KIK@KI, 2019)

Belief Change Properties of Forgetting Operations over Ranking Functions. - Gabriele Kern-Isberner; Tanja Bock; Kai Sauerwald; Christoph Beierle (PRICAI (1), 2019)

Modelling the dynamics of forgetting and remembering by a system of belief changes: student research abstract. - Kai Sauerwald (SAC, 2019)

Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. - Christoph Beierle; Steven Kutsch; Kai Sauerwald (Ann. Math. Artif. Intell., 2019)

Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management. - Christoph Beierle; Gabriele Kern-Isberner; Kai Sauerwald; Tanja Bock; Marco Ragni (Künstliche Intell., 2019)

Cognitive Logics - Features, Formalisms, and Challenges. - Marco Ragni; Gabriele Kern-Isberner; Christoph Beierle; Kai Sauerwald (ECAI, 2020)

A Conditional Perspective for Iterated Belief Contraction. - Kai Sauerwald; Gabriele Kern-Isberner; Christoph Beierle (ECAI, 2020)

Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. - Kai Sauerwald; Jonas Haldimann; Martin von Berg; Christoph Beierle (KI, 2020)

Conditional Descriptor Revision and Its Modelling by a CSP. - Jonas Haldimann; Kai Sauerwald; Martin von Berg; Gabriele Kern-Isberner; Christoph Beierle (JELIA, 2021)

A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report). - Faiq Miftakhul Falakh; Sebastian Rudolph; Kai Sauerwald (FCR@KI, 2021)

On Using Model Checking for the Certification of Iterated Belief Changes. - Kai Sauerwald; Philip Heltweg (FCR@KI, 2021)

A Brief Introduction Into Activation-Based Conditional Inference. - Marco Wilhelm; Diana Howey; Gabriele Kern-Isberner; Kai Sauerwald; Christoph Beierle (FCR@KI, 2021)

Towards a framework of hansson's descriptor revision for conditionals. - Jonas Haldimann; Kai Sauerwald; Martin von Berg; Gabriele Kern-Isberner; Christoph Beierle (SAC, 2021)

A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics. - Faiq Miftakhul Falakh; Sebastian Rudolph; Kai Sauerwald (CoRR, 2021)

On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope. - Kai Sauerwald; Gabriele Kern-Isberner; Christoph Beierle (CoRR, 2021)

Forgetting Formulas and Signature Elements in Epistemic States. - Alexander Becker; Gabriele Kern-Isberner; Kai Sauerwald; Christoph Beierle (CoRR, 2021)

Conditional Inference and Activation of Knowledge Entities in ACT-R. - Marco Wilhelm; Diana Howey; Gabriele Kern-Isberner; Kai Sauerwald; Christoph Beierle (CoRR, 2021)

Semantic Characterizations of General Belief Base Revision. - Faiq Miftakhul Falakh; Sebastian Rudolph; Kai Sauerwald (CoRR, 2021)

Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability - Kai Sauerwald (Semantics of Belief Change Operators for Intelligent Agents, 2022)

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 (FLAIRS, 2022)

An Implementation of Nonmonotonic Reasoning with System W. - Christoph Beierle; Jonas Haldimann; Daniel Kollár; Kai Sauerwald; Leon Schwarzer (KI, 2022)

Iterated Belief Change, Computationally. - Kai Sauerwald; Christoph Beierle (KR, 2022)

Semantic Characterizations of AGM Revision for Tarskian Logics. - Faiq Miftakhul Falakh; Sebastian Rudolph; Kai Sauerwald (RuleML+RR, 2022)

From Forgetting Signature Elements to Forgetting Formulas in Epistemic States. - Kai Sauerwald; Gabriele Kern-Isberner; Alexander Becker; Christoph Beierle (SUM, 2022)

A Conditional Perspective on the Logic of Iterated Belief Contraction. - Kai Sauerwald; Gabriele Kern-Isberner; Christoph Beierle (CoRR, 2022)

On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. - Eda Ismail-Tsaous; Kai Sauerwald; Marco Ragni; Gabriele Kern-Isberner; Christoph Beierle (ECSQARU, 2023)

Activation-based Conditional Inference. - Marco Wilhelm; Diana Howey; Gabriele Kern-Isberner; Kai Sauerwald; Christoph Beierle (FLAP, 2023)

Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. - Kai Sauerwald; Christoph Beierle; Gabriele Kern-Isberner (FoIKS, 2024)

A Report on Sequential KR-Approaches as Cognitive Logic. - Kai Sauerwald; Eda Ismail-Tsaous; Nina Thorwart (KoDis+CAKR+SYNERGY@KR, 2024)

The Realizability of Revision and Contraction Operators in Epistemic Spaces. - Kai Sauerwald; Matthias Thimm (KR, 2024)

A Hitting Set Approach to Inconsistent-Tolerant Reasoning. - Yehia Hatab; Kai Sauerwald; Matthias Thimm (NMR, 2024)

A First Peek into Preferential Logics with Team Semantics. - Kai Sauerwald; Juha Kontinen (NMR, 2024)

Credibility-Limited Revision for Epistemic Spaces. - Kai Sauerwald (SUM, 2024)

A Primer for Preferential Non-Monotonic Propositional Team Logics. - Kai Sauerwald; Juha Kontinen (CoRR, 2024)

Formal and cognitive reasoning. - Christoph Beierle; Marco Ragni; Kai Sauerwald; Frieder Stolzenburg; Matthias Thimm (Int. J. Approx. Reason., 2024)

Semantics of Belief Change Operators for Intelligent Agents. - Kai Sauerwald (Künstliche Intell., 2024)

Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback. - Kai Sauerwald; Kenneth Skiba; Eduardo Fermé; Thomas Meyer 002 (JELIA (2), 2025)

Sequential merging and construction of rankings as cognitive logic. - Kai Sauerwald; Eda Ismail-Tsaous; Marco Ragni; Gabriele Kern-Isberner; Christoph Beierle (Int. J. Approx. Reason., 2025)

On the Complexity and Properties of Preferential Propositional Dependence Logic. - Kai Sauerwald; Arne Meier; Juha Kontinen (CoRR, 2025)