activity
20192022
most citedDescriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing cs.AIShow all

6 papers · 1 filter

cs.AI2022

Iterated Belief Change, Computationally

Kai Sauerwald, Christoph Beierle

Iterated Belief Change is the research area that investigates principles for the dynamics of beliefs over (possibly unlimited) many subsequent belief changes. In this paper, we dem…

cs.AI2022

A Conditional Perspective on the Logic of Iterated Belief Contraction

Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle

In this article, we consider iteration principles for contraction, with the goal of identifying properties for contractions that respect conditional beliefs. Therefore, we investig…

cs.AI2021

Forgetting Formulas and Signature Elements in Epistemic States

A. Becker, G. Kern-Isberner, K. Sauerwald +1

Delgrande's knowledge level account of forgetting provides a general approach to forgetting syntax elements from sets of formulas with links to many other forgetting operations, in…

cs.AI2021

On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope

Kai Sauerwald, Gabriele Kern-Isberner, Christoph Beierle

The research on non-prioritized revision studies revision operators which do not accept all new beliefs. In this paper, we contribute to this line of research by introducing the co…

cs.AI20201 cited

Descriptor Revision for Conditionals: Literal Descriptors and Conditional Preservation

Kai Sauerwald, Jonas Haldimann, Martin von Berg +1

Descriptor revision by Hansson is a framework for addressing the problem of belief change. In descriptor revision, different kinds of change processes are dealt with in a joint fra…

cs.AI2019

Decrement Operators in Belief Change

Kai Sauerwald, Christoph Beierle

While research on iterated revision is predominant in the field of iterated belief change, the class of iterated contraction operators received more attention in recent years. In t…