Sciweavers

JELIA
1998
Springer
15 years 1 months ago
Higher Order Generalization
Generalization is a fundamental operation of inductive inference. While rst order syntactic generalization anti-uni cation is well understood, its various extensions are needed in...
Jianguo Lu, Masateru Harao, Masami Hagiya