-
1
-
-
0346201713
-
Decidability and expressiveness for first-order logics of probability
-
Abadi M., Halpern J.Y. Decidability and expressiveness for first-order logics of probability. Information and Computation 1994, 112(1):1-36.
-
(1994)
Information and Computation
, vol.112
, Issue.1
, pp. 1-36
-
-
Abadi, M.1
Halpern, J.Y.2
-
2
-
-
27544432818
-
An answer to Hellman's question: 'Does category theory provide a framework for mathematical structuralism?'
-
Awodey S. An answer to Hellman's question: 'Does category theory provide a framework for mathematical structuralism?'. Philosophia Mathematica 2004, 12(3):54-64.
-
(2004)
Philosophia Mathematica
, vol.12
, Issue.3
, pp. 54-64
-
-
Awodey, S.1
-
3
-
-
0042107603
-
Objective Bayesian methods for model selection: introduction and comparison
-
Institute of Mathematical Statistics Lecture Notes, Beachwood, Ohio, P. Lahiri (Ed.)
-
Berger J.O., Pericchi L.R. Objective Bayesian methods for model selection: introduction and comparison. Model Selection, volume 38 of Monograph Series 2001, 135-207. Institute of Mathematical Statistics Lecture Notes, Beachwood, Ohio. P. Lahiri (Ed.).
-
(2001)
Model Selection, volume 38 of Monograph Series
, pp. 135-207
-
-
Berger, J.O.1
Pericchi, L.R.2
-
4
-
-
0004175011
-
-
The Johns Hopkins University Press, Baltimore, 2006 edition. Trans. Edith Dudley Sylla.
-
Bernoulli J. Ars Conjectandi 1713, The Johns Hopkins University Press, Baltimore, 2006 edition. Trans. Edith Dudley Sylla.
-
(1713)
Ars Conjectandi
-
-
Bernoulli, J.1
-
5
-
-
0004302610
-
-
John Wiley and Sons, New York, third (1995) edition
-
Billingsley P. Probability and measure 1979, John Wiley and Sons, New York, third (1995) edition.
-
(1979)
Probability and measure
-
-
Billingsley, P.1
-
7
-
-
0042681209
-
A basic system of inductive logic part 1
-
University of California Press, Berkeley CA, R. Carnap, R.C. Jeffrey (Eds.)
-
Carnap R. A basic system of inductive logic part 1. Studies in inductive logic and probability 1971, volume 1:33-165. University of California Press, Berkeley CA. R. Carnap, R.C. Jeffrey (Eds.).
-
(1971)
Studies in inductive logic and probability
, vol.1
, pp. 33-165
-
-
Carnap, R.1
-
8
-
-
0000954072
-
An unsolvable problem of elementary number theory
-
Church A. An unsolvable problem of elementary number theory. American Journal of Mathematics 1936, 58:345-363.
-
(1936)
American Journal of Mathematics
, vol.58
, pp. 345-363
-
-
Church, A.1
-
10
-
-
0003320783
-
Foresight, its logical laws, its subjective sources
-
Robert E. Krieger Publishing Company, Huntington, New York, second (1980) edition, H.E. Kyburg, H.E. Smokier (Eds.)
-
de Finetti B. Foresight, its logical laws, its subjective sources. Studies in subjective probability 1937, 53-118. Robert E. Krieger Publishing Company, Huntington, New York, second (1980) edition. H.E. Kyburg, H.E. Smokier (Eds.).
-
(1937)
Studies in subjective probability
, pp. 53-118
-
-
de Finetti, B.1
-
12
-
-
0003516147
-
-
Cambridge University Press, Cambridge
-
Durbin R., Eddy S., Krogh A., Mitchison G. Biological sequence analysis: probabilistic models of proteins and nucleic acids 1999, Cambridge University Press, Cambridge.
-
(1999)
Biological sequence analysis: probabilistic models of proteins and nucleic acids
-
-
Durbin, R.1
Eddy, S.2
Krogh, A.3
Mitchison, G.4
-
16
-
-
51249163944
-
Concerning measures in first order calculi
-
Gaifman H. Concerning measures in first order calculi. Israel Journal of Mathematics 1964, 2:1-18.
-
(1964)
Israel Journal of Mathematics
, vol.2
, pp. 1-18
-
-
Gaifman, H.1
-
17
-
-
0001279764
-
Probabilities over rich languages
-
Gaifman H., Sni M. Probabilities over rich languages. Journal of Symbolic Logic 1982, 47(3):495-548.
-
(1982)
Journal of Symbolic Logic
, vol.47
, Issue.3
, pp. 495-548
-
-
Gaifman, H.1
Sni, M.2
-
20
-
-
0025535649
-
An analysis of first-order logics of probability
-
Halpern J.Y. An analysis of first-order logics of probability. Artificial Intelligence 1990, 46:311-350.
-
(1990)
Artificial Intelligence
, vol.46
, pp. 311-350
-
-
Halpern, J.Y.1
-
22
-
-
0042026535
-
-
Representation dependence in. probabilistic inference. In Mellish, C. S., editor, Proceedings of the 14th International Joint. Conference on Artificial Intelligence (IJCAI 95), pages. Morgan Raufmann, San. Francisco CA.
-
Halpern, J. Y. and Roller, D. (1995). Representation dependence in. probabilistic inference. In Mellish, C. S., editor, Proceedings of the 14th International Joint. Conference on Artificial Intelligence (IJCAI 95), pages 1853-1860. Morgan Raufmann, San. Francisco CA.
-
(1995)
, pp. 1853-1860
-
-
Halpern, J.Y.1
Roller, D.2
-
23
-
-
0009997310
-
On the infinite
-
Cambridge University Press (1983), Cambridge, P. Benacerraf, H. Putnam (Eds.)
-
Hubert D. On the infinite. Philosophy of mathematics: selected readings 1925, Cambridge University Press (1983), Cambridge. second edition. P. Benacerraf, H. Putnam (Eds.).
-
(1925)
Philosophy of mathematics: selected readings
-
-
Hubert, D.1
-
24
-
-
77952472439
-
The logic of Bayesian probability
-
Rluwer, Dordrecht, D. Corfield, J. Williamson (Eds.)
-
Howson C. The logic of Bayesian probability. Foundations of Bayesianism 2001, 137-159. Rluwer, Dordrecht. D. Corfield, J. Williamson (Eds.).
-
(2001)
Foundations of Bayesianism
, pp. 137-159
-
-
Howson, C.1
-
25
-
-
23844489880
-
Probability and logic
-
Howson C. Probability and logic. Journal of Applied Logic 2003, 1(3-4):151-165.
-
(2003)
Journal of Applied Logic
, vol.1
, Issue.3-4
, pp. 151-165
-
-
Howson, C.1
-
26
-
-
64149131194
-
Can logic be combined with probability? probably
-
Howson C. Can logic be combined with probability? probably. Journal of Applied Logic 2008, 10.1016/j.jal.2007.11.003.
-
(2008)
Journal of Applied Logic
-
-
Howson, C.1
-
29
-
-
11944266539
-
Information theory and statistical mechanics
-
Jaynes E.T. Information theory and statistical mechanics. The Physical Review 1957, 106(4):620-630.
-
(1957)
The Physical Review
, vol.106
, Issue.4
, pp. 620-630
-
-
Jaynes, E.T.1
-
31
-
-
34250440421
-
The well-posed problem
-
Jaynes E.T. The well-posed problem. Foundations of Physics 1973, 3:477-492.
-
(1973)
Foundations of Physics
, vol.3
, pp. 477-492
-
-
Jaynes, E.T.1
-
32
-
-
0002260533
-
Where do we stand on maximum entropy?
-
MIT Press, Cambridge MA, R. Levine, M. Tribus (Eds.)
-
Jaynes E.T. Where do we stand on maximum entropy?. The maximum entropy formalism 1979, 15. MIT Press, Cambridge MA. R. Levine, M. Tribus (Eds.).
-
(1979)
The maximum entropy formalism
, pp. 15
-
-
Jaynes, E.T.1
-
33
-
-
0005532179
-
The relation of Bayesian and maximum entropy methods
-
Rluwer, Dordrecht, G.J. Erickson, C.R. Smith (Eds.)
-
Jaynes E.T. The relation of Bayesian and maximum entropy methods. Maximum-entropy and Bayesian methods in science and engineering 1988, volume 1:25-29. Rluwer, Dordrecht. G.J. Erickson, C.R. Smith (Eds.).
-
(1988)
Maximum-entropy and Bayesian methods in science and engineering
, vol.1
, pp. 25-29
-
-
Jaynes, E.T.1
-
38
-
-
0004219952
-
-
Dover, New York, (1951), Pierre Simon, marquis de Laplace.
-
Laplace A philosophical essay on probabilities 1814, Dover, New York, (1951), Pierre Simon, marquis de Laplace.
-
(1814)
A philosophical essay on probabilities
-
-
Laplace1
-
39
-
-
0041078443
-
A subjectivist's guide to objective chance
-
Oxford University Press, Oxford, (1986)
-
Lewis D.R. A subjectivist's guide to objective chance. Philosophical papers 1980, volume 2:83-132. Oxford University Press, Oxford, (1986).
-
(1980)
Philosophical papers
, vol.2
, pp. 83-132
-
-
Lewis, D.R.1
-
40
-
-
84871802574
-
Humean supervenience debugged
-
Lewis D.R. Humean supervenience debugged. Mind 1994, 412:471-490.
-
(1994)
Mind
, vol.412
, pp. 471-490
-
-
Lewis, D.R.1
-
42
-
-
0042774143
-
Abstract mathematical tools and machines for mathematics
-
Marquis J.-P. Abstract mathematical tools and machines for mathematics. Philosophia Mathematica 1997, 5(3):250-272.
-
(1997)
Philosophia Mathematica
, vol.5
, Issue.3
, pp. 250-272
-
-
Marquis, J.-P.1
-
48
-
-
18644379135
-
Common sense and stochastic independence
-
Kluwer, Dordrecht, D. Corfield, J. Williamson (Eds.)
-
Paris J.B., Vencovská A. Common sense and stochastic independence. Foundations of Bayesianism 2001, 203-240. Kluwer, Dordrecht. D. Corfield, J. Williamson (Eds.).
-
(2001)
Foundations of Bayesianism
, pp. 203-240
-
-
Paris, J.B.1
Vencovská, A.2
-
49
-
-
23844447118
-
The emergence of reasons conjecture
-
Pari J.B., Vencovská A. The emergence of reasons conjecture. Journal of Applied Logic 2003, 1(3-4):167-195.
-
(2003)
Journal of Applied Logic
, vol.1
, Issue.3-4
, pp. 167-195
-
-
Pari, J.B.1
Vencovská, A.2
-
50
-
-
20744438828
-
Naturalism in mathematics and the authority of philosophy
-
Paseau A. Naturalism in mathematics and the authority of philosophy. British Journal for the Philosophy of Science 2005, 56:377-396.
-
(2005)
British Journal for the Philosophy of Science
, vol.56
, pp. 377-396
-
-
Paseau, A.1
-
57
-
-
0002783468
-
Truth and probability
-
Robert E. Krieger Publishing Company, Huntington, New York, second (1980) edition, H.E. Kyburg, H.E. Smokier (Eds.)
-
Ramsey F.P. Truth and probability. Studies in subjective probability 1926, 23-52. Robert E. Krieger Publishing Company, Huntington, New York, second (1980) edition. H.E. Kyburg, H.E. Smokier (Eds.).
-
(1926)
Studies in subjective probability
, pp. 23-52
-
-
Ramsey, F.P.1
-
61
-
-
84856043672
-
A mathematical theory of communication
-
and 623-656.
-
Shannon C. A mathematical theory of communication. The Bell System Technical Journal 1948, 27:379-423. and 623-656.
-
(1948)
The Bell System Technical Journal
, vol.27
, pp. 379-423
-
-
Shannon, C.1
-
66
-
-
77956658817
-
Probability logic
-
Elsevier, Amsterdam, D. Gabbay, R. Johnson, H.J. Ohlbach, J. Woods (Eds.)
-
Williamson J. Probability logic. Handbook of the logic of argument and inference: the turn toward the practical 2002, 397-424. Elsevier, Amsterdam. D. Gabbay, R. Johnson, H.J. Ohlbach, J. Woods (Eds.).
-
(2002)
Handbook of the logic of argument and inference: the turn toward the practical
, pp. 397-424
-
-
Williamson, J.1
-
68
-
-
36549041677
-
Objective Bayesian nets
-
College Publications, London, S. Artemov, H. Barringer, A.S. d'Avila Garcez, L.C. Lamb, J. Woods (Eds.)
-
Williamson J. Objective Bayesian nets. We Will Show Them! Essays in Honour of Dov Gabbay 2005, volume 2:713-730. College Publications, London. S. Artemov, H. Barringer, A.S. d'Avila Garcez, L.C. Lamb, J. Woods (Eds.).
-
(2005)
We Will Show Them! Essays in Honour of Dov Gabbay
, vol.2
, pp. 713-730
-
-
Williamson, J.1
-
69
-
-
84872162157
-
From Bayesianism to the epistemic view of mathematics
-
Williamson J. From Bayesianism to the epistemic view of mathematics. Philosophia Mathematica (III) 2006, 14(3):365-369.
-
(2006)
Philosophia Mathematica (III)
, vol.14
, Issue.3
, pp. 365-369
-
-
Williamson, J.1
-
71
-
-
36549084360
-
Motivating objective Bayesianism: from empirical constraints to objective probabilities
-
College Publications, London, W.L. Harper, G.R. Wheeler (Eds.)
-
Williamson J. Motivating objective Bayesianism: from empirical constraints to objective probabilities. Probability and Inference: Essays in Honour of Henry E. Kyburg Jr 2007, 151-179. College Publications, London. W.L. Harper, G.R. Wheeler (Eds.).
-
(2007)
Probability and Inference: Essays in Honour of Henry E. Kyburg Jr
, pp. 151-179
-
-
Williamson, J.1
-
74
-
-
46249098779
-
Objective Bayesianism with predicate languages
-
Williamson J. Objective Bayesianism with predicate languages. Synthese 2008, 163(3):341-356.
-
(2008)
Synthese
, vol.163
, Issue.3
, pp. 341-356
-
-
Williamson, J.1
|