Automated scientific discovery
暂无分享,去创建一个
[1] Herbert A. Simon,et al. The Processes of Scientific Discovery: The Strategy of Experimentation , 1988, Cogn. Sci..
[2] Daniel N. Osherson,et al. A universal inductive inference machine , 1991, Journal of Symbolic Logic.
[3] Daniel N. Osherson,et al. Identification in the limit of first order structures , 1986, Journal of Philosophical Logic.
[4] Leslie G. Valiant,et al. A theory of the learnable , 1984, CACM.
[5] R. Harré,et al. Probability and Confirmation , 1970 .
[6] H. Simon,et al. Fitness Requirements for Scientific Theories Containing Recursive Theoretical Terms , 1993, The British Journal for the Philosophy of Science.
[7] Jan M. Zytkow,et al. Constructing Models of Hidden Structure , 1991, ISMIS.
[8] Cullen Schaffer. Bivariate Scientific Function Finding in a Sampled, Real-Data Testbed , 1993, Mach. Learn..
[9] Daniel N. Osherson,et al. Paradigms of truth detection , 1989, J. Philos. Log..
[10] Donald Rose. Using Domain Knowledge to Aid Scientific Theory Revision , 1989, ML.
[11] Wolfgang Maass,et al. On the complexity of learning from counterexamples , 1989, 30th Annual Symposium on Foundations of Computer Science.
[12] Vladimir Vapnik,et al. Chervonenkis: On the uniform convergence of relative frequencies of events to their probabilities , 1971 .
[13] Ray J. Solomonoff,et al. A Formal Theory of Inductive Inference. Part I , 1964, Inf. Control..
[14] Manuel Blum,et al. Toward a Mathematical Theory of Inductive Inference , 1975, Inf. Control..
[15] Jieming Zhu,et al. Automated Discovery in a Chemistry Laboratory , 1990, AAAI.
[16] Herbert A. Simon,et al. Scientific discovery: compulalional explorations of the creative process , 1987 .
[17] Ray J. Solomonoff,et al. A Formal Theory of Inductive Inference. Part II , 1964, Inf. Control..
[18] Jan M. Zytkow,et al. Scientific Model-Building as Search in Matrix Spaces , 1993, AAAI.
[19] David Haussler,et al. Learnability and the Vapnik-Chervonenkis dimension , 1989, JACM.
[20] Marjorie Moulet. A Symbolic Algorithm for Computing Coefficients' Accuracy in Regression , 1992, ML.
[21] Herbert A. Simon,et al. The Right Representation for Discovery: Finding the Conservation of Momentum , 1992, ML.
[22] E. Feigenbaum,et al. Applications of artificial intelligence for chemical inference. 22. Automatic rule formation in mass spectrometry by means of the meta-DENDRAL program , 1976 .
[23] Ehud Y. Shapiro. An Algorithm that Infers Theories from Facts , 1981, IJCAI.
[24] Daniel N. Osherson,et al. On approximate truth , 1989, COLT '89.
[25] Jan M. Zytkow,et al. Automated Discovery of Empirical Equations from Data , 1991, ISMIS.
[26] P. Langley,et al. Computational Models of Scientific Discovery and Theory Formation , 1990 .
[27] Clark Glymour. Inductive inference in the limit , 1985 .
[28] E. Mark Gold,et al. Language Identification in the Limit , 1967, Inf. Control..
[29] Jan M. Zytkow,et al. Combining many searches in the FAHRENHEIT discovery system , 1987 .
[30] Leslie G. Valiant,et al. A general lower bound on the number of examples needed for learning , 1988, COLT '88.