Switch to: Citations

Add references

You must login to add references.
  1. Automatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulation.Elisha P. Sacks - 1991 - Artificial Intelligence 48 (1):27-56.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Understanding complex dynamics by visual and symbolic reasoning.Kenneth Man-Kam Yip - 1991 - Artificial Intelligence 51 (1-3):179-221.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Automated reasoning about machines.Andrew Gelsey - 1995 - Artificial Intelligence 74 (1):1-53.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Qualitative spatial reasoning: The CLOCK project.Kenneth D. Forbus, Paul Nielsen & Boi Faltings - 1991 - Artificial Intelligence 51 (1-3):417-471.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
    Download  
     
    Export citation  
     
    Bookmark   120 citations  
  • The use of aggregation in causal simulation.Daniel S. Weld - 1986 - Artificial Intelligence 30 (1):1-34.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Computational kinematics.Leo Joskowicz & Elisha P. Sacks - 1991 - Artificial Intelligence 51 (1-3):381-416.
    Download  
     
    Export citation  
     
    Bookmark   11 citations