Switch to: Citations

Add references

You must login to add references.
  1. Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
    Download  
     
    Export citation  
     
    Bookmark   183 citations  
  • Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
    Download  
     
    Export citation  
     
    Bookmark   349 citations  
  • Nonmonotonic reasoning in the framework of situation calculus.Andrew B. Baker - 1991 - Artificial Intelligence 49 (1-3):5-23.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Some Philosophical Problems from the Standpoint of Artificial Intelligence.J. McCarthy & P. J. Hayes - 1969 - Machine Intelligence 4:463-502.
    Download  
     
    Export citation  
     
    Bookmark   305 citations  
  • Nonmonotonic logic and temporal projection.Steve Hanks & Drew McDermott - 1987 - Artificial Intelligence 33 (3):379-412.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • Frames in the space of situations.Vladimir Lifschitz - 1990 - Artificial Intelligence 46 (3):365-376.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Response to Hanks and McDermott: Temporal Evolution of Beliefs and Beliefs about Temporal Evolution.Ronald P. Loui - 1987 - Cognitive Science 11 (3):283-297.
    This paper critically evaluates the celebrated paper of Hanks and McDermott on temporal projection, non-monotonic reasoning, and the frame problem. First I argue against their intuitions, and a fortiori, against their proposed solution. Next, I suggest how the solution they desire could be obtained, were they willing to represent the problem a bit differently.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Miracles in formal theories of action.Vladimir Lifschitz & Arkady Rabinov - 1989 - Artificial Intelligence 38 (2):225-237.
    Download  
     
    Export citation  
     
    Bookmark   4 citations