Probability logic

Studies in Logic and Practical Reasoning

Volumn 1, Issue C, 2002, Pages 397-424

  Williamson, Jon ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77956658817     PISSN: 15702464     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S1570-2464(02)80011-8     Document Type: Article

References (66)

1. Ernest W. Adams, A Primer of Probability Logic, Stanford: CSLI Publications
2. Billingsley P. Probability and Measure. third edition (1995), John Wiley & Sons
3. George Boole. An Investigation of the Laws of Thought on which are Founded the Mathematical Theories of Logic and Probabilities, London: Walton and Maberly
4. Boole G. Sketch of a Theory and Method of Probabilities Founded upon the Calculus of Logic. Studies in Logic and Probability (1952), Watts & Co 141-166
5. Boole G. On a General Method in the Theory of Probabilities. Studies in Logic and Probability (1952), Watts & Co 291-307
6. Alan^Bundy, A survey of automated deduction, Edinburgh Artificial Intelligence Research Paper, 950
7. Alan Bundy. A critique of proof planning, in [Kakas and Sadri, 2000].
8. Rudolf Carnap, Logical Foundations of Probability, Routledge and Kegan Paul Ltd.
9. Corfield D. Bayesianism in mathematics [Corfield and Williamson, 2000]. In: Corfield D., and Williamson J. (Eds). Foundations of Bayesianism (2001), Kluwer Academic Publishers
10. In: Corfield D., and Williamson J. (Eds). Foundations of Bayesianism (2001), Kluwer Academic Publishers
11. James Cussens. Loglinear models for first-order probabilistic reasoning Proceedings of the 15th Annual Conference on Uncertainty in Artificial Intelligence, Morgan Kaufmann 126-133
12. James Cussens, Stochastic logic programs: sampling, inference and applications Proceedings of the 16th Annual Conference on Uncertainty in Artificial Intelligence Morgan Kaufmann, 115-122
13. J.E. Fenstad. Representations of probabilities defined on first order languages John N. Crossley (ed.) Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, 156-172
14. Field H.H. Logic, meaning and conceptual role. Journal of Philosophy 74 (1977) 379-409
15. de Finetti B. Foresight. Its logical laws, its subjective sources [Kyburg and Smokler, 1964]. In: Kyburg H.E., and Smokler H.E. (Eds). Studies in Subjective Probability (1964), John Wiley, New York 93-158
16. de Finetti B. Theory of probability (1974), Wiley
17. Gaifman H. Concerning measures in first order calculi. Israel Journal of Mathematics 2 (1964) 1-18
18. Garside G.R., and Rhodes P.C. Computing marginal probabilities in causal multiway trees given incomplete information. Knowledge-Based Systems 9 (1996) 315-327
19. Garside G.R., Rhodes P.C., and Holmes D.E. The efficient estimation of missing information in causal inverted multiway trees. Knowledge-Based Systems 12 (1999) 101-111
20. Grünwald P. Maximum entropy and the glasses you are looking through. Proceedings of the 16th conference of Uncertainty in Artificial Intelligence. Stanford (2000)
21. Halpern J.Y. An analysis of first-order logics of probability. Artificial Intelligence 46 (1990) 311-350
22. Hempel C.G. Studies in the logic of confirmation. Aspects of Scientific Explanation and Other Essays in the Philosophy of Science (1965-1970), The Free Press, New York 3-51
23. Howson C. Theories of probability. British Journal for the Philosophy of Science 46 (1995) 1-32
24. Howson C. The logical basis of uncertainty [Corfield and Williamson, 2000]. In: Corfield D., and Williamson J. (Eds). Foundations of Bayesianism (2001), Kluwer Academic Publishers
25. Jaynes E. Prior probabilities. IEEE Transactions Systems Science and Cybernetics, SSC-4 227 3 (1968)
26. Jaynes E.T. Probability theory as logic. In: Fougere P.F. (Ed). Maximum Entropy and Bayesian Methods (1990), Kluwer
27. Jaynes E.T. Probability theory: the logic of science. http://bayes.wustl.edu/etj/prob.html.
28. Jeffreys H. Scientific Inference. second edition (1957), Cambridge University Press, Cambridge
29. Jeffreys H. Theory of Probability. third edition (1961), Clarendon Press, Oxford
30. A. Kakas and F. Sadri. Essays in Honour of Robert Kowalski, to appear.
31. Karp C.R. Languages with Expressions of Infinite Length (1964), North-Holland
32. Keynes J.M. A Treatise on Probability (1948), Macmillan, London
33. Kolmogorov A.N. The Foundations of the Theory of Probability (1950), Chelsea Publishing Company, New York
34. In: Kyburg H.E., and Smokler H.E. (Eds). Studies in Subjective Probability (1964), John Wiley, New York
35. Simon-Marquis de Laplace P. A Philosophical Essay on Probabilities (1951), Dover, New York
36. Lewis D.K. A subjectivist's guide to objective chance [Lewis, 1986]. Philosophical Papers Volume II (1980), Oxford University Press, New York 83-132
37. Lewis D.K. Philosophical Papers Volume II (1986), Oxford University Press, New York
38. Loś J. Remarks on the foundations of probability. Proceedings of the 1962 International Congress of Mathematicians (1963) 225-229
39. L{middle dot}ukasiewicz J. Logical foundations of probability theory. In: Borkowski L. (Ed). Jan L{middle dot}ukasiewicz Selected Works (1970), North-Holland, Amsterdam 16-63
40. Mellor D.H. The Matter of Chance (1971), Cambridge University Press, Cambridge
41. Mendelson E. Introduction to Mathematical Logic. fourth edition (1997), Chapman and Hall
42. von Mises R. Probability, Statistics and Truth. 2nd edition (1957), Allen and Unwin
43. von Mises R. Mathematical Theory of Probability and Statistics (1964), Academic Press
44. Muggleton S. Stochastic logic programs. In: De Raedt L. (Ed). Advances in Inductive Logic Programming (1995), IOS Press
45. Neapolitan R.E. Probabilistic Reasoning in Expert Systems: Theory and Algorithms (1990), Wiley, New York
46. Neapolitan R.E. A limiting frequency approach to probability based on the weak law of large numbers. Philosophy of Science 59 (1992) 389-407
47. Nilsson N.J. Probabilistic logic. Artificial Intelligence 28 (1986) 71-87
48. Nilsson U., and Maluszyński J. Logic, Programming and Prolog. second edition (1995), John Wiley andSons, Chichester
49. Paris J. The Uncertain Reasoner's Companion (1994), Cambridge University Press, Cambridge
50. Paris J. Common sense and maximum entropy. Synthese 117 (1999) 73-93
51. Paris J., and Vencovská A. In defense of the maximum entropy inference process. International Journal of Automated Reasoning 17 (1997) 77-103
52. Pearl J. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (1988), Morgan Kaufmann, San Mateo, California
53. Peirce C.S. Notes on the doctrine of chances. Collected papers Vol 2 (1932), Harvard University Press 404
54. von Plato J. Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective (1994), Cambridge University Press, Cambridge
55. Poole D. Logic programming, abduction and probability. Proceedings, International Conference on Fifth Generation Computer Systems 1992 vol 2 (1992) 530
56. Popper K.R. The Logic of Scientific Discovery (1974), Hutchinson, London
57. Revised. Popper K.R. Objective Knowledge: An Evolutionary Approach (1979), Oxford University Press, Oxford
58. Popper K.R. Realism and the Aim of Science (1983), Hutchinson
59. Ramsey F.P. Truth and probability [Kyburg and Smokler, 1964]. In: Kyburg H.E., and Smokler H.E. (Eds). Studies in Subjective Probability (1926), John Wiley, New York 61-92
60. Roeper P., and Leblanc H. Probability Theory and Probability Logic (1999), University of Toronto Press
61. Scott D., and Kraus P. Assigning probabilities to logical formulas. In: Hintikka J., and Suppes P. (Eds). Aspects of Inductive Logic (1966), North-Holland, Amsterdam 219-264
62. Williamson J. Countable additivity and subjective probability. British Journal for the Philosophy of Science 50 3 (1999) 401-416
63. Williamson J. The actual frequency interpretation of probability, philosophy.ai report pai_jw_99_b. http://www.kcl.ac.uk/philosophy.ai
64. Williamson J. Logical omniscience and rational belief, philosophy.ai report pai_jw_99_e. http://www.kcl.ac.uk/philosophy.ai
65. Williamson J. Foundations for Bayesian networks [Corfield and Williamson, 2000]. In: Corfield D., and Williamson J. (Eds). Foundations of Bayesianism (2000), Kluwer Academic Publishers
66. Wilmers G.M., Hill M.J., and Paris J.B. Some observations on induction in predicate probabilistic reasoning (1999), Department of Mathematics, Manchester University