The paper presents ATP – a system for automated theorem proving based on ordered linear resolution with marked literals, its putting into the base of prolog-like language and some applications. This resolution system is especially put into the base of prolog-like language, as the surrogate for the concept of negation as definite failure. This logical complete deductive base is used for building...

This projects proposed a hierarchical classification strategy for Amazon products. Classification strategy and the inference efficiency were the two focuses. A strategy to apply general classification algorithms to hierarchical classification problem was proposed. Parallel programing and hashing techniques were applied to improve inference efficiency.

The Intelligent Systems Division (ISD) of the National Institute of Standards and Technology (NIST) has been researching new concepts in robotic cranes for several years. These concepts use the basic idea of the Stewart platform parallel link manipulator. The unique feature of the NIST approach is to use cables as the parallel links and to use winches as the actuators. Based on this idea, a rev...