Switch to: Citations

Add references

You must login to add references.
  1. The Uncertain Reasoner’s Companion.J. B. Paris - 1997 - Erkenntnis 46 (3):397-400.
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Probabilistic logic.Nils J. Nilsson - 1986 - Artificial Intelligence 28 (1):71-87.
    Download  
     
    Export citation  
     
    Bookmark   79 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  
  • Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
    Download  
     
    Export citation  
     
    Bookmark   190 citations  
  • Reasoning About Uncertainty.Joseph Y. Halpern - 2003 - MIT Press.
    Using formal systems to represent and reason about uncertainty.
    Download  
     
    Export citation  
     
    Bookmark   162 citations  
  • An analysis of first-order logics of probability.Joseph Y. Halpern - 1990 - Artificial Intelligence 46 (3):311-350.
    Download  
     
    Export citation  
     
    Bookmark   56 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   92 citations  
  • The seven virtues of simple type theory.William M. Farmer - 2008 - Journal of Applied Logic 6 (3):267-286.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Download  
     
    Export citation  
     
    Bookmark   204 citations  
  • Cournot.[author unknown] - 1877 - Revue Philosophique de la France Et de l'Etranger 3:552.
    Download  
     
    Export citation  
     
    Bookmark   4 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   11 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