Fetching the paper…
Reading the bibliography…
Automated reasoning about uncertain knowledge has many applications.
A formulation of the simple theory of types
A. Church · 1940
Earlier work this paper cites.
Completeness in the theory of types
L. Henkin · 1950
Earlier work this paper cites.
Studies in Logic and Probability
G. Boole · 1952
Earlier work this paper cites.
Stochastic Processes
J. L. Doob · 1953
Earlier work this paper cites.
On the axiomatic treatment of probability
J. Łos · 1955
Earlier work this paper cites.
Concerning measures in first order calculi
H. Gaifman · 1964
Earlier work this paper cites.
Assigning probabilities to logical formula
D. Scott and P. Krauss · 1966
Earlier work this paper cites.
Theories of Probability
T. L. Fine · 1973
Earlier work this paper cites.
I-divergence geometry of probability distributions and minimization problems
I. Csiszar · 1975
Earlier work this paper cites.
Probabilities over rich languages, testing and randomness
H. Gaifman and M. Snir · 1982
Earlier work this paper cites.
Higher-order logic
J. van Benthem and K. Doets · 1983
Earlier work this paper cites.
Probabilistic logic
N.J. Nilsson · 1986
Earlier work this paper cites.
An analysis of first-order logics of probability
J.Y. Halpern · 1990
Earlier work this paper cites.
Bayes or Bust? A Critical Examination of Bayesian Confirmation Theory
J. Earman · 1993
Earlier work this paper cites.
Information theory for continuous systems
S. Ihara · 1993
Earlier work this paper cites.
Reasoning about knowledge and probability
R. Fagin and J.Y. Halpern · 1994
Cited alongside, same era.
Higher-order logic
D. Leivant · 1994
Cited alongside, same era.
The Uncertain Reasoner’s Companion
J.B. Paris · 1994
Cited alongside, same era.
Sentential Probability Logic
T. Hailperin · 1996
Cited alongside, same era.
Stochastic logic programs
S. Muggleton · 1996
Cited alongside, same era.
Probability, logic and probability logic
A. Hájek · 2001
Cited alongside, same era.
Classical logic ii – higher-order logic
S. Shapiro · 2001
Cited alongside, same era.
Why did Cournot’s principle disappear?, 19 May 2006
G. Shafer · 2006
Later among the works it cites.
Lifted First-Order Probabilistic Inference
R. de Salvo Braz · 2007
Later among the works it cites.
Bayesian logic programming: Theory and tool
K. Kersting and L. De Raedt · 2007
Later among the works it cites.
First-order probabilistic languages: Into the unknown
B. Milch and S. Russell · 2007
Later among the works it cites.
Probabilistic reasoning in a classical logic
K.S. Ng and J. W. Lloyd · 2007
Later among the works it cites.
The design and implementation of IBAL: A general-purpose probabilistic language
A. Pfeffer · 2007
Later among the works it cites.
Probabilistic modal logic
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
P.B. Andrews · 2002
Cited alongside, same era.
Real Analysis and Probability
R.M. Dudley · 2002
Cited alongside, same era.
Probability logic
J. Williamson · 2002
Cited alongside, same era.
Probabilistic logic learning
L. De Raedt and K. Kersting · 2003
Cited alongside, same era.
Reasoning about Uncertainty
J.Y. Halpern · 2003
Cited alongside, same era.
A. Shirazi and E. Amir · 2007
Later among the works it cites.
The seven virtues of simple type theory
W.M. Farmer · 2008
Later among the works it cites.
Church: a language for generative models
N. D. Goodman, V. K. Mansighka, D. Roy, K. Bonawitz, and J. B. Tenenbaum · 2008
Later among the works it cites.
Probabilistic modelling, inference and learning using logical theories
K.S. Ng, J.W. Lloyd, and W.T.B. Uther · 2008
Later among the works it cites.
Objective bayesian probabilistic logic
J. Williamson · 2008
Later among the works it cites.
J. Williamson · 2008
Later among the works it cites.
Declarative programming for agent applications
J.W. Lloyd and K.S. Ng · 2011
Later among the works it cites.
A philosophical treatise of universal induction
S. Rathmanner and M. Hutter · 2011
Later among the works it cites.