Abstract: This paper proposes an improved model of a newly emerged biologically motivated meta-heuristic Artificial Rabbits Optimization (ARO) algorithm. The ARO algorithm is hybridized with Particle ...
Abstract: A unification algorithm is one of the most important parts of a First-Order Logic (FOL) inference engine because it allows for the discovery of substitutions that make two logical ...