Many sorted logic=unsorted logic+control?

Authors:
A. G. Cohn
Affiliations:
-
Venue:
Proceedings of Expert Systems '86, The 6Th Annual Technical Conference on Research and development in expert systems III
Year:
1987

Citing 0
Cited 3

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

Journal of Intelligent and Robotic Systems
Kernel functions for case-based planning

Artificial Intelligence
The TPTP typed first-order form with arithmetic

LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract