Switch to: Citations

Add references

You must login to add references.
  1. 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  
  • 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  
  • The computational complexity of probabilistic inference using bayesian belief networks.Gregory F. Cooper - 1990 - Artificial Intelligence 42 (2-3):393-405.
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • Probabilistic logic.Nils J. Nilsson - 1986 - Artificial Intelligence 28 (1):71-87.
    Download  
     
    Export citation  
     
    Bookmark   91 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