Using Many-Sorted Logic in the Object-Oriented Data Model for Fast Robot Task Planning

Y. P. Chien, Anand Hudli, Mathew Palakal. Using Many-Sorted Logic in the Object-Oriented Data Model for Fast Robot Task Planning. Journal of Intelligent and Robotic Systems, 23(1):1-25, 1998. [doi]

Abstract

Abstract is missing.