Stop the war!Остановите войну!
for scientists:
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
2020 – today
- 2022
[b1]Kai Sauerwald
:
Semantics of Belief Change Operators for Intelligent Agents: Iteration, Postulates, and Realizability. University of Hagen, Germany, Dissertations in Artificial Intelligence 352, IOS Press 2022, ISBN 978-3-89838-768-2- [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 - [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] - [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
- [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 - [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
- [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 - [i3]Kai Sauerwald, Jonas Haldimann, Martin von Berg, Christoph Beierle:
Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation. CoRR abs/2006.01444 (2020)
2010 – 2019
- 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) - [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 - [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) - 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
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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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 2023-05-18 22:30 CEST 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:
