Towards a logical belief function theory (Q901078): Difference between revisions

@@ Property / cites work @@
+Non-exclusive hypotheses in Dempster-Shafer theory
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556137
@@ Property / cites work: Q5556137 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4460673
@@ Property / cites work: Q4460673 / rank @@
+Normal rank
@@ Property / cites work @@
+Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory
+Normal rank
@@ Property / cites work @@
+A logic-based analysis of Dempster-Shafer theory
@@ Property / cites work: A logic-based analysis of Dempster-Shafer theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131415
@@ Property / cites work: Q4131415 / rank @@
+Normal rank
@@ Property / cites work @@
+Perspectives on the theory and practice of belief functions
+Normal rank