Inverse entailment and progol
- 1 December 1995
- journal article
- Published by Springer Science and Business Media LLC 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 operatorsLecture Notes in Computer Science, 1994
- Subsumption and refinement in model inferenceLecture Notes in Computer Science, 1993
- An Introduction to Kolmogorov Complexity and Its ApplicationsPublished by Springer Science and Business Media LLC ,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 of the United States of America, 1992
- Abductive Logic ProgrammingJournal of Logic and Computation, 1992
- Subsumption and implicationInformation Processing Letters, 1987
- Foundations of Logic ProgrammingPublished by Springer Science and Business Media LLC ,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