Towards Inductive Generalisation in Higher Order Logic
- 1 January 1992
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Unification and anti-unification in the calculus of constructionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Inductive logic programmingNew Generation Computing, 1991
- Higher-order Horn clausesJournal of the ACM, 1990
- Learning logical definitions from relationsMachine Learning, 1990
- Higher-Order and Modal Logic as a Framework for Explanation-Based GeneralizationPublished by Elsevier ,1989
- Natural deduction as higher-order resolutionThe Journal of Logic Programming, 1986
- Proving and applying program transformations expressed with second-order patternsActa Informatica, 1978
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- A unification algorithm for typed
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960