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 …

Written by prominent experts in the field, this monograph provides the first comprehensive,
unified presentation of the structural, algorithmic and applied aspects of the theory of …

This is an introduction to multicast routing, which is the study of methods for routing from one
source to many destinations, or from many sources to many destinations. Multicast is …

This paper investigates belief revision where the underlying logic is that governing Horn
clauses. We show that classical (AGM) belief revision doesn't immediately generalise to the …

The standard (AGM) approach to belief change assumes that the underlying logic is at least
as strong as classical propositional logic. This paper investigates an account of belief …

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology
evolution) has grown significantly. Belief revision presents a good theoretical framework for …

The operation of contraction (referring to the removal of knowledge from a knowledge base)
has been extensively studied in the research field of belief change, and different postulates …

Belief revision has been extensively studied in the framework of propositional logic, but just
recently revision within fragments of propositional logic has gained attention. Hereby it is not …

In classical, AGM-style belief change, it is assumed that the underlying logic contains
classical propositional logic. This is clearly a limiting assumption, particularly in Artificial …

Several forms of iterable belief change exist, differing in the kind of change and its strength:
some operators introduce formulae, others remove them; some add formulae …