A homomorphism ψ of logic programs from P to P is a function mapping Atoms(P) to Atoms(P) and paper, the complexity of the decision problems on homomorphism an
A typed category theory is proposed for the abstract description of knowledge and knowledge processing. It differs from the traditional category theory in two d
An important concept proposed in the early stage of robot path planning field is the shrinking of a robot to a point and meanwhile the expanding of obstacles in