Higher-order and modal logic as a framework for explanation-based generalization
- 1 June 1992
- journal article
- research article
- Published by Springer Nature in Machine Learning
- Vol. 9 (1) , 23-55
- https://doi.org/10.1007/bf00993253
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Specifying theorem provers in a higher-order logic programming languagePublished by Springer Nature ,2005
- Learning and applying generalised solutions using higher order resolutionPublished by Springer Nature ,2005
- Explanation-based learning: a survey of programs and perspectivesACM Computing Surveys, 1989
- Higher-Order and Modal Logic as a Framework for Explanation-Based GeneralizationPublished by Elsevier ,1989
- Generalizing Number and Learning from Multiple Examples in Explanation Based LearningPublished by Elsevier ,1988
- A note on the complexity of the satisfiability of modal Horn clausesThe Journal of Logic Programming, 1987
- MOLOG: A system that extends PROLOG with modal logicNew Generation Computing, 1986
- Inductive Inference: Theory and MethodsACM Computing Surveys, 1983
- Modal LogicPublished by Cambridge University Press (CUP) ,1980
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977