Switch to: Citations

Add references

You must login to add references.
  1. Probabilistic logic.Nils J. Nilsson - 1986 - Artificial Intelligence 28 (1):71-87.
    Download  
     
    Export citation  
     
    Bookmark   92 citations  
  • Probabilities over rich languages, testing and randomness.Haim Gaifman & Marc Snir - 1982 - Journal of Symbolic Logic 47 (3):495-548.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • (1 other version)A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   226 citations  
  • An analysis of first-order logics of probability.Joseph Y. Halpern - 1990 - Artificial Intelligence 46 (3):311-350.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • A Philosophical Treatise of Universal Induction.Samuel Rathmanner & Marcus Hutter - 2011 - Entropy 13 (6):1076-1136.
    Understanding inductive reasoning is a problem that has engaged mankind for thousands of years. This problem is relevant to a wide range of fields and is integral to the philosophy of science. It has been tackled by many great minds ranging from philosophers to scientists to mathematicians, and more recently computer scientists. In this article we argue the case for Solomonoff Induction, a formal inductive framework which combines algorithmic information theory with the Bayesian framework. Although it achieves excellent theoretical results (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • (1 other version)Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
    Download  
     
    Export citation  
     
    Bookmark   202 citations  
  • The Uncertain Reasoner’s Companion. [REVIEW]J. B. Paris - 1997 - Erkenntnis 46 (3):397-400.
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • Probabilistic reasoning in a classical logic.K. S. Ng & J. W. Lloyd - 2009 - Journal of Applied Logic 7 (2):218-238.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Reasoning About Uncertainty.Joseph Y. Halpern - 2003 - MIT Press.
    Using formal systems to represent and reason about uncertainty.
    Download  
     
    Export citation  
     
    Bookmark   165 citations  
  • The seven virtues of simple type theory.William M. Farmer - 2008 - Journal of Applied Logic 6 (3):267-286.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Probability logic.Jon Williamson - unknown
    Practical reasoning requires decision—making in the face of uncertainty. Xenelda has just left to go to work when she hears a burglar alarm. She doesn’t know whether it is hers but remembers that she left a window slightly open. Should she be worried? Her house may not be being burgled, since the wind or a power cut may have set the burglar alarm off, and even if it isn’t her alarm sounding she might conceivably be being burgled. Thus Xenelda can (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)Cournot.[author unknown] - 1877 - Revue Philosophique de la France Et de l'Etranger 3:552.
    Download  
     
    Export citation  
     
    Bookmark   4 citations