Fetching the paper…
Reading the bibliography…
While probability theory is normally applied to external environments, there has been some recent interest in probabilistic modeling of the outputs of computations that are too expensive to run.
In Colloquium Mathematicae 3.2
“On the Axiomatic Treatment of Probability” · 1955
Earlier work this paper cites.
In Israel Journal of Mathematics 2.1
“Concerning Measures in First Order Calculi” · 1964
Earlier work this paper cites.
In Aspects of Inductive Logic 43
“Assigning Probabilities to Logical Formulas” · 1966
Earlier work this paper cites.
In Notre Dame Journal of Formal Logic 25.3
“Probability Logic” · 1984
Earlier work this paper cites.
In Information and Computation 101.2
“Probabilistic Logic Programming” · 1992
Earlier work this paper cites.
In 11th International Conference on Automated Deduction CADE-11 607
“PVS: A prototype verification system” · 1992
Earlier work this paper cites.
In Journal of Logic Programming 19
“Inductive Logic Programming: Theory and Methods” · 1994
Earlier work this paper cites.
In Advances in Inductive Logic Programming 32
“Stochastic Logic Programs” · 1996
Earlier work this paper cites.
In 15th International Joint Conference on Artificial Intelligence (IJCAI-97) 2
“Learning Probabilities for Noisy First-Order Rules” · 1997
Earlier work this paper cites.
In Theoretical Computer Science 171.1
“Answering Queries from Context-Sensitive Probabilistic Knowledge Bases” · 1997
Earlier work this paper cites.
Springer-Verlag Berlin Heidelberg, 1997
“Foundations of Inductive Logic Programming” 1228 · 1997
Cited alongside, same era.
In Artificial Intelligence 94.1
“The Independent Choice Logic for Modelling Multiple Agents under Uncertainty” · 1997
Cited alongside, same era.
In 15th International Joint Conference on Artificial Intelligence (IJCAI-97) 2
“PRISM: A Language for Symbolic-Statistical Modeling” · 1997
Cited alongside, same era.
In 13th European Conference on Artificial Intelligence (ECAI-98)
“Probabilistic Logic Programming” · 1998
Cited alongside, same era.
In AAAI-2000 Workshop on Learning Statistical Models from Relational Data , 2000, pp. 29–35
“Interpreting Bayesian Logic Programs” · 2000
Cited alongside, same era.
In Contributions to Economic Analysis 280
“Impossible States at Work: Logical Omniscience and Rational Choice” · 2006
Cited alongside, same era.
“Metareasoning for Monte Carlo Tree Search”, 2011
2011
Later among the works it cites.
Elsevier, 2011, pp. 828–840
“Measuring and Repairing Inconsistency in Probabilistic Knowledge Bases” · 2011
Later among the works it cites.
In Synthesis Lectures on Data Management 3.2
“Probabilistic Databases” · 2011
Later among the works it cites.
In Artificial General Intelligence. 5th International Conference, AGI 2012
“Logical Prior Probability” · 2012
Later among the works it cites.
In IJCAI-13 Workshop on Weighted Logics for Artiticial Intelligence (WL4AI-2013) , 2013, pp. 65–72
“Unifying Probability and Logic for Learning” · 2013
Later among the works it cites.
In Proceedings of the Royal Society of London A: Mathematical, Physical and Engineering Sciences 471.2179
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
In Machine Learning 62.1-2
“Markov Logic Networks” · 2006
Cited alongside, same era.
Springer, 2008
“Probabilistic Inductive Logic Programming” 4911 · 2008
Cited alongside, same era.
In ACM SIGOPS 22nd symposium on Operating Systems Principles (SOSP ’09)
“seL4: Formal verification of an OS kernel” · 2009
Cited alongside, same era.
In Artificial Intelligence 175.1
“Dealing with Logical Omniscience: Expressiveness and Pragmatics” · 2011
Cited alongside, same era.
“Probabilistic numerics and uncertainty in computations” · 2015
Later among the works it cites.
In 24th International Joint Conference on Artificial Intelligence (IJCAI-15)
“Probabilistic Reasoning with Inconsistent Beliefs Using Inconsistency Measures” · 2015
Later among the works it cites.
In Workshop on Black Box Learning and Inference at Advances in Neural Information Processing Systems 28 (NIPS 2015) , 2015
“Bayesian Optimization for Probabilistic Programs” · 2015
Later among the works it cites.
In Communications of the ACM 58.7
“Unifying Logic and Probability” · 2015
Later among the works it cites.
In 9th Conference on Artificial General Intelligence (AGI-16) 9782
“Asymptotic Logical Uncertainty and the Benford Test” · 2016
Closest in time.