Inter-definability of Horn contraction and Horn revision (Q2363417): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Minimal change: relevance and recovery revisited
@@ Property / cites work: Minimal change: relevance and recovery revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic belief revision operators
@@ Property / cites work: Dynamic belief revision operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093655
@@ Property / cites work: Q3093655 / rank @@
+Normal rank
@@ Property / cites work @@
+On the revision of probabilistic belief states
@@ Property / cites work: On the revision of probabilistic belief states / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of iterated belief revision
@@ Property / cites work: On the logic of iterated belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge compilation and theory approximation
@@ Property / cites work: Knowledge compilation and theory approximation / rank @@
+Normal rank
@@ Property / cites work @@
+An Axiomatic Characterization of Ensconcement-Based Contraction
+Normal rank
@@ Property / cites work @@
+Belief revision in Horn theories
@@ Property / cites work: Belief revision in Horn theories / rank @@
+Normal rank
@@ Property / cites work @@
+Two modellings for theory change
@@ Property / cites work: Two modellings for theory change / rank @@
+Normal rank
@@ Property / cites work @@
+Horn Clause Contraction Functions
@@ Property / cites work: Horn Clause Contraction Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of multiple contractions
@@ Property / cites work: A survey of multiple contractions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3495345
@@ Property / cites work: Q3495345 / rank @@
+Normal rank
@@ Property / cites work @@
+A textbook of belief dynamics. Theory change and database updating
+Normal rank
@@ Property / cites work @@
+Multiple and iterated contraction reduced to single-step single-sentence contraction
+Normal rank
@@ Property / cites work @@
+Propositional knowledge base revision and minimal change
+Normal rank
@@ Property / cites work @@
+Refined epistemic entrenchment
@@ Property / cites work: Refined epistemic entrenchment / rank @@
+Normal rank
@@ Property / cites work @@
+Horn Contraction via Epistemic Entrenchment
@@ Property / cites work: Horn Contraction via Epistemic Entrenchment / rank @@
+Normal rank
@@ Property / cites work @@
+Entrenchment-Based Horn Contraction
@@ Property / cites work: Entrenchment-Based Horn Contraction / rank @@
+Normal rank
@@ Property / cites work @@
+Inter-definability of Horn contraction and Horn revision
+Normal rank