Inferring the positions of bodies from specified spatial relationships
作者：
Highlights：
•
摘要
A program has been developed which takes a specification of a set of bodies and of spatial relations that are to hold between them in some goal state, and produces expressions denoting the positions of the bodies in the goal state together with residual equations linking the variables in these expressions.
论文关键词：
论文评审过程：Received 3 April 1974, Revised 30 September 1974, Available online 21 February 2003.
论文官网地址：https://doi.org/10.1016/0004-3702(75)90007-7
