Kai Sauerwald

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 40

Top Topics

Revision Operators

Nonmonotonic Inference

Cognitive Architectures

Top Venues

Publications

Kai Sauerwald, Juha Kontinen
A Primer for Preferential Non-Monotonic Propositional Team Logics. CoRR (2024)
Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner
Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. FoIKS (2024)
Kai Sauerwald, Matthias Thimm
The Realizability of Revision and Contraction Operators in Epistemic Spaces. CoRR (2024)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Activation-based Conditional Inference. FLAP 10 (2) (2023)
Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle
On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions. ECSQARU (2023)
Christoph Beierle, Jonas Haldimann, Daniel Kollár, Kai Sauerwald, Leon Schwarzer
An Implementation of Nonmonotonic Reasoning with System W. KI (2022)
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
A Conditional Perspective on the Logic of Iterated Belief Contraction. CoRR (2022)
Kai Sauerwald, Christoph Beierle
Iterated Belief Change, Computationally. CoRR (2022)
Kai Sauerwald, Christoph Beierle
Iterated Belief Change, Computationally. KR (2022)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Integrating Cognitive Principles From ACT-R Into Probabilistic Conditional Reasoning by Taking the Example of Maximum Entropy Reasoning. FLAIRS (2022)
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Semantic Characterizations of AGM Revision for Tarskian Logics. RuleML+RR (2022)
Kai Sauerwald, Gabriele Kern-Isberner, Alexander Becker, Christoph Beierle
From Forgetting Signature Elements to Forgetting Formulas in Epistemic States. SUM (2022)
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope. CoRR (2021)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Conditional Inference and Activation of Knowledge Entities in ACT-R. CoRR (2021)
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics. CoRR (2021)
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
Semantic Characterizations of General Belief Base Revision. CoRR (2021)
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
A Brief Introduction Into Activation-Based Conditional Inference. FCR@KI (2021)
Kai Sauerwald, Philip Heltweg
On Using Model Checking for the Certification of Iterated Belief Changes. FCR@KI (2021)
Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald
A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report). FCR@KI (2021)
Alexander Becker, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle
Forgetting Formulas and Signature Elements in Epistemic States. CoRR (2021)
Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
Towards a framework of hansson's descriptor revision for conditionals. SAC (2021)
Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle
Conditional Descriptor Revision and Its Modelling by a CSP. JELIA (2021)
Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. CoRR (2020)
Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald
Cognitive Logics - Features, Formalisms, and Challenges. ECAI (2020)
Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. KI (2020)
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
A Conditional Perspective for Iterated Belief Contraction. ECAI (2020)
Kai Sauerwald, Jonas Haldimann
WHIWAP: Checking Iterative Belief Changes. DKB/KIK@KI (2019)
Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle
A Conditional Perspective for Iterated Belief Contraction. CoRR (2019)
Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald
Axiomatic Evaluation of Epistemic Forgetting Operators. FLAIRS Conference (2019)
Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle
Belief Change Properties of Forgetting Operations over Ranking Functions. PRICAI (1) (2019)
Christoph Beierle, Steven Kutsch, Kai Sauerwald
Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Ann. Math. Artif. Intell. 87 (1-2) (2019)
Kai Sauerwald, Christoph Beierle
Decrement Operators in Belief Change. CoRR (2019)
Kai Sauerwald, Christoph Beierle
Decrement Operators in Belief Change. ECSQARU (2019)
Kai Sauerwald
Modelling the dynamics of forgetting and remembering by a system of belief changes: student research abstract. SAC (2019)
Christoph Beierle, Gabriele Kern-Isberner, Kai Sauerwald, Tanja Bock, Marco Ragni
Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management. Künstliche Intell. 33 (1) (2019)
Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle
Towards a Formal Foundation of Cognitive Architectures. CogSci (2018)
Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald
Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management. KI (2018)
Christoph Beierle, Steven Kutsch, Kai Sauerwald
Compilation of Conditional Knowledge Bases for Computing C-Inference Relations. FoIKS (2018)
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, Christoph Beierle
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI (2018)
Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle
Iterated contraction of propositions and conditionals under the principle of conditional preservation. GCAI (2017)