Switch to: Citations

Add references

You must login to add references.
  1. A unifying semantics for time and events.Brandon Bennett & Antony P. Galton - 2004 - Artificial Intelligence 153 (1-2):13-48.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.
    Download  
     
    Export citation  
     
    Bookmark   217 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  
  • Proving properties of states in the situation calculus.Raymond Reiter - 1993 - Artificial Intelligence 64 (2):337-351.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • The Qualification Problem: A solution to the problem of anomalous models.Michael Thielscher - 2001 - Artificial Intelligence 131 (1-2):1-37.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem.Michael Thielscher - 1999 - Artificial Intelligence 111 (1-2):277-299.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
    Download  
     
    Export citation  
     
    Bookmark   350 citations  
  • Nonmonotonic causal theories.Joohyung Lee, Vladimir Lifschitz & Hudson Turner - 2004 - Artificial Intelligence 153 (1-2):49-104.
    cuted actions. It has been applied to several challenge problems in the theory of commonsense knowledge. We study the relationship between this formalism and other work on nonmonotonic reasoning and knowl-.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • (1 other version)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  
    • Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    PhilPapers logo by Andrea Andrews and Meghan Driscoll.
    This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

    Use of this site is subject to terms & conditions.
    All rights reserved by The PhilPapers Foundation

    Server: philpapers-web-6b65f85844-pflvk uwo