HEURISTIC PROGRAMMING PROJECT MEMOS SINCE 1964

1

Heuristic Programming Project Memos Since 1964

There are six informal groups within the Heuristic Programming Project

Knowledge-Based Consultation SystemsMOLGENProtein -CrystallographyHydroidDENDRALMeta-DENDRAL

HPP-64-1J, Lederberg,"DENDRAL-64-A System for Computer Construction,Enumeration and Notation of Organic Moleculesas Three Structures and Cyclic Graphs,"(technical reports to NASA, also available fromthe author and summarized in (12))»

(1a) Part I. Notational algorithm for treestructures (1964) CR. 57029

(1b) Part 11, Topology of cyclic graphs (1965) CR. 68898(1c) Part 111. Complete chemical graphs; embedding

rings in trees (1969)

HPP-64-2J* Lederberg,"Computation of Molecular Formulas for MassSpectrometry," Holden-Day. Inc. (1964)*

HPP-65-1J» Lederberg,"Topological Mapping of Organic Molecules,"Proc. Nat. Acad. Sci., 53:1, 134-139,(January 1965).

HPP-65-2J. Lederberg,"Systematics of Organic Molecules, GraphTopology and Hamilton Circuits. A General outline ofthe DENDRAL system*" NASA CR-488Q9 (1 Q 65)

HPP-65-3AIM-30, AD785056Edward A. Feigenbaum, Richard W-. Watson,"An Initial Problem Statement for a MachineInduction Research Project," (April 1965 ) .HPP-66-1AIM-38, AD785066Donald A. Waterman,"A Filter for a Machine Induction System,"(January 1966).

2

HPP-66-2

"Hamilton Circuits of Convex Trivalent Polyhedra (up to 18 vertices)Am*- Math. Monthly, (May 1967).

n?

HPP-67-3AIM-54Joshua Lederberg, Edward A. Feigenbaum,"Mechanization of Inductive Inference in Organic Chemistry,"(August 1967). Also in Formal Representations For Human Judgment,B* Klginmuntz, Editor, Wiley, ( 196§)*HPP-68-1Edward Feigenbaum, Joshua Lederberg, and Bruce Buchanan,"Heuristic DENDRAL: A Program for Generating ExplanatoryHypotheses in Organic Chemistry," in Proceedings of theHawaii International Conference on System Sciences,(January 1968)*

HPP-68-2J. Lederberg,"Online Computation of MolecularNASA CR-94977 ( 1968)

Formulas from Mass Number,"

HPP-68-3AIM-62Bruce G. Buchanan, Georgia Sutherland, and Edward A. Feigenbaum,"Heuristic DENDRAL: a Program for Generating ExplanatoryHypotheses in Organic Chemistry," (July 1968)* (j^C^).^Also in Machine Intelligence-4, Edinburgh Univ., Press,

AIM-46, CS-50, P8176761Staffan Persson."Some Sequence Extrapolating Programs: a Studyof Representation and Modeling in InquiringSystems,"Ph.D. Thesis in Computer Science, (U.C Berkely September 1966)*

HPP-66-3AIM-47Bruce Buchanan,"Logics of Scientific Discovery,"Ph.D* Thesis in Philosophy(Michigan State University December 1966)*

HPP-67-1AIM-49Georgia Sutherland,"DENDRAL — a Computer Program for Generating and Filtering ChemicalStructures," (February 1967).

HPP-67-2J. Lederberg,

j

HPP-68-4AIM-67 AD680487Edward A. Feigenbaum,"Artificial Intelligence: Themes in the Second Decade,"Proceedings of IFIP International Congre s Edinburgh, (August 1968)*

HPP-68-5AIM-74, CS-118, AD681027Donald Waterman,"Machine Learning of Heuristics,"PhiD. Thesis in Computer Science, (Stanford University December 1968)*

