Switch to: References

Citations of:

Extending the ATMS

Artificial Intelligence 28 (2):163-196 (1986)

Add citations

You must login to add citations.
  1. An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  • Connectionism, classical cognitive science and experimental psychology.Mike Oaksford, Nick Chater & Keith Stenning - 1990 - AI and Society 4 (1):73-90.
    Classical symbolic computational models of cognition are at variance with the empirical findings in the cognitive psychology of memory and inference. Standard symbolic computers are well suited to remembering arbitrary lists of symbols and performing logical inferences. In contrast, human performance on such tasks is extremely limited. Standard models donot easily capture content addressable memory or context sensitive defeasible inference, which are natural and effortless for people. We argue that Connectionism provides a more natural framework in which to model this (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Using approximate reasoning to represent default knowledge.Ronald R. Yager - 1987 - Artificial Intelligence 31 (1):99-112.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A general framework for reason maintenance.Drew McDermott - 1991 - Artificial Intelligence 50 (3):289-329.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Constraint-based design for 3D shapes.Shuichi Shimizu & Masayuki Numao - 1997 - Artificial Intelligence 91 (1):51-69.
    Download  
     
    Export citation  
     
    Bookmark  
  • Abstract argumentation systems.Gerard A. W. Vreeswijk - 1997 - Artificial Intelligence 90 (1-2):225-279.
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • The common order-theoretic structure of version spaces and ATMSs.Carl A. Gunter, Teow-Hin Ngair & Devika Subramanian - 1997 - Artificial Intelligence 95 (2):357-407.
    Download  
     
    Export citation  
     
    Bookmark  
  • Prolog technology for default reasoning: proof theory and compilation techniques.Torsten Schaub & Stefan Brüning - 1998 - Artificial Intelligence 106 (1):1-75.
    Download  
     
    Export citation  
     
    Bookmark  
  • Diagnosis based on explicit means-end models.Jan Eric Larsson - 1996 - Artificial Intelligence 80 (1):29-93.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Problem solving with the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):197-224.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Assumptions, beliefs and probabilities.Kathryn Blackmond Laskey & Paul E. Lehner - 1989 - Artificial Intelligence 41 (1):65-77.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A perspective on assumption-based truth maintenance.Johan de Kleer - 1993 - Artificial Intelligence 59 (1-2):63-67.
    Download  
     
    Export citation  
     
    Bookmark   4 citations