A decision procedure for probability calculus with applications

DOI10.1017/S1755020308080039zbMATH Open1202.03022MaRDI QIDQ3580663FDOQ3580663

Authors: Branden Fitelson 

Publication date: 13 August 2010

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 988760
• Decision procedures for theories of sets with measures
• A logic for reasoning about probabilities
• Probabilistic satisfiability
• Computational aspects of probability logics

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Decidability of theories and sets of sentences (03B25) Axioms; other general questions in probability (60A05)

Cites Work

• Title not available (Why is that?)
• Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
• Solving systems of strict polynomial inequalities
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Uncertain Reasoner's Companion
• Title not available (Why is that?)
• Improved projection for cylindrical algebraic decomposition
• On the combinatorial and algebraic complexity of quantifier elimination
• Real quantifier elimination is doubly exponential
• Title not available (Why is that?)
• Title not available (Why is that?)
• Simple CAD construction and its applications
• How Bayesian confirmation theory handles the paradox of the ravens
• Local search characteristics of incomplete SAT procedures
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• A decision procedure for von Wright's OBS-calculus
• Is there a place in Bayesian confirmation theory for the reverse Matthew effect?
• The Inductive Applications of Probability Calculus
• Transitivity and intransitivity in evidential support: some further results
• Contrastive confirmation: some competing accounts
• Further results on the intransitivity of evidential support
• Algorithms and Applications for the Same-Decision Probability
• FUNCTIONAL PEARL Functional satisfaction
• PrSAT
• The EfProb library for probabilistic calculations
• Competing accounts of contrastive coherence
• Probabilistic measures of coherence: from adequacy constraints towards pluralism

Uses Software

• Mathematica
• QEPCAD

This page was built for publication: A decision procedure for probability calculus with applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3580663)