Switch to: Citations

Add references

You must login to add references.
  1. Ordering conjunctive queries.David E. Smith & Michael R. Genesereth - 1985 - Artificial Intelligence 26 (2):171-215.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
    Download  
     
    Export citation  
     
    Bookmark   348 citations  
  • Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
    Download  
     
    Export citation  
     
    Bookmark   183 citations  
  • Nonmonotonic logic and temporal projection.Steve Hanks & Drew McDermott - 1987 - Artificial Intelligence 33 (3):379-412.
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
    Download  
     
    Export citation  
     
    Bookmark   96 citations