Completeness for inductive procedures
- 1 January 1991
- book chapter
- Published by Elsevier
Abstract
No abstract availableFunding Information
- Commission for Environmental Cooperation (no2154)
This publication has 5 references indexed in Scilit:
- Consistent term mappings, term partitions, and inverse resolutionPublished by Springer Nature ,1991
- Beyond Inversion of ResolutionPublished by Elsevier ,1990
- Generalized subsumption and its applications to induction and redundancyArtificial Intelligence, 1988
- Machine Invention of First-order Predicates by Inverting ResolutionPublished by Elsevier ,1988
- A THEORY AND METHODOLOGY OF INDUCTIVE LEARNINGPublished by Elsevier ,1983