Dynamic belief revision operators

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

Nonmonotonic reasoning, preferential models and cumulative logics

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

Non-classical Logic, Automated Reasoning, Nonmonotonic Logic +3

Two modellings for theory change

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

Theories Of Change, Modeling Method, Model Theory +3

On the logic of iterated belief revision

Adnan Darwiche, Judea Pearl · Artificial Intelligence · 1997 · 641 citations

Engineering, Dynamic Epistemic Logic, Automated Reasoning +4

Knowledge in Flux: Modeling the Dynamics of Epistemic States.

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

Knowledge Representation, Cognitive Science, Dynamic Epistemic Logic +5