Induction of Horn clauses: methods and the plausible generalization algorithm
- 30 April 1987
- journal article
- Published by Elsevier in International Journal of Man-Machine Studies
- Vol. 26 (4) , 499-519
- https://doi.org/10.1016/s0020-7373(87)80084-6
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A formal approach to learning from examplesInternational Journal of Man-Machine Studies, 1987
- Induction of decision treesMachine Learning, 1986
- Explanation-based generalization: A unifying viewMachine Learning, 1986
- A general framework for induction and a study of selective inductionMachine Learning, 1986
- Explanation-based learning: An alternative viewMachine Learning, 1986
- An analytical comparison of some rule-learning programsArtificial Intelligence, 1985
- The role of induction in knowledge elilcitationExpert Systems, 1985
- A theory and methodology of inductive learningArtificial Intelligence, 1983
- Generalization as searchArtificial Intelligence, 1982
- Multilevel counterfactuals for generalizations of relational concepts and productionsArtificial Intelligence, 1980