Switch to: Citations

Add references

You must login to add references.
  1. Saturation, nonmonotonic reasoning and the closed-world assumption.Genevieve Bossu & Pierre Siegel - 1985 - Artificial Intelligence 25 (1):13-63.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • An algorithm to compute circumscription.Teodor C. Przymusinski - 1989 - Artificial Intelligence 38 (1):49-73.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
    Download  
     
    Export citation  
     
    Bookmark   351 citations  
  • A circumscriptive theorem prover.Matthew L. Ginsberg - 1989 - Artificial Intelligence 39 (2):209-230.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Refutation graphs.Robert E. Shostak - 1976 - Artificial Intelligence 7 (1):51-64.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
    Download  
     
    Export citation  
     
    Bookmark   104 citations  
  • A note on linear resolution strategies in consequence-finding.Eliana Minicozzi & Raymond Reiter - 1972 - Artificial Intelligence 3 (C):175-180.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Linear resolution with selection function.Robert Kowalski & Donald Kuehner - 1971 - Artificial Intelligence 2 (3-4):227-260.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • On the relationship between circumscription and negation as failure.Michael Gelfond, Halina Przymusinska & Teodor Przymusinski - 1989 - Artificial Intelligence 38 (1):75-94.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
    Download  
     
    Export citation  
     
    Bookmark   97 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-5d8df9484f-bvskz uwo