Pages that link to "Item:Q1087535"
From MaRDI portal
The following pages link to Boole's logic and probability. A critical exposition from the standpoint of contemporary algebra, logic and probability theory. 2nd ed., rev. and enlarged (Q1087535):
Displaying 37 items.
- Generalizing inference rules in a coherence-based probabilistic default reasoning (Q432972) (← links)
- An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version) (Q507545) (← links)
- Optimization and probabilistic satisfiability on nested and co-nested formulas (Q646722) (← links)
- Probabilistic logic under coherence: complexity and algorithms (Q819942) (← links)
- Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation (Q881802) (← links)
- The objective and the subjective in mid-nineteenth-century British probability theory (Q891755) (← links)
- Probabilistic satisfiability: algorithms with the presence and absence of a phase transition (Q905995) (← links)
- An anytime deduction algorithm for the probabilistic logic and entailment problems (Q962834) (← links)
- Correlation polytopes: Their geometry and complexity (Q1176573) (← links)
- Characterizing consistency in probabilistic logic for a class of Horn clauses (Q1340063) (← links)
- Fuzzy refutations for probability and multivalued logics (Q1344254) (← links)
- Resolution and the integrality of satisfiability problems (Q1352293) (← links)
- Probabilistic satisfiability with imprecise probabilities (Q1605686) (← links)
- Kurt Weichselberger's contribution to imprecise probabilities and statistical inference (Q1644901) (← links)
- Coherence of de Finetti coherence (Q1708897) (← links)
- Probability logic and optimization SAT: The PSAT and CPA models (Q1777404) (← links)
- Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs (Q1815824) (← links)
- Direct algorithms for checking consistency and making inferences from conditional probability assessments (Q1888857) (← links)
- Boole's conditions of possible experience and reasoning under uncertainty (Q1894361) (← links)
- Best second order bounds for two-terminal network reliability with dependent edge failures (Q1961463) (← links)
- Deciding Koopman's qualitative probability (Q2238703) (← links)
- Merging the local and global approaches to probabilistic satisfiability (Q2270380) (← links)
- Expressive probabilistic description logics (Q2389639) (← links)
- Inconsistency-tolerant reasoning over linear probabilistic knowledge bases (Q2411265) (← links)
- The differential of probabilistic entailment (Q2662693) (← links)
- The Development of Logic as Reflected in the Fate of the Syllogism 1600–1900 (Q2757996) (← links)
- Quantitative Logic Reasoning (Q3305344) (← links)
- De Morgan in the Prehistory of Statistical Hypothesis Testing (Q3592408) (← links)
- John Venn's Hypothetical Infinite Frequentism and Logic (Q4983366) (← links)
- Probabilized Sequent Calculus and Natural Deduction System for Classical Logic (Q5024718) (← links)
- Roots and (Re)sources of Value (In)definiteness Versus Contextuality (Q5119677) (← links)
- A Tacit Assumption Behind Lewis Triviality That Is Not Applicable to Product Space Conditional Event Algebra (Q5126375) (← links)
- Multisets, heaps, bags, families: What is a multiset? (Q5220185) (← links)
- The correspondence between george boole and stanley jevons, 1863–1864 (Q5752535) (← links)
- Quantum geometry of Boolean algebras and de Morgan duality (Q6039636) (← links)
- Syntactic reasoning with conditional probabilities in deductive argumentation (Q6108761) (← links)
- <i>LINGUA CHARACTERICA</i> AND <i>CALCULUS RATIOCINATOR</i>: THE LEIBNIZIAN BACKGROUND OF THE FREGE-SCHRÖDER POLEMIC (Q6153158) (← links)
