A Decision Procedure for Probability Calculus with Applications

Review of Symbolic Logic

Volumn 1, Issue 1, 2008, Pages 111-125

  Fitelson, Branden ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84989162855     PISSN: 17550203     EISSN: 17550211     Source Type: Journal    
DOI: 10.1017/S1755020308080039     Document Type: Article

References (27)

1. Basu, S., Pollack, R., Roy, M. F. (1996). On the combinatorial and algebraic complexity of quantifier elimination. Journal of the ACM, 43, 1002-1045.
2. Brown, C. (2001a). Improved projection for cylindrical algebraic decomposition. Journal of Symbolic Computation, 32, 447-465.
3. Brown, C. (2001b). Simple CAD construction and its applications. Journal of Symbolic Computation, 31, 521-547.
4. Caviness, B., Johnson, J., editors. (1998). Quantifier Elimination and Cylindrical Algebraic Decomposition. Vienna: Springer-Verlag.
5. Collins, G. (1975). Quantifier elimination for real closed fields by cylindrical algebraic decomposition. Reprinted in Caviness and Johnson [1998], pp. 85-121.
6. Davenport, J. H., Heintz, J. (1988). Real quantifier elimination is doubly exponential. Journal of Symbolic Computation, 5, 29-35.
7. Feferman, A. B., Feferman, S. (2004). Alfred Tarski: Life and Logic. Cambridge: Cambridge University Press.
8. Feller, W. (1968). An Introduction to Probability Theory and Its Applications (third edition), vol. 1. New York: John Wiley & Sons Inc.
9. Fitelson, B. (1999). The plurality of Bayesian measures of confirmation and the problem of measure sensitivity. Philosophy of Science, 66, S362-S378. Available online from: http://fitelson.org/psa.pdf.
10. Fitelson, B. (2001a). A Bayesian account of independent evidence with applications. Philosophy of Science, 68, S123-S140. Available online from: http://fitelson.org/psa2.pdf.
11. Fitelson, B. (2001b). Studies in Bayesian confirmation theory. PhD Thesis, University of Wisconsin-Madison (Philosophy). Available online from: http://fitelson.org/thesis.pdf.
12. Fitelson, B., Hawthorne, J. (to appear). How Bayesian confirmation theory handles the paradox of the ravens. In Eells, E., Fetzer, J., editors, Probability in Science. Open Court. Available online from: http://fitelson.org/ravens.pdf.
13. Hong, H. (1990). An improvement of the projection operator in cylindrical algebraic decomposition. Reprinted in Caviness and Johnson [1998], pp. 166-173.
14. Hong, H. (1991). Comparison of Several Decision Algorithms for the Existential Theory of the Reals. Technical Report 91-41, Johannes Kepler University, Linz, Austria. Available online from: http://citeseer.ist.psu.edu/hong91comparison.html.
15. Hong, H. (1992). Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination. In Wang, P., editor (1992). ISSAC '92: Papers from the International Symposium on Symbolic and Algebraic Computation. New York: Association for Computing Machinery, pp. 177-188.
16. Hong, H. (2006). QEPCAD-Quantifier elimination by partial cylindrical algebraic decomposition. Computer ProgramWeb site. Available online from: http://www.cs.usna.edu/qepcad/.
17. Huntington, G. (to appear). Decision procedures for the pure existential fragment of the theory of real-closed fields. PhD Dissertation, Group in Logic and the Methodology of Science, UC-Berkeley.
18. Joyce, J. (2003). Bayes's Theorem. The Stanford Encyclopedia of Philosophy. Available online from: http://plato.stanford.edu/entries/bayes-theorem/.
19. Kolmogorov, A. (1956). Foundations of Probability (second edition). New York: AMS Chelsea.
20. McCallum, S. (1998). An improved projection operator for cylindrical algebraic decomposition. Reprinted in Caviness and Johnson [1998], pp. 242-268.
21. Paris, J. (1995). The Uncertain Reasoner's Companion: A Mathematical Perspective. Cambridge: Cambridge University Press.
22. Schuurmans, D., Southey, F. (2001). Local search characteristics of incomplete SAT procedures. Artificial Intelligence, 132, 121-150. Available online from: http://dx.doi.org/10.1016/S0004-3702(01)00151-5.
23. Sobel, J. H. (2006). Lotteries and Miracles. Manuscript, May 2006. Available online from: http://www.scar.utoronto.ca/sobel/OnL?T/BigLotteries.wpd.pdf.
24. Strzebonski, A. (2000a). Solving algebraic inequalities with version 4. The Mathematica Journal, 7, 525-541.
25. Strzebonski, A. (2000b). Solving systems of strict polynomial inequalities. Journal of Symbolic Computation, 29, 471-480.
26. Tarski, A. (1951). A Decision Method for Elementary Algebra and Geometry. Berkeley, CA: University of California Press.
27. Wolfram, S. (2003). The Mathematica Book, Version 5. Cambridge: Wolfram Research.