Kai Sauerwald

According to our database, Kai Sauerwald authored at least 35 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin.

Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

Activation-based Conditional Inference.

Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle

FLAP, 2023

On the Cognitive Logic of Human Propositional Reasoning: Merging Ranking Functions.

Eda Ismail-Tsaous, Kai Sauerwald, Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2023

2022

A Conditional Perspective on the Logic of Iterated Belief Contraction.

Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle

CoRR, 2022

From Forgetting Signature Elements to Forgetting Formulas in Epistemic States.

Kai Sauerwald, Gabriele Kern-Isberner, Alexander Becker, Christoph Beierle

Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022

Semantic Characterizations of AGM Revision for Tarskian Logics.

Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald

Proceedings of the Rules and Reasoning, 2022

Iterated Belief Change, Computationally.

Kai Sauerwald, Christoph Beierle

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

An Implementation of Nonmonotonic Reasoning with System W.

Christoph Beierle, Jonas Haldimann, Daniel Kollár, Kai Sauerwald, Leon Schwarzer

Proceedings of the KI 2022: Advances in Artificial Intelligence, 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

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

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

Kai Sauerwald

Diss. Artif. Intell. 352, IOS Press, ISBN: 978-1-64368-325-6, 2022

2021

Semantic Characterizations of General Belief Base Revision.

Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald

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

Forgetting Formulas and Signature Elements in Epistemic States.

Alexander Becker, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle

CoRR, 2021

On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope.

Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle

CoRR, 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

Towards a framework of hansson's descriptor revision for conditionals.

Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

A Brief Introduction Into Activation-Based Conditional Inference.

Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle

Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021

On Using Model Checking for the Certification of Iterated Belief Changes.

Kai Sauerwald, Philip Heltweg

Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021

A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report).

Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald

Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021

Conditional Descriptor Revision and Its Modelling by a CSP.

Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

2020

Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation.

Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle

Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

A Conditional Perspective for Iterated Belief Contraction.

Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Cognitive Logics - Features, Formalisms, and Challenges.

Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

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

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

Modelling the dynamics of forgetting and remembering by a system of belief changes: student research abstract.

Kai Sauerwald

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Belief Change Properties of Forgetting Operations over Ranking Functions.

Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

WHIWAP: Checking Iterative Belief Changes.

Kai Sauerwald, Jonas Haldimann

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), 2019

Axiomatic Evaluation of Epistemic Forgetting Operators.

Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald

Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

Decrement Operators in Belief Change.

Kai Sauerwald, Christoph Beierle

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

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, 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

Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management.

Christoph Beierle, Tanja Bock, Gabriele Kern-Isberner, Marco Ragni, Kai Sauerwald

Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Compilation of Conditional Knowledge Bases for Computing C-Inference Relations.

Christoph Beierle, Steven Kutsch, Kai Sauerwald

Proceedings of the Foundations of Information and Knowledge Systems, 2018

Towards a Formal Foundation of Cognitive Architectures.

Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

2017

Iterated contraction of propositions and conditionals under the principle of conditional preservation.

Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle

Proceedings of the GCAI 2017, 2017