Qualitative physics for robot task planning. II. Kinematics of mechanical devices | IEEE Conference Publication | IEEE Xplore