2 citations · 4 across the 10 of their papers we have counts for
10 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…
Conditional Inference and Activation of Knowledge Entities in ACT-R
Marco Wilhelm, Diana Howey, Gabriele Kern-Isberner +2
Activation-based conditional inference applies conditional reasoning to ACT-R, a cognitive architecture developed to formalize human reasoning. The idea of activation-based conditi…
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…