Qualitative reasoning about physical systems
Qualitative reasoning about physical systems
From CAD/CAM to simulation: automatic model generation for mechanical devices
Knowledge-based simulation
Representations for Rigid Solids: Theory, Methods, and Systems
ACM Computing Surveys (CSUR)
Form and function: the representation of machines (artificial intelligence, knowledge representation)
Reasoning about shape and kinematic function in mechanical devices
Reasoning about shape and kinematic function in mechanical devices
A qualitative approach to rigid body mechanics
A qualitative approach to rigid body mechanics
The use of intelligently controlled simulation to predict a machine's long-term behavior
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Incremental configuration space construction for mechanism analysis
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Hi-index | 0.01 |
Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible ...