Sub-unification: A Tool for Efficient Induction of Recursive Programs
- 1 January 1992
- book chapter
- Published by Elsevier
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Determinate Literals in Inductive Logic ProgrammingPublished by Elsevier ,1991
- Constraints on Predicate InventionPublished by Elsevier ,1991
- Learning logical definitions from relationsMachine Learning, 1990
- Machine Invention of First-order Predicates by Inverting ResolutionPublished by Elsevier ,1988