Journal of Logic and Computation · 2008 · 34 citations · 24 references
Natural SciencesComputer ScienceMathematicsKnowledge RepresentationLogicSet TheoryAxiomatic Set TheoryDeductive ReasoningPredicate LogicBelief FunctionsBelief NetworksContraction MappingsContraction PrincipleContraction Properties
In this article, we propose an axiomatic characterization for ensconcement-based contraction functions, belief base functions proposed by Williams. We relate this function with other kinds of base contraction functions.
24
Two modellings for theory change
Adam J. Grove · Journal of Philosophical Logic · 1988 · 697 citations
Theory contraction through base contraction
Andr� Fuhrmann · Journal of Philosophical Logic · 1991 · 226 citations