{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T06:10:10Z","timestamp":1747894210548,"version":"3.41.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Minds and Machines"],"published-print":{"date-parts":[[2000,5]]},"DOI":"10.1023\/a:1017162829874","type":"journal-article","created":{"date-parts":[[2002,12,29]],"date-time":"2002-12-29T20:19:29Z","timestamp":1041193169000},"page":"301-304","source":"Crossref","is-referenced-by-count":0,"title":["Donald Gillies, Artificial Intelligence and Scientific Method, Oxford: Oxford University Press, 1996, xiii + 176 pp., $65.00 (cloth), ISBN 0-19-875158-3, $21.95 (paper), ISBN 0-19-875159-1."],"prefix":"10.1007","volume":"10","member":"297","reference":[{"key":"189653_CR1","volume-title":"The New Organon","author":"F. Bacon","year":"1960","unstructured":"Bacon, Francis (1620), The New Organon, New York: Bobbs-Merrill, 1960."},{"key":"189653_CR2","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1525\/9780520317130-006","volume-title":"Logic of Discovery and Diagnosis in Medicine","author":"B. Buchanan","year":"1985","unstructured":"Buchanan, Bruce (1985), 'Steps Toward Mechanizing Discovery', in Kenneth F. Schaffner, (ed.), Logic of Discovery and Diagnosis in Medicine, Berkeley: University of California Press, pp. 94-114."},{"issue":"2","key":"189653_CR3","first-page":"33","volume":"8","author":"L. Darden","year":"1987","unstructured":"Darden, Lindley (1987), 'Viewing the History of Science as Compiled Hindsight', AI Magazine, 8(2), pp. 33-41.","journal-title":"AI Magazine"},{"key":"189653_CR4","first-page":"319","volume-title":"Computational Models of Scientific Discovery and Theory Formation","author":"L. Darden","year":"1990","unstructured":"Darden, Lindley (1990), 'Diagnosing and Fixing Faults in Theories', in Jeff Shrager and Pat Langley, (eds.), Computational Models of Scientific Discovery and Theory Formation, San Mateo, CA: Morgan Kaufmann, pp. 319-346."},{"key":"189653_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195067972.001.0001","volume-title":"Theory Change in Science: Strategies from Mendelian Genetics","author":"L. Darden","year":"1991","unstructured":"Darden, Lindley (1991), Theory Change in Science: Strategies from Mendelian Genetics, NewYork: Oxford University Press."},{"key":"189653_CR6","first-page":"161","volume-title":"Proceedings of the 19th Annual Conference of the Cognitive Science Society (Stanford University)","author":"L. Darden","year":"1997","unstructured":"Darden, Lindley (1997), 'Recent Work in Computational Scientific Discovery', in Michael Shafto and Pat Langley, eds., Proceedings of the 19th Annual Conference of the Cognitive Science Society (Stanford University), Mahwah, NJ: Lawrence Erlbaum, pp. 161-166."},{"key":"189653_CR7","first-page":"62","volume-title":"The Digital Phoenix: How Computers are Changing Philosophy","author":"L. Darden","year":"1998","unstructured":"Darden, Lindley (1998), 'Anomaly-Driven Theory Redesign: Computational Philosophy of Science Experiments', in Terrell Ward Bynum and James Moor, (eds.), The Digital Phoenix: How Computers are Changing Philosophy, Oxford: Blackwell, pp. 62-78."},{"key":"189653_CR8","volume-title":"Mental Leaps: Analogy in Creative Thought","author":"K. J. Holyoak","year":"1995","unstructured":"Holyoak, Keith J. and Thagard, Paul (1995), Mental Leaps: Analogy in Creative Thought, Cambridge, MA: MIT Press."},{"key":"189653_CR9","first-page":"275","volume-title":"Computational Models of Scientific Discovery and Theory Formation","author":"P. Karp","year":"1990","unstructured":"Karp, Peter (1990), 'Hypothesis Formation as Design', in Jeff Shrager and Pat Langley, (eds.), Computational Models of Scientific Discovery and Theory Formation, San Mateo, CA: Morgan Kaufmann, pp. 275-317."},{"key":"189653_CR10","volume-title":"Elements of Machine Learning","author":"P. Langley","year":"1996","unstructured":"Langley, Pat (1996), Elements of Machine Learning, San Francisco: Morgan Kaufmann."},{"key":"189653_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6090.001.0001","volume-title":"Scientific Discovery: Computational Explorations of the Creative Process","author":"P. Langley","year":"1987","unstructured":"Langley, P., Simon, H., Bradshaw, G.L. and Zytkow, J.M. (1987), Scientific Discovery: Computational Explorations of the Creative Process, Cambridge, MA: MIT Press."},{"key":"189653_CR12","volume-title":"Machine Learning","author":"T. M. Mitchell","year":"1997","unstructured":"Mitchell, Tom M. (1997), Machine Learning, New York: McGraw-Hill."},{"key":"189653_CR13","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, Stephen, and Feng, C. (1992), 'Efficient Induction of Logic Programs', in Stephen Muggleton, (ed.), Inductive Logic Programming, London: Academic Press."},{"key":"189653_CR14","volume-title":"Conjectures and Refutations: The Growth of Scientific Knowledge","author":"K. Popper","year":"1968","unstructured":"Popper, Karl (1968), Conjectures and Refutations: The Growth of Scientific Knowledge, New York: Harper Torchbooks."},{"key":"189653_CR15","first-page":"35","volume":"20","author":"F. J. Provost","year":"1995","unstructured":"Provost, Foster John and Buchanan, Bruce (1995), 'Inductive Policy: The Pragmatics of Bias Selection', Machine Learning, 20, pp. 35-61.","journal-title":"Machine Learning"},{"key":"189653_CR16","first-page":"81","volume":"1","author":"J. R. Quinlan","year":"1986","unstructured":"Quinlan, J. Ross (1986), 'Induction of Decision Trees', Machine Learning 1, pp. 81-106.","journal-title":"Machine Learning"},{"volume-title":"Computational Models of Scientific Discovery and Theory Formation","year":"1990","unstructured":"Shrager, Jeff and Langley, Pat, (eds.) (1990), Computational Models of Scientific Discovery and Theory Formation, San Mateo, CA: Morgan Kaufmann.","key":"189653_CR17"},{"key":"189653_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1968.001.0001","volume-title":"Computational Philosophy of Science","author":"P. Thagard","year":"1988","unstructured":"Thagard, Paul (1988), Computational Philosophy of Science, Cambridge, MA: MIT Press."},{"key":"189653_CR19","volume-title":"Diagnostic Problem Solving: Combining Heuristic, Approximate, and Causal Reasoning","author":"P. Torasso","year":"1989","unstructured":"Torasso, Pietro and Console, Luca (1989), Diagnostic Problem Solving: Combining Heuristic, Approximate, and Causal Reasoning, New York: Van Nostrand Reinhold."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017162829874.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1017162829874\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1017162829874.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T05:31:49Z","timestamp":1747891909000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1017162829874"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,5]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000,5]]}},"alternative-id":["189653"],"URL":"https:\/\/doi.org\/10.1023\/a:1017162829874","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"type":"print","value":"0924-6495"},{"type":"electronic","value":"1572-8641"}],"subject":[],"published":{"date-parts":[[2000,5]]}}}