Switch to: Citations

Add references

You must login to add references.
  1. 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   10 citations  
  • The Seven Virtues of Simple Type Theory.William M. Farmer - 2008 - Journal of Applied Logic 6 (3):267-286.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Uncertain Reasoner’s Companion.J. B. Paris - 1997 - Erkenntnis 46 (3):397-400.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Reasoning About Uncertainty.Joseph Y. Halpern - 2003 - MIT Press.
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
    Download  
     
    Export citation  
     
    Bookmark   141 citations  
  • A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   156 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   68 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  
  • 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   7 citations  
  • Cournot.[author unknown] - 1877 - Revue Philosophique de la France Et de l'Etranger 3:552.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations