Using many-sorted logic in the object-oriented data model for fast robot task planning

DOI10.1023/A:1008021418835zbMath0916.68147OpenAlexW1519094565MaRDI QIDQ1286807

Mathew Palakal, Y. P. Chien, A. V. Hudli

Publication date: 19 July 1999

Published in: Journal of Intelligent \& Robotic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008021418835

zbMATH Keywords

many-sorted logicobject-oriented data modelrobot task planning

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Kernel functions for case-based planning

This page was built for publication: Using many-sorted logic in the object-oriented data model for fast robot task planning