Beyond Inversion of Resolution
- 1 January 1990
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Generalized subsumption and its applications to induction and redundancyArtificial Intelligence, 1988
- Learning by failing to explain: Using partial explanations to learn in incomplete or intractable domainsMachine Learning, 1988
- Machine Invention of First-order Predicates by Inverting ResolutionPublished by Elsevier ,1988
- Boundaries of OperationalityPublished by Elsevier ,1988
- A theory and methodology of inductive learningArtificial Intelligence, 1983
- Generalization as searchArtificial Intelligence, 1982