Machine Invention of First-order Predicates by Inverting Resolution
Authors:
- Stephen MuggletonSMStephen Muggleton
- Wray BuntineWBWray Buntine
- 1 January 1988
- book chapter
- Published by Elsevier
- p. 339-352
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Explanation-Based Generalization as Resolution Theorem Proving1987
- Explanation-Based Learning: An Alternative ViewMachine Learning, 1986
- Explanation-Based Generalization: A Unifying ViewMachine Learning, 1986
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965