Switch to: References

Add citations

You must login to add citations.
  1. A theory of measurement in diagnosis from first principles.Aimin Hou - 1994 - Artificial Intelligence 65 (2):281-328.
    Download  
     
    Export citation  
     
    Bookmark  
  • Problem solving by searching for models with a theorem prover.Shie-Jue Lee & David A. Plaisted - 1994 - Artificial Intelligence 69 (1-2):205-233.
    Download  
     
    Export citation  
     
    Bookmark  
  • Support set selection for a bductive and default reasoning.Bart Selman & Hector J. Levesque - 1996 - Artificial Intelligence 82 (1-2):259-272.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A general framework for reason maintenance.Drew McDermott - 1991 - Artificial Intelligence 50 (3):289-329.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Cmpositional modeling: finding the right model for the job.Brian Falkenhainer & Kenneth D. Forbus - 1991 - Artificial Intelligence 51 (1-3):95-143.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.
    Download  
     
    Export citation  
     
    Bookmark   96 citations  
  • Theories of causal ordering.Johan de Kleer & John Seely Brown - 1986 - Artificial Intelligence 29 (1):33-61.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A model for belief revision.João P. Martins & Stuart C. Shapiro - 1988 - Artificial Intelligence 35 (1):25-79.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Diagnosing multiple faults.Johan de Kleer & Brian C. Williams - 1987 - Artificial Intelligence 32 (1):97-130.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • Using approximate reasoning to represent default knowledge.Ronald R. Yager - 1987 - Artificial Intelligence 31 (1):99-112.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Extending the ATMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):163-196.
    Download  
     
    Export citation  
     
    Bookmark   12 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