{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:57:48Z","timestamp":1773151068051,"version":"3.50.1"},"reference-count":55,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1994,4,1]],"date-time":"1994-04-01T00:00:00Z","timestamp":765158400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1994,4]]},"DOI":"10.1016\/0004-3702(94)90028-0","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"273-309","source":"Crossref","is-referenced-by-count":93,"title":["Theory refinement combining analytical and empirical methods"],"prefix":"10.1016","volume":"66","author":[{"given":"Dirk","family":"Ourston","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raymond J.","family":"Mooney","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3\u20134","key":"10.1016\/0004-3702(94)90028-0_BIB1","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/BF00130714","article-title":"Supporting start-to-finish development of knowledge bases","volume":"4","author":"Bareiss","year":"1989","journal-title":"Mach. Learn."},{"key":"10.1016\/0004-3702(94)90028-0_BIB2","year":"1992"},{"key":"10.1016\/0004-3702(94)90028-0_BIB3","series-title":"Proceedings Fifth International Conference on Machine Learning","first-page":"305","article-title":"A knowledge intensive approach to concept induction","author":"Bergadano","year":"1988"},{"key":"10.1016\/0004-3702(94)90028-0_BIB4","series-title":"Proceedings of the Eighth International Workshop on Machine Learning: Section on Learning From Theory and Data","year":"1991"},{"key":"10.1016\/0004-3702(94)90028-0_BIB5","series-title":"Proceedings Eighth International Workshop on Machine Learning","first-page":"485","article-title":"The Ductor: a theory revision system for propositional domains","author":"Cain","year":"1991"},{"key":"10.1016\/0004-3702(94)90028-0_BIB6","author":"Charniak","year":"1985"},{"key":"10.1016\/0004-3702(94)90028-0_BIB7","series-title":"Proceedings AAAI-90","first-page":"743","article-title":"Learning from textbook knowledge: a case study","author":"Cohen","year":"1990"},{"key":"10.1016\/0004-3702(94)90028-0_BIB8","series-title":"Proceedings Sixth International Conference on Machine Learning","first-page":"34","article-title":"Finding new rules for incomplete theories: explicit biases for induction with contextual information","author":"Danyluk","year":"1989"},{"issue":"2","key":"10.1016\/0004-3702(94)90028-0_BIB9","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF00114116","article-title":"Explanation-based learning: an alternative view","volume":"1","author":"DeJong","year":"1986","journal-title":"Mach. Learn."},{"key":"10.1016\/0004-3702(94)90028-0_BIB10","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","article-title":"Linear-time algorithms for testing the satisfiability of propositional Horn formulae","volume":"3","author":"Dowling","year":"1984","journal-title":"J. Logic Programm."},{"key":"10.1016\/0004-3702(94)90028-0_BIB11","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","article-title":"A truth maintenance system","volume":"12","author":"Doyle","year":"1979","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)90028-0_BIB12","series-title":"Proceedings IJCAI-89","first-page":"708","article-title":"Induction in an abstraction space: a form of constructive induction","author":"Drastal","year":"1989"},{"key":"10.1016\/0004-3702(94)90028-0_BIB13","series-title":"Proceedings Eighth International Workshop on Machine Learning","first-page":"500","article-title":"Incremental refinement of approximate domain theories","author":"Feldman","year":"1991"},{"key":"10.1016\/0004-3702(94)90028-0_BIB14","series-title":"Proceedings IJCAI-89","first-page":"788","article-title":"An empirical comparison of ID3 and backpropagation","author":"Fisher","year":"1989"},{"issue":"2","key":"10.1016\/0004-3702(94)90028-0_BIB15","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1023\/A:1022652016863","article-title":"A study of explanation-based methods for inductive learning","volume":"4","author":"Flann","year":"1989","journal-title":"Mach. Learn."},{"key":"10.1016\/0004-3702(94)90028-0_BIB16","author":"Garey","year":"1979"},{"key":"10.1016\/0004-3702(94)90028-0_BIB17","series-title":"Proceedings AAAI-90","first-page":"777","article-title":"Theory reduction, theory revision, and retranslation","author":"Ginsberg","year":"1990"},{"key":"10.1016\/0004-3702(94)90028-0_BIB18","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(88)90012-4","article-title":"Automatic knowledge based refinement for classification systems","volume":"35","author":"Ginsberg","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)90028-0_BIB19","series-title":"Proceedings AAAI-91","first-page":"22","article-title":"Improving rule-based systems through case-based reasoning","author":"Golding","year":"1991"},{"key":"10.1016\/0004-3702(94)90028-0_BIB20","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0004-3702(88)90002-1","article-title":"Quantifying inductive bias: AI learning algorithms and Valiant's learning framework","volume":"26","author":"Haussler","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(94)90028-0_BIB21","article-title":"Incremental version-space merging: a general framework for concept learning","author":"Hirsh","year":"1989"},{"key":"10.1016\/0004-3702(94)90028-0_BIB22","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1016\/S0022-0000(74)80044-9","article-title":"Approximation algorithms for combinatorial problems","volume":"9","author":"Johnson","year":"1974","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/0004-3702(94)90028-0_BIB23","series-title":"Proceedings IJCAI-89","first-page":"1061","article-title":"A knowledge-level account of abduction","author":"Levesque","year":"1989"},{"key":"10.1016\/0004-3702(94)90028-0_BIB24","series-title":"Proceedings Eighth International Workshop on Machine Learning","first-page":"519","article-title":"Revision of reduced theories","author":"Ling","year":"1991"},{"key":"10.1016\/0004-3702(94)90028-0_BIB25","unstructured":"J.J. Mahoney and R.J. Mooney, Combining neural and symbolic learning to revise probabilistic rule bases, in: Advances in Neural Information Processing Systems5 (Morgan Kaufmann, San Mateo, CA, to appear)."},{"key":"10.1016\/0004-3702(94)90028-0_BIB26","series-title":"Proceedings 1975 International Symposium on Multiple-Valued Logic","first-page":"76","article-title":"Synthesis of optimal and quasi-optimal variable-valued logic formulas","author":"Michalski","year":"1975"},{"key":"10.1016\/0004-3702(94)90028-0_BIB27","series-title":"Machine Learning: An Artificial Intelligence Approach","first-page":"83","article-title":"A theory and methodology of inductive learning","author":"Michalski","year":"1983"},{"issue":"2","key":"10.1016\/0004-3702(94)90028-0_BIB28","first-page":"126","article-title":"Learning by being told and learning from examples: an experimental comparison of the two methods of knowledge acquisition in the context of developing an expert system for soybean disease diagnosis","volume":"4","author":"Michalski","year":"1980","journal-title":"J. Policy Anal. Inf. Syst."},{"key":"10.1016\/0004-3702(94)90028-0_BIB29","series-title":"Proceedings AAAI-86","first-page":"1041","article-title":"The multi-purpose incremental learning system AQ15 and its testing application to three medical domains","author":"Michalski","year":"1986"},{"issue":"1","key":"10.1016\/0004-3702(94)90028-0_BIB30","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00116250","article-title":"Explanation-based generalization: a unifying view","volume":"1","author":"Mitchell","year":"1986","journal-title":"Mach. Learn."},{"key":"10.1016\/0004-3702(94)90028-0_BIB31","series-title":"Proceedings Sixth International Conference on Machine Learning","first-page":"5","article-title":"Induction over the unexplained: integrated learning of concepts with both explainable and conventional aspects","author":"Mooney","year":"1989"},{"key":"10.1016\/0004-3702(94)90028-0_BIB32","article-title":"Theory refinement with noisy data","author":"Mooney","year":"1991"},{"key":"10.1016\/0004-3702(94)90028-0_BIB33","series-title":"Proceedings IJCAI-87","first-page":"287","article-title":"Duce, an oracle based approach to constructive induction","author":"Muggleton","year":"1987"},{"key":"10.1016\/0004-3702(94)90028-0_BIB34","series-title":"Proceedings Fifth International Conference on Machine Learning","first-page":"339","article-title":"Machine invention of first-order predicates by inverting resolution","author":"Muggleton","year":"1988"},{"key":"10.1016\/0004-3702(94)90028-0_BIB35","article-title":"Abductive explanations for text understanding: some problems and solutions","author":"Ng","year":"1989"},{"key":"10.1016\/0004-3702(94)90028-0_BIB36","series-title":"Proceedings AAAI-91","article-title":"An efficient first-order abduction system based on the ATMS","author":"Ng","year":"1991"},{"key":"10.1016\/0004-3702(94)90028-0_BIB37","article-title":"Using explanation-based and empirical methods in theory revision","author":"Ourston","year":"1991"},{"key":"10.1016\/0004-3702(94)90028-0_BIB38","series-title":"Proceedings Eighth International Workshop on Machine Learning","first-page":"534","article-title":"Improving shared rules in multiple category domain theories","author":"Ourston","year":"1991"},{"key":"10.1016\/0004-3702(94)90028-0_BIB39","series-title":"Proceedings Fifth Knowledge Acquisition for Knowledge-Based Systems Workshop","article-title":"Detecting and correcting errors in rule-based expert systems: an integration of empirical and explanation-based learning","author":"Pazzani","year":"1990"},{"key":"10.1016\/0004-3702(94)90028-0_BIB40","series-title":"Proceedings Eighth International Workshop on Machine Learning","first-page":"432","article-title":"A knowledge-intensive approach to learning relational concepts","author":"Pazzani","year":"1991"},{"issue":"1","key":"10.1016\/0004-3702(94)90028-0_BIB41","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BF00116251","article-title":"Induction of decision trees","volume":"1","author":"Quinlan","year":"1986","journal-title":"Mach. Learn."},{"key":"10.1016\/0004-3702(94)90028-0_BIB42","series-title":"Proceedings IJCAI-87","first-page":"304","article-title":"Generating production rules from decision trees","author":"Quinlan","year":"1987"},{"issue":"3","key":"10.1016\/0004-3702(94)90028-0_BIB43","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF00117105","article-title":"Learning logical definitions from relations","volume":"5","author":"Quinlan","year":"1990","journal-title":"Mach. Learn."},{"key":"10.1016\/0004-3702(94)90028-0_BIB44","series-title":"Computational Models of Scientific Discovery and Theory Formation","first-page":"225","article-title":"A computational approach to theory revision","author":"Rajamoney","year":"1990"},{"key":"10.1016\/0004-3702(94)90028-0_BIB45","series-title":"Proceedings Eighth International Workshop on Machine Learning","first-page":"447","article-title":"First-order theory revision","author":"Richards","year":"1991"},{"key":"10.1016\/0004-3702(94)90028-0_BIB46","first-page":"318","article-title":"Learning internal representations by error propagation","volume":"Vol. I","author":"Rumelhart","year":"1986"},{"key":"10.1016\/0004-3702(94)90028-0_BIB47","series-title":"Proceedings of the Sixth International Workshop on Machine Learning: Section on Combining Empirical and Explanation-Based Learning","year":"1989"},{"key":"10.1016\/0004-3702(94)90028-0_BIB48","series-title":"Proceedings AAAI-90","first-page":"343","article-title":"Abductive and default reasoning: a computational core","author":"Selman","year":"1990"},{"key":"10.1016\/0004-3702(94)90028-0_BIB49","article-title":"A prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation","author":"Stickel","year":"1988"},{"key":"10.1016\/0004-3702(94)90028-0_BIB50","series-title":"Proceedings Eighth International Workshop on Machine Learning","first-page":"549","article-title":"A method for multistrategy task-adaptive learning based on plausible justifications","author":"Tecuci","year":"1991"},{"key":"10.1016\/0004-3702(94)90028-0_BIB51","series-title":"Proceedings International Workshop on Multistrategy Learning","first-page":"257","article-title":"Refining symbolic knowledge using neural networks","author":"Towell","year":"1991"},{"key":"10.1016\/0004-3702(94)90028-0_BIB52","series-title":"Proceedings AAAI-90","first-page":"861","article-title":"Refinement of approximate domain theories by knowledge-based artificial neural networks","author":"Towell","year":"1990"},{"key":"10.1016\/0004-3702(94)90028-0_BIB53","article-title":"Knowledge-based learning: an integration of deductive and inductive learning for knowledge base completion","author":"Whitehall","year":"1990"},{"key":"10.1016\/0004-3702(94)90028-0_BIB54","series-title":"Proceedings AAAI-88","first-page":"646","article-title":"Knowlege base refinement using apprenticeship learning techniques","author":"Wilkins","year":"1988"},{"key":"10.1016\/0004-3702(94)90028-0_BIB55","series-title":"Proceedings AAAI-83","first-page":"433","article-title":"Learning physical descriptions from functional definitions, examples, and precedents","author":"Winston","year":"1983"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294900280?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0004370294900280?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,27]],"date-time":"2019-03-27T00:55:45Z","timestamp":1553648145000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0004370294900280"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,4]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,4]]}},"alternative-id":["0004370294900280"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(94)90028-0","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1994,4]]}}}