{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,22]],"date-time":"2024-12-22T18:10:08Z","timestamp":1734891008852,"version":"3.32.0"},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1995,5,1]],"date-time":"1995-05-01T00:00:00Z","timestamp":799286400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[1995,5]]},"DOI":"10.1007\/bf01007461","type":"journal-article","created":{"date-parts":[[2005,1,19]],"date-time":"2005-01-19T09:22:51Z","timestamp":1106126571000},"page":"95-131","source":"Crossref","is-referenced-by-count":22,"title":["Automated refinement of first-order horn-clause domain theories"],"prefix":"10.1007","volume":"19","author":[{"given":"Bradley L.","family":"Richards","sequence":"first","affiliation":[]},{"given":"Raymond J.","family":"Mooney","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"7","volume-title":"Proceedings of the Ninth European Conference on Artificial Intelligence","author":"M. Aben","year":"1990","unstructured":"Aben, M., & van Someren, M. (1990). Heuristic Refinement of Logic Programs.Proceedings of the Ninth European Conference on Artificial Intelligence (pp. 7?12). London: Pitman."},{"key":"CR2","volume-title":"Inductive Logic Programming","author":"M. Bain","year":"1992","unstructured":"Bain, M., & Muggleton, S. (1992a). Non-monotonic learning. In S. Muggleton (Ed.),Inductive Logic Programming. New York, NY: Academic Press."},{"key":"CR3","volume-title":"Inductive Logic Programming","author":"M. Bain","year":"1992","unstructured":"Bain, M., & Muggleton, S. (1992b). Experiments in Non-monotonic First-Order Induction. In S. Muggleton (Ed.),Inductive Logic Programming. New York, NY: Academic Press."},{"key":"CR4","first-page":"305","volume-title":"Proceedings of the Fifth International Workshop on Machine Learning","author":"F. Bergadano","year":"1988","unstructured":"Bergadano, F., & Giordana, A. (1988). A knowledge intensive approach to concept induction.Proceedings of the Fifth International Workshop on Machine Learning (pp. 305?317). San Mateo, CA: Morgan Kaufman."},{"key":"CR5","volume-title":"Prolog programming for artificial intelligence","author":"I. Bratko","year":"1991","unstructured":"Bratko, I. (1991).Prolog programming for artificial intelligence. Reading: MA, Addison Wesley."},{"key":"CR6","volume-title":"KARDIO: A study in deep and qualitative knowledge for expert systems","author":"I. Bratko","year":"1989","unstructured":"Bratko, I., Mozetic, I., & Lavrac, N. (1989)KARDIO: A study in deep and qualitative knowledge for expert systems. Cambridge, MA: MIT Press."},{"key":"CR7","first-page":"385","volume-title":"Proceedings of the Eighth International Workshop on Machine Learning","author":"I. Bratko","year":"1991","unstructured":"Bratko, I., Muggleton, S., & Varsek, A. (1991). Learning qualitative models of dynamic systems.Proceedings of the Eighth International Workshop on Machine Learning (pp. 385?388). San Mateo, CA: Morgan Kaufman."},{"key":"CR8","first-page":"485","volume-title":"Proceedings of the Eighth International Workshop on Machine Learning","author":"T. Cain","year":"1991","unstructured":"Cain, T. (1991). The DUCTOR: A theory revision system for propositional domains.Proceedings of the Eighth International Workshop on Machine Learning (pp. 485?489). San Mateo: CA: Morgan Kaufman."},{"key":"CR9","first-page":"102","volume-title":"Proceedings of the Ninth International Conference on Machine Learning","author":"W. Cohen","year":"1992","unstructured":"Cohen, W. (1992). Compiling prior knowledge into an explicit bias.Proceedings of the Ninth International Conference on Machine Learning (pp. 102?110). San Mateo, CA: Morgan Kaufman."},{"key":"CR10","first-page":"86","volume-title":"Proceedings of the Eleventh National Conference on Artificial Intelligence","author":"W. Cohen","year":"1993","unstructured":"Cohen, W. (1993). Pac-learning a restricted class of recursive logic programs.Proceedings of the Eleventh National Conference on Artificial Intelligence (pp. 86?92). San Mateo, CA: Morgan Kaufman."},{"key":"CR11","unstructured":"Coiera, E. (1989). Generating qualitative models from example behaviors. Technical Report DCS 8901, Department of Computer Science, University of New South Wales."},{"key":"CR12","first-page":"28","volume-title":"Proceedings of the Eighth International Workshop on Machine Learning","author":"S. Craw","year":"1991","unstructured":"Craw, S., & Sleeman, D. (1991). The flexibility of speculative refinement.Proceedings of the Eighth International Workshop on Machine Learning (pp. 28?32). San Mateo, CA: Morgan Kaufman."},{"key":"CR13","first-page":"107","volume":"8","author":"L. DeRaedt","year":"1992","unstructured":"DeRaedt, L., & Bruynooghe, M. (1992). Interactive concept learning and constructive induction by analogy.Machine Learning, 8, 107?150.","journal-title":"Machine Learning"},{"key":"CR14","volume-title":"Computational Models of Scientific Discovery and Theory Formation","author":"B. Falkenhainer","year":"1990","unstructured":"Falkenhainer, B. (1990). A unified approach to explanation and theory formation. In J. Shrager and P. Langley (Eds.),Computational Models of Scientific Discovery and Theory Formation. San Mateo, CA: Morgan Kaufman."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0004-3702(91)90109-W","volume":"51","author":"B. Falkenhainer","year":"1991","unstructured":"Falkenhainer, B., & Forbus, K. (1991). Compositional modelling: Finding the right model for the job.Artificial Intelligence, 51, 95?144.","journal-title":"Artificial Intelligence"},{"key":"CR16","first-page":"353","volume-title":"Proceedings of the Fifth International Conference on Machine Learning","author":"B. Falkenhainer","year":"1988","unstructured":"Falkenhainer, B., & Rajamoney, S. (1988). The interdependencies of theory formation, revision, and experimentation.Proceedings of the Fifth International Conference on Machine Learning (pp. 353?366). San Mateo, CA: Morgan Kaufman."},{"volume-title":"Belief Revision","year":"1992","key":"CR17","unstructured":"G\u00e4rdenfors, P. (1992) (Ed.).Belief Revision. Cambridge, England: Cambridge University Press."},{"key":"CR18","first-page":"777","volume-title":"Proceedings of the Eighth National Conference on Artificial Intelligence","author":"A. Ginsberg","year":"1990","unstructured":"Ginsberg, A. (1990). Theory reduction, theory revision and retranslation.Proceedings of the Eighth National Conference on Artificial Intelligence (pp. 777?782). Cambridge, MA: MIT Press."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(88)90012-4","volume":"35","author":"A. Ginsberg","year":"1988","unstructured":"Ginsberg, A., & Weiss, S. and Politakis, P. (1988). Automatic knowledge-base refinement for classification systems.Artificial Intelligence, 35, 197?226.","journal-title":"Artificial Intelligence"},{"key":"CR20","first-page":"1","volume-title":"Proceedings of the Eighth Annual Conference of the Cognitive Science Society","author":"G.E. Hinton","year":"1986","unstructured":"Hinton, G.E. (1986). Learning distributed representations of concepts.Proceedings of the Eighth Annual Conference of the Cognitive Science Society (pp. 1?12). Hillsdale, NJ: Erlbaum."},{"key":"CR21","unstructured":"Kay, H. (1992). A qualitative model of the space shuttle reaction control system. Technical Report AI92-188, Artificial Intelligence Laboratory, University of Texas at Austin."},{"key":"CR22","first-page":"44","volume-title":"Proceedings of the Tenth National Conference on Artificial Intelligence","author":"B. Kijsirikul","year":"1992","unstructured":"Kijsirikul, B., Numao, M., & Shimura, M. (1992). Discrimination-based constructive induction of logic programs.Proceedings of the Tenth National Conference on Artificial Intelligence (pp. 44?49). Cambridge, MA: MIT Press."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","volume":"29","author":"B. Kuipers","year":"1986","unstructured":"Kuipers, B. (1986). Qualitative simulation.Artificial Intelligence, 29, 289?338.","journal-title":"Artificial Intelligence"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/0005-1098(89)90099-X","volume":"25","author":"B. Kuipers","year":"1989","unstructured":"Kuipers, B. (1989). Qualitative reasoning: Modelling and simulation with incomplete knowledgeAutomatica, 25, 571?585.","journal-title":"Automatica"},{"key":"CR25","unstructured":"Langley, P. (1980). Finding common paths as a learning mechanism. CIP Working Paper 419, Carnegie-Mellon University."},{"key":"CR26","first-page":"273","volume-title":"Proceedings of the Ninth International Conference on Machine Learning","author":"S. Lapointe","year":"1992","unstructured":"Lapointe, S., & Matwin, S. (1992). Sub-unification: A tool for efficient induction of recursive programs.Proceedings of the Ninth International Conference on Machine Learning (pp. 273?281). San Mateo, CA: Morgan Kaufman."},{"key":"CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W. (1987).Foundations of logic programming, second, extended edition. Berlin: Springer-Verlag.","edition":"second, extende"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1080\/09540099308915704","volume":"5","author":"J. Mahoney","year":"1993","unstructured":"Mahoney, J., & Mooney, R. (1993). Combining connectionist and symbolic learning to refine certainty-factor rule bases.Connection Science, 5, 339?364.","journal-title":"Connection Science"},{"key":"CR29","unstructured":"Mooney, R.J. (in press). A preliminary PAC analysis of theory revision. In T. Petsche, S. Judd, and S. Hanson (Eds.)Computational Learning Theory and Natural Learning Systems, Vol. 3. Cambridge, MA: MIT Press."},{"key":"CR30","first-page":"3","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, S. (1992a). Inductive logic programming. In S. Muggleton (Ed.),Inductive Logic Programming (pp. 3?27). New York, NY: Academic Press."},{"key":"CR31","unstructured":"Muggleton, S. (1992b). Inverting implication.Proceedings of the Second International Workshop on Inductive Logic Programming. Tokyo."},{"key":"CR32","first-page":"339","volume-title":"Proceedings of the Fifth International Conference on Machine Learning","author":"S. Muggleton","year":"1988","unstructured":"Muggleton, S., & Buntine, W. (1988). Machine invention of first-order predicates by inverting resolution.Proceedings of the Fifth International Conference on Machine Learning (pp. 339?352). San Mateo, CA: Morgan Kaufman."},{"key":"CR33","first-page":"281","volume-title":"Inductive Logic Programming","author":"S Muggleton","year":"1992","unstructured":"Muggleton, S & Feng, C. (1992). Efficient induction of logic programs. In S. Muggleton (Ed.)Inductive Logic Programming (pp. 281?298). New York, NY: Academic Press."},{"key":"CR34","first-page":"815","volume-title":"Proceedings of the Eighth National Conference on Artificial Intelligence","author":"D. Ourston","year":"1990","unstructured":"Ourston, D., & Mooney, R. (1990). Changing the rules: A comprehensive approach to theory refinement.Proceedings of the Eighth National Conference on Artificial Intelligence (pp. 815?820). Cambridge, MA: MIT press."},{"key":"CR35","first-page":"534","volume-title":"Proceedings of the Eighth International Workshop on Machine Learning","author":"D. Ourston","year":"1991","unstructured":"Ourston, D., & Mooney, R. (1991). Improving shared rules in multiple category domain theories.Proceedings of the Eighth International Workshop on Machine Learning (pp. 534?538). San Mateo, CA: Morgan Kaufman."},{"key":"CR36","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0004-3702(94)90028-0","volume":"66","author":"D. Ourston","year":"1994","unstructured":"Ourston, D., & Mooney, R. (1994). Theory refinement combining analytical and empirical methods.Artificial Intelligence, 66, 311?344.","journal-title":"Artificial Intelligence"},{"key":"CR37","unstructured":"Pazzani, M., & Brunk, C. (1990). Detecting and correcting errors in rule-based expert systems: An integration of empirical and explanation-based learning.Proceedings of the 5th Knowledge Acquisition for Knowledge-Based Systems Workshop."},{"key":"CR38","first-page":"57","volume":"9","author":"M. Pazzani","year":"1992","unstructured":"Pazzani, M., & Kibler, D. (1992). The utility of prior knowledge in inductive learning.Machine Learning, 9, 57?94.","journal-title":"Machine Learning"},{"key":"CR39","volume-title":"Automatic Methods of Inductive Inference","author":"G. D. Plotkin","year":"1971","unstructured":"Plotkin, G. D. (1971). Automatic Methods of Inductive Inference. Ph.D. Thesis. Edinburgh University, Edinburgh, Scotland."},{"key":"CR40","volume-title":"Semantic Information Processing","author":"M.R. Quillian","year":"1968","unstructured":"Quillian, M.R. (1968). Semantic memory. In M. Minsky (Ed.)Semantic Information Processing. Cambridge, MA: MIT Press."},{"key":"CR41","first-page":"239","volume":"5","author":"J.R. Quinlan","year":"1990","unstructured":"Quinlan, J.R. (1990). Learning logical definitions from relations.Machine Learning, 5, 239?266.","journal-title":"Machine Learning"},{"key":"CR42","first-page":"442","volume-title":"Proceedings of the Eighth International Workshop on Machine Learning","author":"J.R. Quinlan","year":"1991","unstructured":"Quinlan, J.R. (1991). Determinate literals in inductive logic programming.Proceedings of the Eighth International Workshop on Machine Learning (pp. 442?446). San Mateo, CA: Morgan Kaufman."},{"key":"CR43","volume-title":"Computational Models of Scientific Discovery and Theory Formation","author":"S. Rajamoney","year":"1990","unstructured":"Rajamoney, S. (1990). A computational approach to theory revision. In J. Shrager and P. Langley (Eds.),Computational Models of Scientific Discovery and Theory Formation. San Mateo, CA: Morgan Kaufman."},{"key":"CR44","unstructured":"Richards, B. (1992). An operator-based approach to first-order theory revision. Ph.D. Thesis. Department of Computer Sciences, University of Texas, Austin, TX. Also appears as Technical Report AI 92-181, Artificial Intelligence Laboratory."},{"key":"CR45","first-page":"723","volume-title":"Proceedings of the Tenth National Conference on Artificial Intelligence","author":"B. Richards","year":"1992","unstructured":"Richards, B., Kraan, I., & Kuipers, B. (1992). Automatic abduction of qualitative models.Proceedings of the Tenth National Conference on Artificial Intelligence (pp. 723?728). Cambridge, MA: MIT Press."},{"key":"CR46","first-page":"50","volume-title":"Proceedings of the Tenth National Conference on Artificial Intelligence","author":"B. Richards","year":"1992","unstructured":"Richards, B., & Mooney, R. (1992). Learning relations by pathfinding.Proceedings of the Tenth National Conference on Artificial Intelligence (pp. 50?55). Cambridge, MA: MIT Press."},{"key":"CR47","volume-title":"Machine Learning: An Artificial Intelligence Approach, Volume II","author":"C. Sammut","year":"1986","unstructured":"Sammut, C., & Banerji, R.B. (1986). Learning concepts by asking questions. In R.S. Michalski, J.G. Carbonell, and T.M. Mitchell (Eds.)Machine Learning: An Artificial Intelligence Approach, Volume II. San Mateo, CA: Morgan Kaufman."},{"key":"CR48","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic program debugging","author":"E. Shapiro","year":"1983","unstructured":"Shapiro, E. (1983).Algorithmic program debugging. Cambridge, MA: MIT Press."},{"key":"CR49","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/0025-5564(75)90047-4","volume":"23","author":"E.H. Shortliffe","year":"1975","unstructured":"Shortliffe, E.H., & Buchanan, B.G. (1975). A model of inexact reasoning in medicine.Mathematical Biosciences, 23, 351?379.","journal-title":"Mathematical Biosciences"},{"key":"CR50","first-page":"436","volume-title":"Proceeding of the Ninth International Conference on Machine Learning","author":"S. Tangkitvanich","year":"1992","unstructured":"Tangkitvanich, S., & Shimura, M. (1992). Refining a relational theory with multiple faults in the concept and subconcepts.Proceeding of the Ninth International Conference on Machine Learning (pp. 436?444). San Mateo, CA: Morgan Kaufman."},{"key":"CR51","first-page":"71","volume":"13","author":"G. Towell","year":"1993","unstructured":"Towell, G., & Shavlik, J. (1993). Extracting refined rules from knowledge-based neural networks.Machine Learning, 13, 71?101.","journal-title":"Machine Learning"},{"key":"CR52","first-page":"646","volume-title":"Proceedings of the Seventh National Conference on Artificial Intelligence","author":"D. Wilkins","year":"1988","unstructured":"Wilkins, D. (1988). Knowledge base refinement using apprenticeship learning techniques.Proceedings of the Seventh National Conference on Artificial Intelligence (pp. 646?651). San Mateo, CA: Morgan Kaufman."},{"key":"CR53","first-page":"457","volume-title":"Proceedings of the Eighth International Workshop on Machine Learning","author":"R. Wirth","year":"1991","unstructured":"Wirth, R., & O'Rorke, P. (1991). Constraints on predicate invention.Proceedings of the Eighth International Workshop on Machine Learning (pp. 457?461). San Mateo, CA: Morgan Kaufman."},{"key":"CR54","doi-asserted-by":"crossref","unstructured":"Wrobel, S. (1993). On the proper definition of minimality in specialization and theory revision. In Brazdil (Ed.)Machine Learning ? ECML-93 (pp. 65?81). Springer Lecture Notes on Artificial Intelligence Vol. 667.","DOI":"10.1007\/3-540-56602-3_128"},{"key":"CR55","first-page":"462","volume-title":"Proceedings of the Eighth International Workshop on Machine Learning","author":"J. Wogulis","year":"1991","unstructured":"Wogulis, J. (1991). Revising relational domain theories.Proceedings of the Eighth International Workshop on Machine Learning (pp. 462?466). San Mateo, CA: Morgan Kaufman."}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01007461.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01007461\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01007461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,22]],"date-time":"2024-12-22T17:38:12Z","timestamp":1734889092000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01007461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,5]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,5]]}},"alternative-id":["BF01007461"],"URL":"https:\/\/doi.org\/10.1007\/bf01007461","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"type":"print","value":"0885-6125"},{"type":"electronic","value":"1573-0565"}],"subject":[],"published":{"date-parts":[[1995,5]]}}}