Propositional knowledge base revision and minimal change

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

Natural Sciences, Mathematics, Contract Theory +6

Nonmonotonic reasoning, preferential models and cumulative logics

Sarit Kraus, Daniel Lehmann, Menachem Magidor · Artificial Intelligence · 1990 · 1.7K citations

Humanities, Computer Science, Knowledge Representation +10

Two modellings for theory change

Adam J. Grove · Journal of Philosophical Logic · 1988 · 697 citations

Humanities, Mathematics, Behavior Change Theory +5

Knowledge in Flux: Modeling the Dynamics of Epistemic States.

Isaac Levi, Peter Gärdenfors · The Journal of Philosophy · 1991 · 573 citations

Humanities, Philosophy, Epistemology +11

Revisions of knowledge systems using epistemic entrenchment

Peter Gärdenfors, David Makinson · Theoretical Aspects of Rationality and Knowledge · 1988 · 448 citations

Computing, Computer Science, Epistemology +13