An anytime deduction algorithm for the probabilistic logic and entailment problems (Q962834): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ijar.2008.03.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2111570599
@@ Property / OpenAlex ID: W2111570599 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+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 @@
+Axiomatization of frequent itemsets
@@ Property / cites work: Axiomatization of frequent itemsets / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfying constraints on databases of transactions
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged
+Normal rank
@@ Property / cites work @@
+Probabilistic satisfiability
@@ Property / cites work: Probabilistic satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Column Generation Methods for Probabilistic Logic
@@ Property / cites work: Column Generation Methods for Probabilistic Logic / 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 @@
+Q4242057
@@ Property / cites work: Q4242057 / rank @@
+Normal rank
@@ Property / cites work @@
+Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
+Normal rank
@@ Property / cites work @@
+Boole's conditions of possible experience and reasoning under uncertainty
+Normal rank
@@ Property / cites work @@
+Best Possible Inequalities for the Probability of a Logical Function of Events
+Normal rank
@@ Property / cites work @@
+Q5630824
@@ Property / cites work: Q5630824 / rank @@
+Normal rank
@@ Property / cites work @@
+Branch-and-Price: Column Generation for Solving Huge Integer Programs
+Normal rank
@@ Property / cites work @@
+Q4254875
@@ Property / cites work: Q4254875 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear programming approach to reasoning about probabilities
+Normal rank