Belief Merging within Fragments of Propositional Logic (Q5277921): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Fusion: General concepts and characteristics
@@ Property / cites work: Fusion: General concepts and characteristics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093655
@@ Property / cites work: Q3093655 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4236368
@@ Property / cites work: Q4236368 / rank @@
+Normal rank
@@ Property / cites work @@
+Belief revision within fragments of propositional logic
+Normal rank
@@ Property / cites work @@
+Q5282977
@@ Property / cites work: Q5282977 / rank @@
+Normal rank
@@ Property / cites work @@
+Belief revision in Horn theories
@@ Property / cites work: Belief revision in Horn theories / rank @@
+Normal rank
@@ Property / cites work @@
+A Model-Theoretic Approach to Belief Change in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Horn Clause Contraction Functions
@@ Property / cites work: Horn Clause Contraction Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional knowledge base revision and minimal change
+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 @@
+Logic based merging
@@ Property / cites work: Logic based merging / rank @@
+Normal rank
@@ Property / cites work @@
+On the Semantics of Arbitration
@@ Property / cites work: On the Semantics of Arbitration / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Prime implicates and relevant belief revision
@@ Property / cites work: Prime implicates and relevant belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Inter-definability of Horn contraction and Horn revision
+Normal rank