A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS

DOI10.1017/S1755020308080039zbMath1202.03022MaRDI QIDQ3580663

Branden Fitelson

Publication date: 13 August 2010

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

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)

Related Items (7)

TRANSITIVITY AND INTRANSITIVITY IN EVIDENTIAL SUPPORT: SOME FURTHER RESULTS ⋮ FURTHER RESULTS ON THE INTRANSITIVITY OF EVIDENTIAL SUPPORT ⋮ Contrastive confirmation: some competing accounts ⋮ Is there a place in Bayesian confirmation theory for the reverse Matthew effect? ⋮ Competing accounts of contrastive coherence ⋮ Probabilistic measures of coherence: from adequacy constraints towards pluralism ⋮ PrSAT

Uses Software

• Mathematica
• QEPCAD

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Real quantifier elimination is doubly exponential
• Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
• Solving systems of strict polynomial inequalities
• How Bayesian Confirmation Theory Handles the Paradox of the Ravens
• The Uncertain Reasoner's Companion
• On the combinatorial and algebraic complexity of quantifier elimination
• Simple CAD construction and its applications
• Improved projection for cylindrical algebraic decomposition
• Local search characteristics of incomplete SAT procedures

This page was built for publication: A DECISION PROCEDURE FOR PROBABILITY CALCULUS WITH APPLICATIONS