Theory Formation by Heuristic Search

[1]  Douglas B. Lenat,et al.  EURISKO: A Program That Learns New Heuristics and Domain Concepts , 1983, Artif. Intell..

[2]  Douglas B. Lenat,et al.  The Nature of Heuristics , 1982, Artif. Intell..

[3]  Douglas B. Lenat,et al.  Heuristic Search for New Microcircuit Structures: An Application of Artificial Intelligence , 1982, AI Mag..

[4]  Herbert A. Simon,et al.  BACON.5: The Discovery of Conservation Laws , 1981, IJCAI.

[5]  Tom M. Mitchell,et al.  Learning Problem-Solving Heuristics Through Practice , 1981, IJCAI.

[6]  Kurt VanLehn,et al.  Repair Theory: A Generative Theory of Bugs in Procedural Skills , 1980, Cogn. Sci..

[7]  Russell Greiner,et al.  A Representation Language Language , 1980, AAAI.

[8]  J. Gibbons,et al.  One-gate-wide CMOS Inverter on laser-recrystallized polysilicon , 1980, IEEE Electron Device Letters.

[9]  S. Weiss,et al.  Glaucoma consultation by computer. , 1978, Computers in biology and medicine.

[10]  Donald A. Waterman,et al.  Exemplary programming in RITA , 1977, SGAR.

[11]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..

[12]  Allen Newell,et al.  Computer science as empirical inquiry: symbols and search , 1976, CACM.

[13]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[14]  David R. Barstow,et al.  Progress report on program-understanding systems. , 1974 .

[15]  Patrick Henry Winston,et al.  Learning structural descriptions from examples , 1970 .

[16]  Carl G. Hempel,et al.  Fundamentals of Concept Formation in Empirical Science , 1952 .

[17]  J. Hadamard,et al.  The Psychology of Invention in the Mathematical Field. , 1945 .

[18]  H. Poincaré,et al.  The foundations of science , 1907 .