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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-016-9401-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2384611872
@@ Property / OpenAlex ID: W2384611872 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62045643
@@ Property / Wikidata QID: Q62045643 / rank @@
+Normal rank
@@ 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
@@ Property / DBLP publication ID @@
+journals/jphil/ZhuangPZ17
@@ Property / DBLP publication ID: journals/jphil/ZhuangPZ17 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2363417