Browsing Open Access Repositories by Subject "type inference"
Now showing items 1-1 of 1
-
TYPICAL: A Knowledge Representation System for Automated Discovery and Inference
(1987-08-01)TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME ...