Switch to: Citations

Add references

You must login to add references.
  1. (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   309 citations  
  • Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
    Download  
     
    Export citation  
     
    Bookmark   185 citations  
  • A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
    Download  
     
    Export citation  
     
    Bookmark   641 citations  
  • Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
    Download  
     
    Export citation  
     
    Bookmark   129 citations  
  • A rational reconstruction of nonmonotonic truth maintenance systems.Charles Elkan - 1990 - Artificial Intelligence 43 (2):219-234.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Prioritized logic programming and its application to commonsense reasoning.Chiaki Sakama & Katsumi Inoue - 2000 - Artificial Intelligence 123 (1-2):185-222.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
    Download  
     
    Export citation  
     
    Bookmark   352 citations  
  • Closed-world databases and circumscription.Vladimir Lifschitz - 1985 - Artificial Intelligence 27 (2):229-235.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
    Download  
     
    Export citation  
     
    Bookmark   176 citations  
  • (1 other version)Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
    Download  
     
    Export citation  
     
    Bookmark   169 citations  
  • An abstract, argumentation-theoretic approach to default reasoning.A. Bondarenko, P. M. Dung, R. A. Kowalski & F. Toni - 1997 - Artificial Intelligence 93 (1-2):63-101.
    Download  
     
    Export citation  
     
    Bookmark   106 citations  
  • Extending and implementing the stable model semantics.Patrik Simons, Ilkka Niemelä & Timo Soininen - 2002 - Artificial Intelligence 138 (1-2):181-234.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Answer set programming and plan generation.Vladimir Lifschitz - 2002 - Artificial Intelligence 138 (1-2):39-54.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • LUPS—A language for updating logic programs.José Júlio Alferes, Luı́s Moniz Pereira, Halina Przymusinska & Teodor C. Przymusinski - 2002 - Artificial Intelligence 138 (1-2):87-116.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Classifying the computational complexity of problems.Larry Stockmeyer - 1987 - Journal of Symbolic Logic 52 (1):1-43.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Annotated revision programs.Victor Marek, Inna Pivkina & Mirosław Truszczyński - 2002 - Artificial Intelligence 138 (1-2):149-180.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A note on the stable model semantics for logic programs.Michael Kaminski - 1997 - Artificial Intelligence 96 (2):467-479.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A comparative study of open default theories.Michael Kaminski - 1995 - Artificial Intelligence 77 (2):285-319.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Fixed-parameter complexity in AI and nonmonotonic reasoning.Georg Gottlob, Francesco Scarcello & Martha Sideri - 2002 - Artificial Intelligence 138 (1-2):55-86.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Preference Logic Grammars: Fixed point semantics and application to data standardization.Baoqiu Cui & Terrance Swift - 2002 - Artificial Intelligence 138 (1-2):117-147.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
    • 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-6f97f49787-hdzht uwo