Abstract The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David
Makinson (AGM),“On the Logic of Theory Change: Partial Meet Contraction and Revision …

Belief change (belief revision) is a research area in formal philosophy that makes use of
logic to produce models of how human and artificial agents change their beliefs in response …

Belief revision is the process of changing beliefs to adapt the epistemic state of an agent to a
new piece of information. The logical formalization of belief revision is a topic of research in …

In this article we explore multiple change operators, ie, operators in which the epistemic
input is a set of sentences instead of a single sentence. We propose two types of change …

In this article, the epistemic-entrenchment and partial-meet characterizations of Parikh's
relevance-sensitive axiom for belief revision, known as axiom (P), are provided. In short …

Revision of a description logic-based ontology deals with the problem of incorporating newly
received information consistently. In this paper, we propose a general operator for revising …

Updating a knowledge base to remove an unwanted consequence is a challenging task.
Some of the original sentences must be either deleted or weakened in such a way that the …

Restoring consistency of a knowledge base, known as consolidation, should preserve as
much information as possible of the original knowledge base. On the one hand, the field of …

Standard belief change assumes an underlying logic containing full classical propositional
logic. However, there are good reasons for considering belief change in less expressive …

We propose a revision operator on a stratified belief base, ie, a belief base that stores beliefs
in different strata corresponding to the value an agent assigns to these beliefs. Furthermore …