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  
  • On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
    Download  
     
    Export citation  
     
    Bookmark   20 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 logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
    Download  
     
    Export citation  
     
    Bookmark   638 citations  
  • Lexicographic priorities in default logic.Jussi Rintanen - 1998 - Artificial Intelligence 106 (2):221-265.
    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  
  • Minimal belief and negation as failure.Vladimir Lifschitz - 1994 - Artificial Intelligence 70 (1-2):53-72.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Linear resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Formalizing nonmonotonic reasoning systems.David W. Etherington - 1987 - Artificial Intelligence 31 (1):41-85.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Preferred answer sets for extended logic programs.Gerhard Brewka & Thomas Eiter - 1999 - Artificial Intelligence 109 (1-2):297-356.
    Download  
     
    Export citation  
     
    Bookmark   14 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-2n7kc uwo