First-Order Theory Revision
- 1 January 1991
- book chapter
- Published by Elsevier
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A knowledge-intensive approach to learning relational conceptsPublished by Elsevier ,1991
- Learning logical definitions from relationsMachine Learning, 1990
- Machine Invention of First-order Predicates by Inverting ResolutionPublished by Elsevier ,1988