A hierarchy neural network approach to symbolic logic-algorithms of problem solving | IEEE Conference Publication | IEEE Xplore