Theory refinement combining analytical and empirical methods
- 30 April 1994
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 66 (2) , 273-309
- https://doi.org/10.1016/0004-3702(94)90028-0
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Approximation algorithms for combinatorial problemsPublished by Elsevier ,2007
- Supporting start-to-finish development of knowledge basesMachine Learning, 1989
- A Study of Explanation-Based Methods for Inductive LearningMachine Learning, 1989
- Quantifying inductive bias: AI learning algorithms and Valiant's learning frameworkArtificial Intelligence, 1988
- Automatic knowledge base refinement for classification systemsArtificial Intelligence, 1988
- Induction of decision treesMachine Learning, 1986
- Explanation-based generalization: A unifying viewMachine Learning, 1986
- Explanation-based learning: An alternative viewMachine Learning, 1986
- Linear-time algorithms for testing the satisfiability of propositional horn formulaeThe Journal of Logic Programming, 1984
- A truth maintenance systemArtificial Intelligence, 1979