Automatic derivation of probabilistic inference rules (Q5952206): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3069694
@@ Property / cites work: Q3069694 / rank @@
+Normal rank
@@ Property / cites work @@
+XII. On the theory of probabilities
@@ Property / cites work: XII. On the theory of probabilities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000280
@@ Property / cites work: Q4000280 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about probabilities
@@ Property / cites work: A logic for reasoning about probabilities / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime deduction for probabilistic logic
@@ Property / cites work: Anytime deduction for probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023676
@@ Property / cites work: Q4023676 / rank @@
+Normal rank
@@ Property / cites work @@
+Best Possible Inequalities for the Probability of a Logical Function of Events
+Normal rank
@@ Property / cites work @@
+Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory
+Normal rank
@@ Property / cites work @@
+Q4368723
@@ Property / cites work: Q4368723 / rank @@
+Normal rank
@@ Property / cites work @@
+Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994497
@@ Property / cites work: Q3994497 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0888-613x(01)00044-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1969856983
@@ Property / OpenAlex ID: W1969856983 / rank @@
+Normal rank