2 citations · 4 across the 11 of their papers we have counts for
4 papers · 1 filter
Model Transformations for Ranking Functions and Total Preorders
Jonas Haldimann, Christoph Beierle
In the field of knowledge representation, the considered epistemic states are often based on propositional interpretations, also called worlds. E.g., epistemic states of agents can…
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…
Inference with System W Satisfies Syntax Splitting
Jonas Haldimann, Christoph Beierle
In this paper, we investigate inductive inference with system W from conditional belief bases with respect to syntax splitting. The concept of syntax splitting for inductive infere…
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…