Switch to: Citations

Add references

You must login to add references.
  1. Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
    Download  
     
    Export citation  
     
    Bookmark   176 citations  
  • A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
    Download  
     
    Export citation  
     
    Bookmark   640 citations  
  • On the relation between default and autoepistemic logic.Kurt Konolige - 1988 - Artificial Intelligence 35 (3):343-382.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • (2 other versions)Inquiry.Robert C. Stalnaker - 1984 - Linguistics and Philosophy 11 (4):515-519.
    Download  
     
    Export citation  
     
    Bookmark   543 citations  
  • Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
    Download  
     
    Export citation  
     
    Bookmark   185 citations  
  • Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
    Download  
     
    Export citation  
     
    Bookmark   352 citations  
  • The Reference Class.Henry E. Kyburg - 1983 - Philosophy of Science 50 (3):374-397.
    The system presented by the author in The Logical Foundations of Statistical Inference suffered from certain technical difficulties, and from a major practical difficulty; it was hard to be sure, in discussing examples and applications, when you had got hold of the right reference class. The present paper, concerned mainly with the characterization of randomness, resolves the technical difficulties and provides a well structured framework for the choice of a reference class. The definition of randomness that leads to this framework (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Formalizing nonmonotonic reasoning systems.David W. Etherington - 1987 - Artificial Intelligence 31 (1):41-85.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • A logic to reason about likelihood.Joseph Y. Halpern & Michael O. Rabin - 1987 - Artificial Intelligence 32 (3):379-405.
    Download  
     
    Export citation  
     
    Bookmark   14 citations