Switch to: References

Add citations

You must login to add citations.
  1. Defining answer classes using resolution refutation.Debra T. Burhans & Stuart C. Shapiro - 2007 - Journal of Applied Logic 5 (1):70-91.
    Download  
     
    Export citation  
     
    Bookmark  
  • A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
    Download  
     
    Export citation  
     
    Bookmark   640 citations  
  • Artificial intelligence: A modern approach.Nils J. Nilsson - 1996 - Artificial Intelligence 82 (1-2):369-380.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • Π-representation: A clause representation for parallel search.Daniel H. Fishman & Jack Minker - 1975 - Artificial Intelligence 6 (2):103-127.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • Using logical relevance for question answering.Marco De Boni - 2007 - Journal of Applied Logic 5 (1):92-103.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • A logical theory of robot problem solving.Olga Štěpánková & Ivan M. Havel - 1976 - Artificial Intelligence 7 (2):129-161.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • Rule-oriented methods in problem solving.Masamichi Shimura & Frank H. George - 1973 - Artificial Intelligence 4 (3-4):203-223.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • Formal methods in the design of question-answering systems.Erik Sandewall - 1971 - Artificial Intelligence 2 (2):129-145.
    Download  
     
    Export citation  
     
    Bookmark   2 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-6f97f49787-kd5kv uwo