TYPICAL: A Knowledge Representation System for Automated Discovery and Inference
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 objects, composite data structures, and abstract descriptions. TYPICAL types are...
| מחבר ראשי: | |
|---|---|
| שפה: | en_US |
| יצא לאור: |
2004
|
| נושאים: | |
| גישה מקוונת: | http://hdl.handle.net/1721.1/6852 |