Picture for Kai Sauerwald

Kai Sauerwald

Credibility-Limited Revision for Epistemic Spaces

Add code
Sep 11, 2024
Viaarxiv icon

The Realizability of Revision and Contraction Operators in Epistemic Spaces

Add code
Jul 30, 2024
Viaarxiv icon

A Primer for Preferential Non-Monotonic Propositional Team Logics

Add code
May 11, 2024
Viaarxiv icon

Iterated Belief Change, Computationally

Add code
Feb 17, 2022
Figure 1 for Iterated Belief Change, Computationally
Viaarxiv icon

A Conditional Perspective on the Logic of Iterated Belief Contraction

Add code
Feb 04, 2022
Viaarxiv icon

Semantic Characterizations of General Belief Base Revision

Add code
Dec 27, 2021
Figure 1 for Semantic Characterizations of General Belief Base Revision
Figure 2 for Semantic Characterizations of General Belief Base Revision
Figure 3 for Semantic Characterizations of General Belief Base Revision
Figure 4 for Semantic Characterizations of General Belief Base Revision
Viaarxiv icon

Conditional Inference and Activation of Knowledge Entities in ACT-R

Add code
Oct 28, 2021
Figure 1 for Conditional Inference and Activation of Knowledge Entities in ACT-R
Figure 2 for Conditional Inference and Activation of Knowledge Entities in ACT-R
Figure 3 for Conditional Inference and Activation of Knowledge Entities in ACT-R
Figure 4 for Conditional Inference and Activation of Knowledge Entities in ACT-R
Viaarxiv icon

On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope

Add code
Aug 17, 2021
Figure 1 for On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope
Figure 2 for On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope
Viaarxiv icon

A General Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics

Add code
Apr 29, 2021
Viaarxiv icon

Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation

Add code
Jun 02, 2020
Figure 1 for Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation
Viaarxiv icon