HPP-69-1AIM-80, AD685612Georgia Sutherland,"Heuristic DENDRAL: a Family of LISP Programs," (March 1969).

HPP-69-2AIM-99Bruce G. Buchanan, G*L. Sutherland, E.A* Feigenbaum,"Toward an Understanding of Information Processes ofScientific Inference in the Context of Organic Chemistry,"(September 1969)* Also in Machine Intelligence-5, Edinburgh Univ

C l97f okPressi

HPP-69-3AIM-102Donald A. Waterman,"Generalization Learning for Automating the

Joshua Lederberg, Georgia Sutherland, Bruce G. Buchanan,Edward A. Feigenbaum"A Heuristic Program for Solving A Scientific Inference Problem:Summary of Motivation and Implementation," (November 1969).Proceedings of IV Systems Symposium, Case Western Reserve Univ.,Springer-Verlaa, h9lo\ (ft,HPP-69-5J. Lederberg,"Topology of Molecules," in the Mathematical Sciences -A Collection of Esays, (cd*) Committee on Support ofResearch in the Mathematical Sciences (COSRIMS), NationalAcademy of Sciences - National Research Council, M.I.T.Press, (1969).

HPP-69-6J. Lederberg, G.L. Sutherland, B.G. Buchanan, E S A. Feigenbaum,A.V. Robertson, A.M. Duffield, and C Djerassi,"Applications of Artificial Intelligence for Chemical InferenceI. The Number of Possible Organic Compounds: Acyclic StructuresContaining C, H, 0 and N," Journal of the American ChemicalSociety, 91: ,( 1969). -

|;UVof Heuristics," J. Artificial IntelligenceA July 1969) .(AS JW (q(,<\^HPP-69-4AIM-104

247 3

<> 23: 40

4

HPP-69-7A*M* Duffield, A.V* Robertson, C* Djerassi, B.G. Buchanan,G.L. Sutherland, E.A. Feigenbaum, and J* Lederberg,"Application of Artificial Intelligence for ChemicalInference ll* Interpretation of Low Resolution MassSpectra of Ketones," Journal of the American ChemicalSociety, 91:11 (May 21, 1969)*

HPP-68-8C.W.^hurchman and B.G. Buchanan,"On]>T)esign of Inductive Systems: Some Philosophical,,Problems," British Journal for the Philosophy ofScience, 20 (1969).

HPP-69-9G. Schroll, A.M. Duffield, C. Djerassi, B.G. Buchanan,G»L. Sutherland, E.A. Feigenbaum, and J* Lederberg,"Application of Artificial Intelligence for ChemicalInference lII* Aliphatic Ethers Diagnosed by TheirLow Resolution Mass Spectra and NMR Data," Journal ofthe American Chemical Society, 9U-v ( 1969Kuwc mueriudii ouemiudi ouuxeoy, y\,\\ lyuy;*

HPP-70-1 ? " vA. Buchs, A.B. Delfino, C. Djerassi, A*M> Duffield,B.G. Buchanan, E.A. Feigenbaum, J, Lederberg andG-. Schroll,"Application of Artificial Intelligence for ChemicalInference IV. Saturated Amines Diagnosed by TheirLow Resolution Mass Spectra and Nuclear MagneticResonance Spectra," Journal of the American ChemicalSociety, 92' (1970).

Bruce G. Buchanan, Thomas E. Headrick,"Some Speculation About Artificial Intelligence and iVou^r^WvLegal Reasoning," (May 1970). Stanford Law Review -Fait 1970*

HPP-70-3 r r rY.M. Sheikh, A. Buchs, A.B. Delfino, G. Schroll,A.M. Duffield, C. Djerassi, B.G. Buchanan, G.L. Sutherland,E.A. Feigenbaum and J. Lederberg,"Applications of Artificial Intelligence for ChemicalInference V* An Approach to the Computer Generationof Cyclic Structures. Differentiation Between All ThePossible Isomeric Ketones of Composition C6H100,"Organic Mass Spectrometry, 4:493, (1970)*

HPP-70-4A. Buchs, A.B. Delfino, A.M. Duffield, C. Djerassi,B,G. Buchanan, E.A, Feigenbaum and J. Lederberg,"Applications of Artificial Intelligence for ChemicalInference VI. Approach to a General Method ofInterpreting Low Resolution Mass Spectra with aComputer," Helvetica Chimica Acta, 53:1394, (1970).

HPP-70-2 'AIM-123

5

HPP-70-5AIM-131, CS-176, AD715128Edward A. Feigenbaum, Bruce G. Buchanan, Joshua Lederberg,"On Generality and Problem Solving: a Case Study Using theDENDRAL Program," (August 1970). Also inMachine Intelligence-6, Edinburgh Univ. Press, 1971.

HPP-71-1A. Buchs, A.B. Delfino, C» Djerassi, A.M. Duffield,B.G. Buchanan, E.A* Feigenbaum, J. Lederberg, G* Schroll,and G.L. Sutherland,"Applications of Artificial Intelligence for Chemical InferenceThe Application of Artificial Intelligence in the

VII

Interpretation of Low-Resolution Mass Spectra," Advancesin Mass Spectrometry, 5:314, (1971)*

HPP-71-2AIM-141, CS-205, AD730506Bruce G. Buchanan, Joshua Lederberg,"The Heuristic DENDRAL Program for Explaining Data,"In proceedings of the IFIP Congress 71, Ljubljana,Yugoslavia (February 1971).

HPP-71-3AIM-147, CS-216, AD732457Robert E. Kling,"Reasoning by Analogy with Applications toHeuristic Problem Solving: a Case Study,"Ph*Di Thesis in Computer Science, (August 1971)*

HPP-71-4AIM-141B.G. Buchanan, E.A. Feigenbaum, and J. Lederberg,"A Heuristic Programming Study of Theory Formation inScience," In proceedings of the Second InternationalJoint Conference on Artificial Intelligence,Imperial College, London (September 1971)*-

HPP-71-5B.G* Buchanan, A.M. Duffield, A.V* Robertson,"An Application of Artificial Intelligence to the Interpretationof Mass Spectra," Mass Spectrometry Techniques and Appliances,G*W.A. Milne, Ed*, John Wiley & Sons, Inc., p. 121, (1971).

HPP-72-1D.H. Smith, B.G. Buchanan, R.S* Engelmore, A.M. Duffield, A. YeoE*A* Feigenbaum, J. Lederberg, and C. Djerassi,

i

"Applications of Artificial Intelligence for Chemical Inference.VIII. An Approach to the Computer Interpretation of the HighResolution Mass Spectra of Complex Molecules* StructureElucidation of Estrogenic Steroids," Journal of the AmericanChemical Society, 94:5962, (1972).

6

HPP-72-2B.G. Buchanan, E.A* Feigenbaum, and N.S* Sridharan,"Heuristic Theory Formation: Data Interpretation andRule Formation," In Machine Intelligence 7, .Edinburgh UniversityPress (1972), T\A \ n rt\ i I

HPP-72-3 ' 8, CU&AIM-181, CS-325Bruce G. Buchanan,"Review of Hubert Dreyfus' 'What Computers Can't Do': a Critiqueof Artificial Reason.," (Ppcjsmiber 1972)*Computing Reviews/f January, 1973). -V'l > :<p*f- >Alao in Coiirputtngrn^^^ws, January 1973*-"' S

HPP-72-4J. Lederberg,"Rapid Calculation of Molecular Formulas from Mass Values,"Journal of Chemical Education, 49:613, (1972).

"Use of a Computer to Identify Unknown Compounds: "*The Automation of Scientific Inference," ie^^"Biochemical Applications of Mass Spectrometry,' (1972).-

HPP-72-6 QeofVSTAN-CS-318 MSTAN-CS-318H. Brown, L* Masinter, and L* Hjelmeland,"Constructive Graph Labeling Using Double Cosets," DiscreteMathematics, 7:1, (1974),

HPP-73-1D.H. Smith, B.G* Buchanan, R.S* Engelmore, H. Aldercreutz andC* Djerassi,"Applications of Artificial Intelligence for Chemical InferenceIX* Analysis of Mixtures Without Prior Separation as Illustratedfor Estrogens," Journal of the American Chemical Society,95:6078, (1973).

HPP-73-2D.H. Smith, B.G. Buchanan, W.C* White, E.A* Feigenbaum,C»- Djerassi and J. Lederberg,"Applications of Artificial Intelligence for Chemical InferenceX. INTSUM. A Data Interpretation Program as Applied to theCollected Mass Spectra of Estrogenic Steroids," Tetrahedron,29:3117, (1973).

HPP-73-3AIM-205, CS-370, AD764288N.S* Sridharan, et*al,"A Heuristic Program to Discover Syntheses for Complex OrganicMolecules," (June 1973)*

HPP-73-4STAN-CS-73-381N.S. Sridharan,"Computer Generation of Vertex Graphs," (July 1973)*

lAAW ,-jk,"

_^ HPP-72-5Joshua Lederberg,

.«_"

<r

7

HPP-73-5R. Carhart and C. Djerassi,"Applications of Artificial Intelligence for ChemicalInference XI: The Analysis of Cl3NMR Data for StructureElucidation of Acyclic Amines," Journal of the American ChemicalSociety (Perkin II), 1753, (1973).

B.G* Buchanan and N.S. Sridharan,"Analysis of Behavior of Chemical Molecules:Rule Formation on Non-Homogeneous Classes of Objects,"In proceedings of the Third International JointConference on_Artificial__ Intelligence, (August 1973)* ..._ -ar ».

"Tg^Vj^MdTMne lutelligemie-7, Tcttnrtmpgh Univ-r-Presy;—1974. - <£r~~" >^ ' /-£-,HPP-73-7D. Michie and B.G. Buchanan,"Current Status of the Heuristic DENDRAL Program forApplying Artificial Intelligence to the Interpretation / / 0 ]of Mass Spectra," inXcomputers for Spectroscopy^, —-, RA-G- G^rn^TM v/of Mass Spectra," in.^Computers for Spectroscopy^,[Also: University fo Edinburgh, School of ArtificialIntelligence, Experimental Programming Report No. 32(1973).]

HPP-73-8AIM-217, CS-391, AD770610N.S. Sridaran"Search Strategies for the Task of OrganicSynthesis," (August 1973).

Chemical

HPP-73-9E.H* Shortliffe, S.G. Axline, B.G. Buchanan, T.C. MeriganS.N* Cohen,"An Artificial Intelligence Program to Advise Physicians RegardingAntimicrobial Therapy," Computers and Biomedical Research, 6:544-560(1973).

HPP-73-10AIM-216, CS-389, AD71299Larry Masinter, N.S. Sridharan, J. Lederberg, D.H. Smith"Applications of Artificial Intelligence for Chemical InferenceXII: Exhaustive Generation of Cyclic and AcycTic-Isomers,"(Sep-temhar^ 1973). Also in J. Am, Chem. Soc. (^6:25^ ?

HPP-74-1 J"E.H. Shortliffe, S* G. Axline, B.G. Buchanan, S.N. Cohen,"Design Considerations for a Program to Provide Consultationsin Clinical Therapeutics," Proceedings of San Diego BiomedicalSymposium 1974 (February 6-8 1974).

HPP-73-6 v^> '" °*AIM-215, CS-387, AD769380

A-<p~t,UUr> (U+t<>).

'174-

R. Davis,

k

HPP-74-2AIM-251, CS-465, ADA001373Edward H. Shortliffe,"MYCIN: A Rule-Based Computer Program for Advising PhysiciansRegarding Antimicrobial Therapy Selection,"Ph.D. Thesis in Medical Information Sciences, (October 1974)*

<— k\soHPP-74-3B.G* Buchanan,"Scientific Theory Formation by Computer," In Proceedings of NATOAdvanced Study Institute on Computer Oriented Learning Processes,Bonas, France, (1974)*

HPP-74-4E.A. Feigenbaum,"Computer Applications: Introductory Remarks," in "Proceedings ofFederation of American Societies for Experimental Biology", 33:2331,(1974).

HPP-74-5L.M. Masinter, N.S. Sridharan, R.E* Carhart and D.H* Smith,"Applications of Artificial Intelligence for Chemical Inference XIII*Labeling Of Objects Having Symmetry l,2," Journal of the AmericanChemical Society, 96:7714, (1974).

HPP-75-1E.H. Shortliffe, B.G. Buchanan,"A Model of Inexact Reasoning in Medicine," MathematicalBiosciences, 23:351-3?% (1975). Ofr-HPP-75-2E.H, Shortliffe, R* Davis, S.G* Axline, B.G. Buchanan, CC* Green,S.N. Cohen,"Computer-Based Consultations in Clinical Therapeutics;Explanation and Rule Acquisition Capabilities of the MYCIN System,"Computers and Biomedical Research, 8:303-326-, (August 1975).7£-

HPP-75-3E.H. Shortliffe, F.S. Rhame , S.G* Axline, S.N. Cohen, B.G. Buchanan,A.C. Scott, R* Chavez-Pardo, and W.J* Van Melle,"MYCIN: A Computer Program Providing Antimicrobial TherapyRecommendations," Clinical Medicine, (August 1975).

HPP-75-4E.H. Shortliffe,"Judgmental Knowledge as a Basis for Computer-Assisted ClinicalDecision Making," Proceedings of the 1975 International Conferenceon Cybernetics and Society. (September 1975).

HPP-75-5E.H. Shortliffe, S. Axline, B.G* Buchanan, R. Davis, S, Cohen,"A Computer-Based Approach to the Promotion of Rational Clinical UseAntimicrobials," International Symposium on Clinical Pharmacy andClinical Pharmacology, (September 1975), Boston, Mass. Also inClinical Pharmacy and Clinical Pharmacology, William A. Gouveia,Gianni Tognoni , Eppo van der Kleijn, Editors, Elsevier/North-Holland

of

Publishing Company, pp. 259 27-h (1976). ../II

-8-V

9

HPP-75-6AIM-266, CS-517, ADA019641Randall Davis, Bruce Buchanan, Edward"Production Rules as a RepresentationProgram," (October 1975)*

Shortliffe,of a Knowledge-Based Consultation

HPP-75-7AIM-271, CS-524,, ADA019702/OWCRandall Davis, Jonathan King,"An Overview of Production Systems," Machine Representations ofKnowledge, Dordrecht, D. Reidel Publ* Co., 1976* Proceedings ofNATO ASI Conference, (October 1975).

HPP-75-8R.G, Dromey, B.G* Buchanan, J. Lederberg and C. Djerassi,"Applications of Artificial Intelligence for Chemical Inference XIV.A General Method for Predicting Molecular lons in Mass Spectra," Journalof Organic Chemistry, 40:770, (1975).

HPP-75-9D.H. Smith,"Applications of Artificial Intelligence for Chemical Inference XV.Constructive Graph Labelling Applied to Chemical Problems*Chlorinated Hydrocarbons," Analytical Chemistry, 47:1176, (1975),

HPP-75-10R.E. Carhart, D.H. Smith, H. Brown and N.S, Sridharan,"Applications of Artificial Intelligence for Chemical Inference XVI.Computer Generation of Vertex Graphs and Ring Systems," Journal ofChemical Information and Computer Science, 15:124, (1975),

HPP-75-11R.E* Carhart, D.H. Smith, H* Brown and C- Djerassi,"Applications of Artificial Intelligence for Chemical Inference XVIIAn Approach to Computer-Assisted Elucidation of Molecular Structure,"Journal of the American Chemical Society, 97:5755, (1975).

HPP-75-12B.G* Buchanan,"Applications of Artificial Intelligence to Scientific Reasoning," InProceedings of Second USA-Japan Computer Conference, American Federationof Information Processing Societies Press, (August 1975).

HPP-75-13R.E. Carhart, S.M* Johnson, D.H. Smith, B.G> Buchanan, R.G Dromey,J. Lederberg,"Networking and a Collaborative Research Community: A Case Study Usingthe DENDRAL Program," in "Computer Networking and Chemistry", P. Lykos,Ed., American Chemistry Society, Washington, D.C., (1975).

HPP-75-14D.H. Smith,"The Scope of Structural Isomerism," Artificial Intelligence for ChemicalInference XVIII, Journal of Chemical Information and Computer Sciences,15:203, (1975).

(

10

HPP-75-15E.H. Shortliffe, R. Davis,"Some Considerations for the Implementation of Knowledge-Based ExpertSystems," SIGART Newsletter, 55:9-+?, (December 1975)*

HPP-76-1D.H*- Smith, J,P.- Konopelski and C. Djerassi,"Applications of Artificial Intelligence for Chemical Inference XIX.Computer Generation of lon Structures," Organic Mass Spectrometry,11:86, (1976).

HPP-76-2Raymond E. Carhart and Dennis H. Smith,"Applications of Artificial Intelligence for Chemical Inference XX*Intelligent Use of Constraints in Computer-Assisted StructureElucidatlo"'"79"A< (WW t« cowf^^(u4HPP-76-3CJ, Cheer, D.H. Smith, and C Djerassi, B. Tursch,J.C Braekman and D* Daloze,"Applications of Artificial Intelligence for Chemical Inference XXI.Chemical Studies of Marine Interbrates - XVII. The Computer-AssistedIdentification of [+]-Palostrol in the Marine Organism Cespitulariasp*, aff. subviridis," Tetrahedron, 32: 1807, PergamonPress, (1976).

HPP-76-4B.G. Buchanan, D.H* Smith, W.C White, R.J* Gritter, E.A. Feigenbaum,J. Lederberg, and Carl Djerassi,"Application of Artificial Intelligence for Chemical Inference XXII*Automatic Rule Formation in Mass Spectrometry by Means of theMeta-DENDRAL Program," Journal of the American Chemical Society,98:6168, (1976).

HPP-76-5T.H. Varkony, R.E* Carhart and D.H* Smith,"Applications of Artificial Intelligence for Chemical Inference XXIII.Computer-Assisted Structure Elucidation* Modelling Chemical ReactionSequences Used in Molecular Structure Problems," in"Computer-Assisted Organic Synthesis," W»T. Wipke, Ed.-,American Chemical Society, Washington, D.C, (in press)*

HPP-76-6D.H. Smith and R.E. Carhart"Applications of Artificial Intelligence for Chemical InferenceXXIV. Structural Isomerism of Mono and Sesquiterpenoid Skeletons 1,2-,"Tetrahedron, 32:2513, Pergamon Press (May 1976).

HPP-76-7AIM-283, CS-552Randall Davis,"Applications of Meta Level Knowledge to theConstruction, Maintenanceand Use of Large Knowledge Bases,"Ph.D. Thesis in Computer Science, (July 1976)*

11

HPP-76-8AIM-286, CS-570Douglas Lenat,"AM: An Artificial Intelligence Approach to Discovery in Mathematicsas Heuristic Search,"Ph.D* Thesis in Computer Science, (July 1976)

HPP-76-9AIM-291, CS-577Bruce G. Buchanan, Joshua Lederberg, John McCarthy,"Three Reviews of J* Weizenbaum's Computer Power and Human Reason,"(November 1976).

HPP-76-10Bruce G* Buchanan and Dennis Smith,"Computer Assisted Chemical Reasoning", in Proceedings of the 111International Conference on Computers in Chemical Research, Educationand Technology," Pleum Publishing, (1976)*

HPP-76-11Raymond E* Carhart,"A Model-Based Approach to the Teletype Printing ofChemical Structures," Journal of Chemical Informationand Computer Sciences, 16:82, (1976).

HPP-77-1STAN-CS-77-593A.C. Scott, W* Clancey, R, Davis, E.H. Shortliffe,"Explanation Capabilities of Knowledge-Based Production Systems,'"American Journal of Computational Linguistics, Microfiche 62,Knowledge-Based Consultation Systems, (1977).

HPP-77-2STAN-CS-77-589Robert S. Engelmore and H* Penny Nii"A Knowledge-Based System for the Interpretatioin of Protein X-RayCrystallographic Data," (January 1977).

HPP-77-3B.G. Buchanan, R. Davis, V. Yu and S. Cohen,"Rule Based Medical Decision Making by Computer,"(Submitted to MEDINFO.77, 1977)*

HPP-77-4T.M, Mitchell and CM* Schwenzer,Applications of Artificial Intelligence for Chemical Inference

XXV. A Computer Program For Automated Empirical 13C NMR Rule oe*SOUft/Di£7Formation," ( Strtoni tred~TCT~~JA€-Sr-^amiary-^^f7 ) " C^m)l(L m^^ET^ X ,

HPP-77-5 'STAN-CS-77-596Mark Stefik and Nancy Martin,"A Review of Knowledge-Based Systems as a Basis for a Genetics ExperimentDesigning System," (February 1977).

0^12

HPP-77-6STAN-CS-77-597Bruce C Buchanan and Tom Mitchell."Model-Directed Learning of Production Rules," Submitted to theProceedings for the Workshop on Pattern-Directed Inference SystemsHawaii, (February, 1977)-.

in

HPP-77-7H* Penny Nii and Edward A. Feigenbaum,"Rule-based Understanding of Signals," to be presented at WorkshopPattern-directed Inference Systems, (May 1977)*

on

Hpp-77-8R. Davis,"Knowledge Acquisition on Rule-based Systems: Knowledge aboutRepresentation" as a Basis for System Construction and Maintenance,submitted to Pattern-Directed Inference Conference, (May 1977)*

it

HPP-77-9R, Davis,"Interactive Transfer of Expertise I: Acquisition of New InferenceRules," submitted to Fifth IJCAI, (August 1977).

HPP-77-10R. Davis,"A Decision Support System for Medical Diagnosis and TherapySelection in Data Base," SIGBDP Newsletter, 8, pp* 58-72,(Winter 1977).

HPP-77-11Dennis H. Smith and Raymond E. Carhart,"Structure Elucidation Based on Computer Analysisof High and Low Resolution Mass Spectral Data,"Proceedings of the Symposium on Chemical Applicationsof High Performance Spectrometry, University ofNebraska, Lincoln, (1976 in press).

HPP-77-12Reid C Smith,"The Contract Net: A Formalism For the Control ofDistributed Problem Solving,"

"Version Spaces: An Approach to Rule Revision DuringRule Induction," Submitted to* IJCAI, (February 1977).

HPP-77-14 " 'Reid G* Smith, Tom M, Mitchell, Richard A. Chestek,and Bruce G. Buchanan,"A Model For Learning Systems," Submitted to -.IJCAI,(February 1977). L f^-fly^ ,

'7

Submitted to, IJCAI, (February 1977)*Wtk OlHPP-77-13

Tom M* Mitchell,

#.

uep-«vn-i5

Ac** Khz- [ZX\W\77- 16

vy i/VVv