Concepedia
Journal of Philosophical Logic · 1988 · 680 citations · 2 references
Theories Of ChangeModeling MethodModel TheoryModeling And SimulationTheory ChangeModel Transformation
2
On the logic of theory change: Partial meet contraction and revision functions
Carlos E. Alchourrón, Peter Gärdenfors, David Makinson · Journal of Symbolic Logic · 1985 · 3.2K citations
Engineering, Contraction Functions, Automated Reasoning +13
Belief Revisions and the Ramsey Test for Conditionals
Peter Gärdenfors · The Philosophical Review · 1986 · 234 citations
Engineering, Automated Reasoning, Belief Merging +6