Automated reasoning about machines
- 31 March 1995
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 74 (1) , 1-53
- https://doi.org/10.1016/0004-3702(94)00003-j
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Qualitative spatial reasoning: The CLOCK projectArtificial Intelligence, 1991
- Computational kinematicsArtificial Intelligence, 1991
- Understanding complex dynamics by visual and symbolic reasoningArtificial Intelligence, 1991
- Simulation of Planar Dynamic Mechanical Systems With Changing Topologies—Part 1: Characterization and Prediction of the Kinematic Constraint ChangesJournal of Mechanical Design, 1991
- Automatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulationArtificial Intelligence, 1991
- A Compact Approach To Planar Kinematic AnalysisJournal of Mechanical Design, 1983
- Representations for Rigid Solids: Theory, Methods, and SystemsACM Computing Surveys, 1980
- Dynamics of Systems of Rigid BodiesJournal of Applied Mechanics, 1978
- A Sparsity-Oriented Approach to the Dynamic Analysis and Design of Mechanical Systems—Part 1Journal of Engineering for Industry, 1977
- Numerical Initial Value Problems in Ordinary Differential EquationsMathematics of Computation, 1973