9 citations · 20 across the 14 of their papers we have counts for
14 papers
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
Christoph Beierle, Alexander Hahn, Diana Howey +2
Forgetting as a knowledge management operation deliberately ignores parts of the knowledge and beliefs of an agent, for various reasons. Forgetting has many facets, one may want to…
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…