{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:46Z","timestamp":1761611146371},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[1993,8,1]],"date-time":"1993-08-01T00:00:00Z","timestamp":744163200000},"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":[[1993,8]]},"DOI":"10.1007\/bf00993062","type":"journal-article","created":{"date-parts":[[2005,1,9]],"date-time":"2005-01-09T17:17:35Z","timestamp":1105291055000},"page":"89-116","source":"Crossref","is-referenced-by-count":11,"title":["Design methods for scientific hypothesis formation and their application to molecular biology"],"prefix":"10.1007","volume":"12","author":[{"given":"Peter D.","family":"Karp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Exclusion methods for the determination of protein structure from experimental data","author":"R. Altman","year":"1989","unstructured":"Altman, R. (1989).Exclusion methods for the determination of protein structure from experimental data. Ph.D. thesis, Stanford University Medical Information Sciences, Stanford, CA."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/0022-2836(76)90316-8","volume":"103","author":"K. Bertrand","year":"1976","unstructured":"Bertrand, K., & Yanofsky, C. (1976). Regulation of transcription termination in the leader region of the tryptophan operon ofE. coli involves tryptophan or its metabolic product.Journal of Molecular Biology, 103, 339?349.","journal-title":"Journal of Molecular Biology"},{"key":"CR3","volume-title":"Pattern-Directed Inference Systems","author":"B. Buchanan","year":"1978","unstructured":"Buchanan, B., & Mitchell, T. (1978). Model-directed learning of production rules. InPattern-Directed Inference Systems. New York: Academic Press."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","volume":"32","author":"D. Chapman","year":"1987","unstructured":"Chapman, D. (1987). Planning for conjunctive goals.Artificial Intelligence, 32, 333?377.","journal-title":"Artificial Intelligence"},{"key":"CR5","volume-title":"Constraint propagation techniques for theory-driven data interpretation","author":"T. Dietterich","year":"1984","unstructured":"Dietterich, T. (1984).Constraint propagation techniques for theory-driven data interpretation. Ph.D. thesis, Stanford University, Stanford, CA. Also STAN-CS-84-1030 and HPP Report 84?46."},{"key":"CR6","unstructured":"Dietterich, T., & Bennett, J. (1986). The test incorporation theory of problem-solving (preliminary report). InProceedings of the Workshop on Knowledge Compilation."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., & Nilsson, N. (1971). STRIPS: A new approach to the application of theorem proving to problem solving.Artificial Intelligence, 2, 189?208.","journal-title":"Artificial Intelligence"},{"key":"CR8","series-title":"Technical Report TR-789)","doi-asserted-by":"crossref","DOI":"10.21236\/ADA465743","volume-title":"Qualitative process theory","author":"K. Forbus","year":"1984","unstructured":"Forbus, K. (1984). Qualitative process theory (Technical Report TR-789). Cambridge, MA: Massachusetts Institute of Technology AI Laboratory."},{"key":"CR9","volume-title":"Knowledge-based hierarchical planning in molecular genetics","author":"P. Friedland","year":"1979","unstructured":"Friedland, P. (1979).Knowledge-based hierarchical planning in molecular genetics. Ph.D. thesis, Stanford University Computer Science Department, Stanford, CA. Report CS-79-760."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0022-2836(69)90340-4","volume":"39","author":"S. Hiraga","year":"1969","unstructured":"Hiraga, S. (1969). Operator mutants of the tryptophan operon inE. coli.Journal of Molecular Biology, 39, 159?179.","journal-title":"Journal of Molecular Biology"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0022-2836(73)90082-X","volume":"76","author":"E. Jackson","year":"1973","unstructured":"Jackson, E., & Yanofsky, C. (1973). The region between the operator and first structural gene of the tryptophan operan ofE. coli may have a regulatory function.Journal of Molecular Biology, 76, 89?101.","journal-title":"Journal of Molecular Biology"},{"key":"CR12","series-title":"Technical reports STAN-CS-89-1263, KSL-89-52","volume-title":"Hypothesis formation and qualitative reasoning in molecular biology","author":"P. Karp","year":"1989","unstructured":"Karp, P. (1989).Hypothesis formation and qualitative reasoning in molecular biology. Ph.D. thesis, Stanford University Computer Science Department, Stanford, CA. Technical reports STAN-CS-89-1263, KSL-89-52."},{"key":"CR13","unstructured":"Karp, P. (1990). Hypothesis formation as design. InComputational models of discovery and theory formation. Morgan Kaufmann. See also Stanford University Knowledge Systems Laboratory report KSL-89-11."},{"key":"CR14","series-title":"Stanford University Knowledge Systems Laboratory report KSL-87-09","volume-title":"Artificial Intelligence, Modeling and Simulation","author":"P. Karp","year":"1989","unstructured":"Karp, P., & Friedland, P. (1989). Coordinating the use of qualitative and quantitative knowledge in declarative device modeling. InArtificial Intelligence, Modeling and Simulation. New York: John Wiley and Sons. See also Stanford University Knowledge Systems Laboratory report KSL-87-09."},{"key":"CR15","unstructured":"Karp, P.D. (in press). A qualitative biochemistry and its application to the regulation of the tryptophan operon. In L. Hunter (Ed.),Artificial intelligence and molecular biology. Menlo Park, CA: AAAI Press."},{"key":"CR16","unstructured":"Kulkarni, D. (1988).The processes of scientific research: The strategy of experimentation. Ph.D. thesis, Carnegie Mellon University Computer Science Department. CMU School of Computer Science Technical report 88?207."},{"key":"CR17","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., & ?ytkow, J. (1987).Scientific discovery: Computational explorations of the creative process. Cambridge, MA: MIT Press."},{"key":"CR18","volume-title":"Applications of artificial intelligence for organic chemistry: The DENDRAL project","author":"R. Lindsay","year":"1980","unstructured":"Lindsay, R., Buchanan, B.G., A., F.E., & Lederberg, J. (1980).Applications of artificial intelligence for organic chemistry: The DENDRAL project. New York: McGraw-Hill."},{"key":"CR19","unstructured":"Pednault, E. (1988). Extending conventional planning techniques to handle actions with context-dependent effects. InProceedings of the 1988 National Conference on Artificial Intelligence, (pp. 55?59). Morgan Kaufmann."},{"key":"CR20","unstructured":"Rajamoney, S. (1988).Explanation-based theory revision: An approach to the problems of incomplete and incorrect theories. Ph.D. thesis, University of Illinois Department of Computer Science."},{"key":"CR21","volume-title":"Combining associational and causal reasoning to solve interpretation and planning problems","author":"R. Simmons","year":"1988","unstructured":"Simmons, R. (1988).Combining associational and causal reasoning to solve interpretation and planning problems. Ph.D. thesis, Massachusetts Institute of Technology, Cambridge, MA."},{"key":"CR22","volume-title":"Planning with constraints","author":"M. Stefik","year":"1980","unstructured":"Stefik, M. (1980).Planning with constraints. Ph.D. thesis, Stanford University Computer Science Department, Stanford, CA. Technical reports HPP-89-2, STAN-CS-80-784."},{"key":"CR23","volume-title":"Knowledge-based circuit design","author":"C. Tong","year":"1988","unstructured":"Tong, C. (1988).Knowledge-based circuit design. Ph.D. thesis, Stanford University Computer Science Department, Stanford, CA."},{"key":"CR24","unstructured":"Yanofsky, C. (1989). Personal communication."}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00993062.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00993062\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00993062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,3]],"date-time":"2021-07-03T21:26:38Z","timestamp":1625347598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00993062"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,8]]},"references-count":24,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1993,8]]}},"alternative-id":["BF00993062"],"URL":"https:\/\/doi.org\/10.1007\/bf00993062","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,8]]}}}