Inverse entailment and progol
- 1 December 1995
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 13 (3-4) , 245-286
- https://doi.org/10.1007/bf03037227
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- Learning the Past Tense of English Verbs: The Symbolic Pattern Associator vs. Connectionist ModelsJournal of Artificial Intelligence Research, 1994
- Existence and nonexistence of complete refinement operatorsPublished by Springer Nature ,1994
- Subsumption and refinement in model inferencePublished by Springer Nature ,1993
- An Introduction to Kolmogorov Complexity and Its ApplicationsPublished by Springer Nature ,1993
- Drug design by machine learning: the use of inductive logic programming to model the structure-activity relationships of trimethoprim analogues binding to dihydrofolate reductase.Proceedings of the National Academy of Sciences, 1992
- Abductive Logic ProgrammingJournal of Logic and Computation, 1992
- Subsumption and implicationInformation Processing Letters, 1987
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- Language identification in the limitInformation and Control, 1967
- XXII. On the mechanical performance of logical inferencePhilosophical Transactions of the Royal Society of London, 1870