Sciweavers

AAAI
1990
14 years 1 months ago
Generalization with Taxonomic Information
This paper studies sorted generalization-the generalization, with respect to an arbitrary taxonomic theory, of atomic formulas containing sorted variables. It develops an algorith...
Alan M. Frisch, C. David Page Jr.