Learning nonrecursive definitions of relations with linus
- 1 January 1991
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 265-281
- https://doi.org/10.1007/bfb0017020
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Learning nonrecursive definitions of relations with linusLecture Notes in Computer Science, 1991
- Learning logical definitions from relationsMachine Learning, 1990
- Machine Invention of First-order Predicates by Inverting ResolutionPublished by Elsevier ,1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987