Confluence Operators (Q3532472): 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/978-3-540-87803-2_23
+Normal rank
@@ Property / OpenAlex ID @@
+W2912230447
@@ Property / OpenAlex ID: W2912230447 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Belief extrapolation (or how to reason about observations and unpredicted change)
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023583
@@ Property / cites work: Q4023583 / 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 @@
+Q4028812
@@ Property / cites work: Q4028812 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional knowledge base revision and minimal change
+Normal rank
@@ Property / cites work @@
+Belief base merging as a game
@@ Property / cites work: Belief base merging as a game / rank @@
+Normal rank
@@ Property / cites work @@
+\(\text{DA}^2\) merging operators
@@ Property / cites work: \(\text{DA}^2\) merging operators / rank @@
+Normal rank
@@ Property / cites work @@
+Merging Information Under Constraints: A Logical Framework
+Normal rank
@@ Property / cites work @@
+Q4896949
@@ Property / cites work: Q4896949 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Semantics of Arbitration
@@ Property / cites work: On the Semantics of Arbitration / rank @@
+Normal rank