Switch to: References

Add citations

You must login to add citations.
  1. Automated reasoning about machines.Andrew Gelsey - 1995 - Artificial Intelligence 74 (1):1-53.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Qualitative reasoning about physical systems: A return to roots.Brian C. Williams & Johan de Kleer - 1991 - Artificial Intelligence 51 (1-3):1-9.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Using modeling knowledge to guide design space search.Andrew Gelsey, Mark Schwabacher & Don Smith - 1998 - Artificial Intelligence 101 (1-2):35-62.
    Download  
     
    Export citation  
     
    Bookmark   1 citation