default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKai Sauerwald
Person information
- affiliation (PhD 2022): University of Hagen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2022
[b1]Kai Sauerwald
:
Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability. University of Hagen, Germany, Diss. Artif. Intell. 352, IOS Press 2022, ISBN 978-3-89838-768-2
Journal Articles
- 2024
- [j5]Christoph Beierle, Marco Ragni, Kai Sauerwald, Frieder Stolzenburg, Matthias Thimm:
Formal and cognitive reasoning. Int. J. Approx. Reason. 174: 109270 (2024) - [j4]Kai Sauerwald:
Semantics of Belief Change Operators for Intelligent Agents. Künstliche Intell. 38(1): 89-93 (2024) - 2023
- [j3]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Activation-based Conditional Inference. FLAP 10(2): 221-247 (2023) - 2019
- [j2]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): 5-41 (2019) - [j1]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): 57-68 (2019)
Conference and Workshop Papers
- 2024
- [c25]Kai Sauerwald, Christoph Beierle, Gabriele Kern-Isberner:
Propositional Variable Forgetting and Marginalization: Semantically, Two Sides of the Same Coin. FoIKS 2024: 144-162 - 2023
- [c24]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: 224-238 - 2022
- [c23]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 - [c22]Christoph Beierle, Jonas Haldimann, Daniel Kollár, Kai Sauerwald, Leon Schwarzer:
An Implementation of Nonmonotonic Reasoning with System W. KI 2022: 1-8 - [c21]Kai Sauerwald, Christoph Beierle:
Iterated Belief Change, Computationally. KR 2022 - [c20]Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
Semantic Characterizations of AGM Revision for Tarskian Logics. RuleML+RR 2022: 95-110 - [c19]Kai Sauerwald, Gabriele Kern-Isberner, Alexander Becker, Christoph Beierle:
From Forgetting Signature Elements to Forgetting Formulas in Epistemic States. SUM 2022: 92-106 - 2021
- [c18]Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle:
Conditional Descriptor Revision and Its Modelling by a CSP. JELIA 2021: 35-49 - [c17]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
A Brief Introduction Into Activation-Based Conditional Inference. FCR@KI 2021: 4-8 - [c16]Kai Sauerwald, Philip Heltweg:
On Using Model Checking for the Certification of Iterated Belief Changes. FCR@KI 2021: 23-33 - [c15]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: 48-59 - [c14]Jonas Haldimann, Kai Sauerwald, Martin von Berg, Gabriele Kern-Isberner, Christoph Beierle:
Towards a framework of hansson's descriptor revision for conditionals. SAC 2021: 889-891 - 2020
- [c13]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
A Conditional Perspective for Iterated Belief Contraction. ECAI 2020: 889-896 - [c12]Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle, Kai Sauerwald:
Cognitive Logics - Features, Formalisms, and Challenges. ECAI 2020: 2931-2932 - [c11]Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle:
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. KI 2020: 204-218 - 2019
- [c10]Kai Sauerwald, Christoph Beierle:
Decrement Operators in Belief Change. ECSQARU 2019: 251-262 - [c9]Gabriele Kern-Isberner, Tanja Bock, Christoph Beierle, Kai Sauerwald:
Axiomatic Evaluation of Epistemic Forgetting Operators. FLAIRS 2019: 470-475 - [c8]Kai Sauerwald, Jonas Haldimann:
WHIWAP: Checking Iterative Belief Changes. DKB/KIK@KI 2019: 14-23 - [c7]Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle:
Belief Change Properties of Forgetting Operations over Ranking Functions. PRICAI (1) 2019: 459-472 - [c6]Kai Sauerwald:
Modelling the dynamics of forgetting and remembering by a system of belief changes: student research abstract. SAC 2019: 1168-1171 - 2018
- [c5]Marco Ragni, Kai Sauerwald, Tanja Bock, Gabriele Kern-Isberner, Paulina Friemann, Christoph Beierle:
Towards a Formal Foundation of Cognitive Architectures. CogSci 2018 - [c4]Christoph Beierle, Steven Kutsch, Kai Sauerwald:
Compilation of Conditional Knowledge Bases for Computing C-Inference Relations. FoIKS 2018: 34-54 - [c3]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: 357-365 - [c2]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: 366-373 - 2017
- [c1]Gabriele Kern-Isberner, Tanja Bock, Kai Sauerwald, Christoph Beierle:
Iterated contraction of propositions and conditionals under the principle of conditional preservation. GCAI 2017: 78-92
Editorship
- 2024
- [e5]Özgür Lütfü Özçep, Nele Rußwinkel, Kai Sauerwald, Diedrich Wolter:
Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence (KI 2024), Würzburg, Germany, September 23, 2024. CEUR Workshop Proceedings 3763, CEUR-WS.org 2024 [contents] - 2023
- [e4]Manuel Ojeda-Aciego, Kai Sauerwald, Robert Jäschke:
Graph-Based Representation and Reasoning - 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings. Lecture Notes in Computer Science 14133, Springer 2023, ISBN 978-3-031-40959-2 [contents] - [e3]Christoph Beierle, Kai Sauerwald, François Schwarzentruber, Frieder Stolzenburg:
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. CEUR Workshop Proceedings 3500, CEUR-WS.org 2023 [contents] - [e2]Kai Sauerwald, Matthias Thimm:
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. CEUR Workshop Proceedings 3464, CEUR-WS.org 2023 [contents] - 2022
- [e1]Christoph Beierle, Marco Ragni, Frieder Stolzenburg, Kai Sauerwald, Matthias Thimm:
Proceedings of the 8th Workshop on Formal and Cognitive Reasoning co-located with the 45th German Conference on Artificial Intelligence (KI 2022), Virtual Event, Trier, Germany, September 19, 2022. CEUR Workshop Proceedings 3242, CEUR-WS.org 2022 [contents]
Informal and Other Publications
- 2024
- [i13]Kai Sauerwald, Juha Kontinen:
A Primer for Preferential Non-Monotonic Propositional Team Logics. CoRR abs/2405.06973 (2024) - [i12]Kai Sauerwald, Matthias Thimm:
The Realizability of Revision and Contraction Operators in Epistemic Spaces. CoRR abs/2407.20918 (2024) - [i11]Kai Sauerwald:
Credibility-Limited Revision for Epistemic Spaces. CoRR abs/2409.07119 (2024) - 2022
- [i10]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
A Conditional Perspective on the Logic of Iterated Belief Contraction. CoRR abs/2202.03196 (2022) - [i9]Kai Sauerwald, Christoph Beierle:
Iterated Belief Change, Computationally. CoRR abs/2202.08856 (2022) - 2021
- [i8]Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics. CoRR abs/2104.14512 (2021) - [i7]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope. CoRR abs/2108.07769 (2021) - [i6]Alexander Becker, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Forgetting Formulas and Signature Elements in Epistemic States. CoRR abs/2108.08603 (2021) - [i5]Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner, Kai Sauerwald, Christoph Beierle:
Conditional Inference and Activation of Knowledge Entities in ACT-R. CoRR abs/2110.15214 (2021) - [i4]Faiq Miftakhul Falakh, Sebastian Rudolph, Kai Sauerwald:
Semantic Characterizations of General Belief Base Revision. CoRR abs/2112.13557 (2021) - 2020
- [i3]Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle:
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. CoRR abs/2006.01444 (2020) - 2019
- [i2]Kai Sauerwald, Christoph Beierle:
Decrement Operators in Belief Change. CoRR abs/1905.08347 (2019) - [i1]Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle:
A Conditional Perspective for Iterated Belief Contraction. CoRR abs/1911.08833 (2019)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-20 21:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
