{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:35Z","timestamp":1725489515115},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540739197"},{"type":"electronic","value":"9783540739203"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73920-3_6","type":"book-chapter","created":{"date-parts":[[2007,8,23]],"date-time":"2007-08-23T03:56:35Z","timestamp":1187841395000},"page":"120-137","source":"Crossref","is-referenced-by-count":1,"title":["Quantitative Revision of Scientific Models"],"prefix":"10.1007","author":[{"given":"Kazumi","family":"Saito","sequence":"first","affiliation":[]},{"given":"Pat","family":"Langley","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Chown, E., Dietterich, T.G.: A divide and conquer approach to learning from prior knowledge. In: Proceedings of the Seventeenth International Conference on Machine Learning, Stanford, CA, pp. 143\u2013150 (2000)","key":"6_CR1"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1162\/neco.1989.1.1.133","volume":"1","author":"R. Durbin","year":"1989","unstructured":"Durbin, R., Rumelhart, D.E.: Product units: A computationally powerful and biologically plausible extension. Neural Computation\u00a01, 133\u2013142 (1989)","journal-title":"Neural Computation"},{"key":"6_CR3","first-page":"403","volume":"1","author":"M.M. Kokar","year":"1986","unstructured":"Kokar, M.M.: Determining arguments of invariant functional descriptions. Machine Learning\u00a01, 403\u2013422 (1986)","journal-title":"Machine Learning"},{"unstructured":"Langley, P.: Rediscovering physics with Bacon.3. In: Proceedings of the Sixth International Joint Conference on Artificial Intelligence, Tokyo, Japan, pp. 505\u2013507 (1979)","key":"6_CR4"},{"doi-asserted-by":"crossref","unstructured":"Langley, P.: The computer-aided discovery of scientific knowledge. In: Proceedings of the First International Conference on Discovery Science. Fukuoka, Japan (1998)","key":"6_CR5","DOI":"10.1007\/3-540-49292-5_3"},{"key":"6_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6090.001.0001","volume-title":"Scientific discovery: Computational explorations of the creative processes","author":"P. Langley","year":"1987","unstructured":"Langley, P., Simon, H.A., Bradshaw, G.L., \u017bytkow, J.M.: Scientific discovery: Computational explorations of the creative processes. MIT Press, Cambridge, MA (1987)"},{"unstructured":"Lenat, D.B.: Automated theory formation in mathematics. In: Proceedings of the Fifth International Joint Conference on Artificial Intelligence, Cambridge, MA, pp. 833\u2013842 (1977)","key":"6_CR7"},{"key":"6_CR8","volume-title":"Applications of artificial intelligence for organic chemistry: The Dendral project","author":"R.K. Lindsay","year":"1980","unstructured":"Lindsay, R.K., Buchanan, B.G., Feigenbaum, E.A., Lederberg, J.: Applications of artificial intelligence for organic chemistry: The Dendral project. McGraw-Hill, New York (1980)"},{"unstructured":"Ourston, D., Mooney, R.: Changing the rules: A comprehensive approach to theory refinement. In: Proceedings of the Eighth National Conference on Artificial Intelligence, Boston, MA, pp. 815\u2013820 (1990)","key":"6_CR9"},{"key":"6_CR10","first-page":"1","volume":"49B","author":"C.S. Potter","year":"1997","unstructured":"Potter, C.S., Klooster, S.A.: Global model estimates of carbon and nitrogen storage in litter and soil pools: Response to change in vegetation quality and biomass allocation. Tellus\u00a049B, 1\u201317 (1997)","journal-title":"Tellus"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1029\/98GB02425","volume":"12","author":"C.S. Potter","year":"1998","unstructured":"Potter, C.S., Klooster, S.A.: Interannual variability in soil trace gas (CO2, N2O, NO) fluxes and analysis of controllers on regional to global scales. Global Biogeochemical Cycles\u00a012, 621\u2013635 (1998)","journal-title":"Global Biogeochemical Cycles"},{"unstructured":"Saito, K., Nakano, R.: Law discovery using neural networks. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, pp. 1078\u20131083 (1997)","key":"6_CR12"},{"doi-asserted-by":"crossref","unstructured":"Saito, K., Nakano, R.: Discovery of nominally conditioned polynomials using neural networks, vector quantizers and decision trees. In: Proceedings of the Third International Conference on Discovery Science, Kyoto, Japan, pp. 325\u2013329 (2000)","key":"6_CR13","DOI":"10.1007\/3-540-44418-1_40"},{"unstructured":"Schwabacher, M., Langley, P.: Discovering communicable scientific knowledge from spatio-temporal data. In: Proceedings of the Eighteenth International Conference on Machine Learning, Williamstown, MA, pp. 489\u2013496 (2001)","key":"6_CR14"},{"unstructured":"Todorovski, L., D\u017eeroski, S.: Declarative bias in equation discovery. In: Proceedings of the Fourteenth International Conference on Machine Learning, Nashville, TN, pp. 376\u2013384 (1997)","key":"6_CR15"},{"doi-asserted-by":"crossref","unstructured":"Todorovski, L., Dzeroski, S.: Theory revision in equation discovery. In: Proceedings of the Fourth International Conference on Discovery Science, Washington, D.C., pp. 389\u2013400 (2001)","key":"6_CR16","DOI":"10.1007\/3-540-45650-3_33"},{"unstructured":"Towell, G.: Symbolic knowledge and neural networks: Insertion, refinement, and extraction. Doctoral dissertation, Computer Sciences Department, University of Wisconsin, Madison (1991)","key":"6_CR17"},{"unstructured":"Washio, T., Motoda, H.: Discovering admissible simultaneous equations of large scale systems. In: Proceedings of the Fifteenth National Conference on Artificial Intelligence, Madison, WI, pp. 189\u2013196 (1998)","key":"6_CR18"},{"unstructured":"\u017bytkow, J.M., Zhu, J., Hussam, A.: Automated discovery in a chemistry laboratory. In: Proceedings of the Eighth National Conference on Artificial Intelligence, Boston, MA, pp. 889\u2013894 (1990)","key":"6_CR19"}],"container-title":["Lecture Notes in Computer Science","Computational Discovery of Scientific Knowledge"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73920-3_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,22]],"date-time":"2021-08-22T01:48:50Z","timestamp":1629596930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73920-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540739197","9783540739203"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73920-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}