REFERENCES for factories and warehouses, medical diagnosis systens, systems that will automate a large amount of office work, legal aids, teaching aids, interactive software production systems, and so on. (Firschein et al. (1973), make some predictions about when these and other latelligent systems may cone. ] The short range result of this increased pragmatism nay tend to fractionate the field. In the long run, though, if there really are many more core ideas to be discovered, these technological efforts will stinulate their discovery, provided that a sufficient level of basic investigation continues. In closing, I have one final prodiction. As AI successes grow, so will the criticisms of AI, especially from those who are certain that intelligence cannot be mechanized. These critics, having been forced out of various mystical trenches in the past, will be especially vigorous in their defense of what little ground remains to them. The ensuing debates will have the crucially important side effect of getting us all to consider how we want to use and control our new intellectual powers. I hope that society assesses these powers accurately and is not lulled by certain otherwise well-meaning humanists into believing that Artificial Intelligence is not real. ACKNOWLEDGMENTS I am grateful for the comments and criticisms of the following people: Woodrow Bledsoe, Stephen Coles, Edward Feigenbaum, Jerome Feldman, Richard Fikes, Cordell Green, Peter Hart, Michael Kassler, John McCarthy, Allen Newell, Charles Rosen, Earl Sacerdoti, Jay Tenenbaum, Richard Waldinger, and Donald Walker. Agia, G. (1972), "Representation and Description of Curved objects," Ph.D. thesis, Elec. Eng. Dept., Stanford Univ., Stanford, CA, July 1972. Available as Stanford Artificial Intelligence Laboratory Memo AIH-173, Oct. 1972. (VIS) "Computer Description of Curved Objects," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (VIS) Allen, John and Luckhan, David (1970), "An Inter active Theorem-Proving Program, " Nachine Intelli gence, vol. 5, 321-336, 1970. (TP) Amarel, s. (1968), "On Representations of Problens of Reasoning About Actions," Machine Intelligence, Press, Edinburgh, 1968. (REP) and Goal Directed Procedures for Computers," Comm. Am. Soc. Cybernetics, Vol. 1, No. 2, 1969. (SEARCH) Ambler, A. P. et al. (1973), "A Versatile Conputer Controlled Assembly System," Adv. Papers 3d Intl. Stanford, CA, Aug. 1973. (ROB, VIS) Associative, Memory, V. H. Winston and Sons, Washington, D.C., 1973. (PSYC) J. ACM, Vol. 15, 367-381, 1968. (TP) Institute Technical Memo, Univ. of So. Calif./ (PROG-G) American Elsevier Publishing Company, New York, 1969. (GAME) Construction Using Homomorphisms Between Ganes," Winter 1972. (GAME) System," 1972 Conf. on Speech Communication and ports Number 131). (LANG) Descriptions in Picture Processing," Machine eds., 377-396, Edinburgh Univ. Press, 1971. (VIS) Barrow, H. G. and Crawford, G. F. (1972), "The Mark 1.5 Edinburgh Robot Facility," Machine Intelligence, Vol. 7, B. Meltzer and D. Michie, eds., 465-480, American Elsevier, 1972. (ROB) Barrow, H. G., Ambler, A, P., and Burstall, R. N. (1972), "Some Techniques for Recognizing Structures in Pictures," Frontiers of Pattern Recognition, s. Watanabe, ed., 1-29, Academic Press, New York, 1972, (VIS) York. (PSYC) Press, Cambridge. (PSYC) Model of Intermediate-Level Cognition," Meno No. BIBLIOGRAPHY Each entry has a code symbol or symbols associated with one or more of the twelve subheadings of Al that we have discussed in the paper. These symbols are: DED = Common-Sense Reasoning, Deduction, and Problem Solving; REP = Modeling and Representation of Knowledge; SEARCH - Heuristic Search; SYS = AI Systems and Languages; GAME = Game Playing; AIDS = Math, Science, and Engineering Aids; TP = Automatic Theorem Proving; PROG = Automatic Programming; ROB = Robots; VIS = Machine Vision; LANG = Natural Language Systens; PSYC = Information Processing Psychology. A prefix "-G" after a symbol means that the reference contains a general discussion or survey. Becker, J. D. (1973), "A Model for the Encoding of Experiential Information," Computer Models of Thought and Language, Schank and Colby, eds., W. H. Freeman and Co., San Francisco, 1973. (PSYC) Bridge Problens, A Strategy for Mechanical Game 1963. (GAME) structing and Testing a Chess Program," Proc. IEEE Systems Science and Cybernetics Cont., 216-223, Pittsburgh, PA, Oct. 1970. (GAME) Berliner, Hans J. (1973), "Some Necessary. Conditions for a Master Chess Program," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (GAME) Bernstein, A. et al. (1959), "A Chess Playing Program for the IBM 704," Proc. Western Joint Comp. Conf. AIEE, 157-159, Mar. 1959. (GAME) (1970), "An Interactive Facility for Symbolic Bonn, Germany, 1970. (AIDS) Heuristics in Automatic Theorem Proving," Artifi- 1971. (TP) Bledsoe, W. W., Boyer, R. S., and Henneman, W. H. (1972), "Computer Proofs of Limit Theorems," Artificial Intelligence, Vol. 3, 27-60, 1972, (TP) Bledsoe, W. W. and Bruel, P. (1973), "A Man-Nachine Theorem Proving System," Adv. Papers 3d Intl. Conf. Stanford, CA, 1973. (TP) Computer Problem-solving System," Doctoral disser- for High-School Algebra Word Problems," Proc. AFIPS Fall Joint Comp. Conf., 591-614, 1964. (LANG) State Transition Network Analysis Procedure," 557-567, Washington, D.c., 1969. (LANG) Bobrow, D. G. and Raphael, B. (1973), "New Pro gramming Languages for AI Research," SRI Artificial Intelligence Center Tech. Note 82, Stanford Research Institute, Menlo Park, CA, Aug. 1973. To appear in Computer Surveys, 1974. (SYS-G) Bobrow, D. G. and Wegbreit, B. (1973a), "A Model for Control Structures for Artificial Intelligence Stanford, CA, Aug. 1973. (SYS) Stack Implementation of Multiple Environments," CACH, vol. 16, No. 10, Oct. 1973. (SYS) Feedback in a Programmable Assembly System," Memo (ROB) Boyer, Robert S. and Moore, J Strother (1973), "Proving Theorens About LISP Functions," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (PROG) Brice, c. R. and Fennena, c. L. (1970), "Scene Analysis Using Regions," Artificial Intelligence, vol. 1, No. 3, 205-226. (VIS) Bruce, Bertran (1972), "A Model for Temporal Refer ences and Its Application in a Question Answering Program," Artificial Intelligence, vol. 3, 1-26, 1972. (REP) Bruner, J. S., Goodnow, J. J., and Austin, G. A. (1956), A Study of thinking, Wiley, New York. (PSYC) Buchanan, B. G., Sutherland, G., and Feigenbaum, E. (1969), "Heuristic DENDRAL: A Program for Gener- Company, New York, 1969, (AIDS) Heuristic DENDRAL Program for Explaining Empirical (AIDS) Automating the Construction of Programs," Stanford 1974. (DED, PROG) Adv. Papers 3d Intl. Conf. on Artificial Intelli gence, Stanford Univ., Stanford CA, Aug. 1973. (TP) Burstall, R. M., Collins, J. S., and Popplestone, R. J. (1971), Programming in POP2, 279-282, Edinburgh Univ. Press, Edinburgh, 1971. (SYS) Intelligence Approach to Computer-Assisted Vol. ARIS-11, No. 4, 190-202, Dec. 1970. (AIDS) and Optimal Algorithm for Searching and/or Graphs," Artificial Intelligence, vol. 2, 117-128, 1971. (SEARCH) Chang, c. L. and Lee R. C. (1973), Symbolic Logic and Mechanical Theorem. Proving, Academic Press, 1973. (TP-G) Story Comprehension," AI TR-266, MIT, Cambridge, (LANG, DED) Academic Press, 1973, (PSYC-G) tion of Language," IRE Trans, on Info. Theory, Vol. IT-2(3), 113-124, 1956. (PSYC, LANG) The Hague, 1957. (PSYC, LANG) MIT Press, Cambridge, MA, 1965. (LANG) cial Intelligence, vol. 2, No. 1, 79-116, 1971. (VIS) Colby, K. M. and Enea, H. (1967), "Heuristic Methods for Computer Understanding of Natural Language in Context Restricted On-Line Dialogues," Mathematical Biosciences, Vol. 1, 1-25, 1967. (LANG) Colby, K. M., Weber, s, and Hilf, F. D. (1971), "Artificial Paranoia," Artificial Intelligence, Vol. 2, No. 1, 1-25, Spring 1971. (PSYC) Using, Stanford Research Institute Tech. Note CA, Oct. 1970. (ROB) Retrieval Using an Inferential Question-Answering Elspas, B. (1972), "The Semiautomatic Generation of Inductive Assertions for Program Correctness Bonn, 21 Aug. 1972. (PROG) System for Verification of Computer Prograns," Institute, Menlo Park, CA, July 1973. (PROG) Language-Analysis for Understanding Doctor-Patient Dialogues," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, 278-284, Stanford Univ., Stanford, CA, 1973. (LANG) Processing 68, A. J. H. Morrell, ed., 462-467, (AIDS) Study in Generality and Problem Solving, Academic Press, New York, 1969. (DED) Subgoals in Theorem Proving," Information and Control, Apr. 1971. (TP) Ernst, H. (1961), "MH-1, A Computer-Operated Mechani cal Hand," D.Sc. dissertation, Dept. of Elec. Eng., MIT, Cambridge, MA. (ROB) Construction Tasks," Report AI TR-283, Artificial (DED) perfect Line Data as a Three-Dimensional Scene," Ph.D. thesis, Stanford Univ., Comp. Sci. Dept., 1970. Available as cs-180 and AIM-132. (VIS) Falk, G. (1972), "Interpretation of Imperfect Line Data as a Three Dimensional Scene," Artificial Intelligence, vol. 3, No. 2, 101-144, 1972. (VIS) Feigenbaum, E. A. (1961), "The Simulation of verbal Learning Behavior," Proc. Western Joint Comp. Conf., 121-132, 1961. Also in Computers and Thought, E. A. Feigenbaum and J. Feldman, eds., 297-309, McGraw-Hill Book Company, New York, 1963. (PSYC) Feigenbaum, E. (1963), "Artificial Intelligence Research, IEEE Trans. Info. Theory, Vol. IT-9, No. 1, 248-261, Oct. 1963. (GEN) Themes in the Second Decade," Information Processing 68, Vol. 2, A.J.H. Morrell, ed., 1008-1022, NorthHolland Publishing Company, Amsterdam, 1969, Also printed as Stanford Univ. Artificial Intelligence Project Memo No. 67, 15 Aug. 1968. (GEN) Feigenbaum, E, and Feldman, J., eds. (1963), Computers and Thought, McGraw-Hill Book Company, New York, 1963. (GEN) Feldman, J. A, et al. (1969), "The Stanford Hand-Eye Project," Proc. Ist Intl., Joint Conf. on Artificial Intelligence, 521-526, Washington, D.C., 1969. Collins, A. M. and Quillian, N. R. (1972), "Retrieval Time from Semantic Memory," J. Verbal Learning and Verbal Behavior, Vol. 8, 240-247, 1969. (PSYC) Collins, N. and Michie, D., eds. (1968), Machine Intelligence, vol. 1, Anerican Elsevier Publishing Company, New York, 1967. (GEN) Complex Organic Synthesis," Science, 10 Oct, 1969. (AIDS) Dale, E. and Michie, D., eds. (1968), Nachine Intelligence, vol. 2, American Elsevier Publishing Company, New York, 1968. (GEN) Second-Order Logic," Machine Intelligence, vol. 6, Univ. Press, Edinburgh. (TP) Memo MIP-R-89, School of Artificial Intelligence, Univ. of Edinburgh. (SYS) dure for Quantification Theory," J. ACI, Vol. 7, 201-215, 1960. (TP) Derksen, J., Rullfson, J. F., and Waldinger, R. J. (1972), "The QA4 Language Applied to Robot Planning," AFIPS Conf. Proc., Vol. 41, Part II, 1181-1187, Fall Joint Comp. Conf., 1972. (DED) Deutsch, L. P. (1973), "An Interactive Program Veri fier," Ph.D. thesis, Dept. of Computer Science, Univ. of California, Berkeley, 1973. (PROG) Doran, J. and Michie, D. (1966), "Experiments with the Graph Traverser Program," Proc. Roy. Soc. A, Vol. 294, 235-259, 1966. (SEARCH) gence," RAND Corporation Paper P3244 (AD 625 719), Dec. 1965, (GEN) Harper and Row, 1972, (GEN) Analysis," Proc. 1st Natl. Symposium on Industrial Apr. 1970. (VIS) and Scene Analysis, John Wiley & Sons, New York, Assisted Space Planning," Proc. 8th Annual Design Automation Workshop, Atlantic City, NJ. (AIDS) Automated Space Planning," Proc. 2d Intl. Joint London, 1971. (AIDS) Symposium on Machine Translation, Prentice-Hall, Englewood Cliffs, NJ, 1961. (LANG) Heuristic," MIT Artificial Intelligence Nemo No. (GAME) Cognition and Decision-Making Ability," Proc. of 2d Imperial College, London, 350-358, 1971. (ROB, VIS) Robot that Assembles Objects from Plan Drawings," IEEE Trans, Comp., 161-170, Feb. 1972, (ROB, VIS) Language Based on Sets: Motivation and Examples," (ROB) Manipulation to solve the Instant Insanity Puzzle," gence, London, 1971. (ROB, VIS) SAIL--An ALGOL-Based Language for Artificial Anaheim, CA. (SYS) Based Associative Language," Comm. ACM, 434-449, . Fikes, R. E. (1968), "A Heuristic Program for Solving Problems Stated as Nondeterministic Procedures," SYS) Problems Stated as Procedures," Artificial Intel ligence, vol. 1(1), 1970. (DED, SYS) Fikes, R. E. and Nilsson, N. J. (1971), "STRIPS: New Approach to the Application of Theorem Proving in Problem Solving," Artificial Intelligence, vol. 2, 189-208, 1971. (REP, DED) Fikes, R. E., Hart, P. E., and Nilsson, N. J. (1972a), "Learning and Executing Generalized Robot Plans," Artificial Intelligence, vol. 3, 251-288, -- 1972, (DED) Fikes, R. E., Hart, P. E., and Nilsson, N. J. (1972b), "Some New Directions in Robot Problem Solving," B. Meltzer and D. Michie, eds., Machine Intelligence, Vol. 7, Edinburgh Univ. Press, Edinburgh, 1972. (ROB-G) Assessing the impact of Artificial Intelligence on 1973. (GEN) Fischler, Martin A. and Elschlager, Robert A. (1973), "The Representation and Matching of Pictorial Structures," IEEE Trans. on Computers, Vol. C-22, No. 1, 67-92, Jan. 1973. (VIS) Flanagan, J. L. (1965), Speech Analysis, Synthesis and Perception, Academic Press, New York. (LANG) Floyd, R. W. (1967), "Assigning Meanings to Pro grams," Proc. of a Symposium in Applied Mathe- Soc., 19-32, 1967. (PROG) Automa ton Eye," Pictorial Pattern Recognition, 471-502, Thompson Book Co., Washington, D.C., 1968. (VIS) Friedman, Joyce (1971), A Computer Model of Trans formational Grammar, 166, American Elsevier Pub lishing Company, New York, 1971. (LANG) Friedman, L. (1967), "Instinctive Behavior and Its Computer Synthesis, Behavioral Science, Vol. 12, No. 2, Mar. 1967. (PSYC) "Analysis of the Alpha-Beta Pruning Algorithm," Carnegie-Mellon Univ., Dept. of Comp. Sci. Report, Pittsburgh, PA, July 1973. (GAME) Theorem-Proving Machine," Proc. 1959 Intl. Conf. New York, 1963. (TP, SEARCH) (1963), "Empirical Explorations of the Geometry Theorem Machine," Computers and Thought, E, A. Feigenbaum and J. Feldman, eds., 153-163, McGraw Hill Book Company, New York, 1963. (TP) Gere, w. s. (1966), "Heuristics in Job Shop Scheduling," Management Science, vol. 13, 167-190. (AIDS) Gillogly, J. (1972), "The Technology Chess Program," Artificial Intelligence, vol. 3, No. 3, 145-163, Fall 1972, (GAME) Goldstein, A. Jay, Harmon, Leon D., and Lesk, Ann B. (1971), "Identification of Human Faces," Proc. IEEE, Vol. 59, No. 5, 748-760, May 1971. (VIS) Good, 1. J. (1967), "A Five-Year Plan for Automatic Chess," Machine Intelligence, vol. 2, E. Dale and D. Michie, eds., 89-118, Edinburgh Univ. Press, Edinburgh, 1967. (GAME) Good, D. i. and London, R. L. (1968), "Interval Arithmetic for the Burroughs B5500: Four ALGOL Procedures and Proofs of Their Correctness," Comp. Sci. Tech. Report No. 26, Univ. of Wisconsin, 1968, (PROG) Gordon, G. (1969), System Simulation, Prentice-Hall, Englewood clills, NJ, 1969. (SYS) Computer Vision," Ph.D. thesis, Comp. Sci. Dept., Stanford Univ., Stanford, CA, 1973. (VIS) Greenblatt, R. et al. (1967), "The Greenblatt Chess Program," Proc. AFIPS Fall Joint Comp. Conf., 801 810, 1967. (GAME) Green, B. F. et al. (1961), "Baseball: An Automatic Question Answerer," Proc. Western Joint Comp. Conf. 219-224. (LANG) Green, c. (1969a), "Theorem-Proving by Resolution as a Basis for Question-Answering Systens," Machine Intelligence, vol. 4, B. Meltzer and D. Michie, eds., 183-205, American Elsevier Publishing Company, New York, 1969. (REP, DED) Green, c. (1969b), "The Application of Theoren-Proving to Question-Answering Systems," Doctoral disserta- DED, PROG, TP) to Problem Solving," Proc. Intl. Joint Conf. Artificial Intelligence, Donald E. Walker and Lewis M. Norton, eds., Washington, D.C., May 1969. (REP, DED) Gregory, R. L. (1966), Eye and Brain, McGraw-Hill Book Company, New York. (PSYC) Gregory, R. L. (1970), The Intelligent Eye, Weidenfeld and Nicolson, London, 1970. (PSYC) Griesmer, J. H. and Jenks, R. D. (1971), "SCRATCHPAD/ l--An Interactive Facility for Symbolic Mathe- Angeles, CA, 23-25 Mar. 1971. (AIDS) Prismatic Solids," MAC Tech. Report 73, Project ALAC, MIT, Cambridge, MA. (VIS) Automatic Line Detection," J. ACN, 62-80, 1973. (VIS) Gross, Louis N. and Walker, Donald E. (1969), "On Line Computer Aids for Research in Linguistics," Information Processing, Vol. 68, A. J. H. Morrell, ed., North-Holland Publishing Company, Amsterdam, 1969. (LANG) Guard, J. R. et al. (1969), "Semi-Automated Mathe matics," J. ACM, Vol. 16, 49-62, 1969, (TP) Guzman, A. (1968a), "Decomposition of a Visual Scene Into Three-Dimensional Bodies," Proc. AFIPS 1968 Book Co., Washington, D.C. (VIS) Dimensional Objects in a Visual Scene," MAC Tech. 1968. (VIS) Guzman, A. (1971), "Analysis of Curved Line Drawings Using Context and Global Information," Machine Intelligence, vol. 6, B. Meltzer and D. Michie, eds., 325-376, Edinburgh Univ. Press, Edinburgh. (VIS) Haessler, R. W. (1971), "A Heuristic Programming Solution to a Nonlinear Cutting Stock Problem," Management Science, Vol. 178, 793-802. (AIDS) Harris, 2. (1951), Structural Linguistics, Univ. of Chicago Press, Chicago, 1951. (LANG) Harris, 2. (1961), String Analysis of Sentence Structure, Nouton, The Hague, 1961. (LANG) Hart, P. E. et al. (1972), "Artificial Intelligence- Research and Applications," Annual Tech. Report to ARPA, Contract DAHCO4-72-C-0008, Stanford Research Institute, Menlo Park, CA, Dec. 1972. (ROB) Formal Basis for the Heuristic Determination of netics, Vol. 4, No. 2, 100-107, 1968. (SEARCH) Hart, T. (1961), "SIMPLIFY," Nemo 27, Artificial Intelligence Group, Project MAC, MIT, Cambridge, MA, 1961.. (AIDS) Intelligence, Vol. 6, B. Meltzer and D. Nichie, Company, 1971. (REP) Problems in Artificial Intelligence," Artificial and Human Thinking, A. Elithorn and D. Jones, eds., Elsevier Scientific Publishing Co., New York, 1973. (REP) Hearn, n. c. (1968), "REDUCE, A User-Oriented Inter active System for Algebraic Simplification," Interactive Systems for Experimental Applied Mathematics, 79-90, N. Klerer and J. Reinfelds, eds., Academic Press, New York and London, 1968. (AIDS) Hearn, Anthony C. (1971), "REDUCE 2: A System and Language for Algebraic Manipulation," Proc. ACM Angeles, CA. (AIDS) and continuous Processes," Artificial Intelligence, l'ol. 4, 145-180, 1973. (REP) Hendrix, Gary G., Thompson, Craig W., and Slocum, Jonathan (1973), "Language Processing via Canonical Verbs and Semantic Models," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (LANG) Theorems in Robots," Ist Intl. Joint Conf. on (REP, SYS, DED) Hewitt, c. (1971), "Procedural Embedding of Knowledge in PLANNER," Proc. 20 Intl. Joint Conf. on Artificial Intelligence, British Computer Society, London, England, 167-182, 1971. (REP, SYS, DED) Hewitt, c. (1972), "Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot," Ph.D. thesis, Dept. of Math., MIT, . Cambridge, MA, 1972. (SYS, REP, DED) Hewitt, c., Bishop, P., and Steiger, R. (1973), "A Universal Modular Actor Formalism for Artificial crimination Net Model for Paired-Associate Learning," J. Mathematical Psychology, vol. 5, 123-162, 1968. (PSYC) Horn, B. K, P. (1970), "Shape from Shading: A Method for Obtaining the Shape of a Smooth Opaque Object from One View," MAC Tech. Report 79, Project MAC, NIT, Cambridge, MA, Nov, 1970, (VIS) Vision Flash, No. 16, Artificial Intelligence Huet, G. P. (1973a), "A Unification Algorithm for Type Theory," IRIA Laboria, 1973. (TP) Huet, G. P. (1973b), "A Mechanization of Type Theory," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (TP) Huffman, D. A. (1971), "Impossible objects as Nonsense Sentences," Machine Intelligence, Vol. 6, B. Meltzer and D. Michie, eds. 295-323, Edinburgh Univ. Press, Edinburgh, 1971. (VIS) Hunt, E. B. (1962), Concept Formation, John Wiley & Sons, New York. (PSYC) Hunt, E. B. (1974), Artificial Intelligence, Academic Press, 1974. (GEN) Hunt, E. B. and Hovland, c. I. (1961), "Programming a Model of Human Concept Formation," Proc. Western Joint Comp. Conf., Vol. 19, 145-155. (PSYC) Igarashi, W., London, R., and Luckham, D. (1973), "Automatic Verification of Programs I: A Logical Basis and implementation," Stanford Univ. Artificial Intelligence Lab. Memo, No. 200, Stanford Univ., Stanford, CA, May 1973. (PROG) Intelligence, Mason and Lipscomb, New York, 1974. (GEN) Kaplan, R. M. (1972), "Augmented Transition Networks as Psychological Models of Sentence Comprehension," Artificial Intelligence, Vol. 3, 77-100, 1972. (PSYC) Kaplan, R. N. (1973), "A General Syntactic Processor," Natural Language Processing, R. Rustin, ed., 293 241, Algorithmic Press, New York, 1973. (LANG) Katz, s. M. and Manna, 2. (1973), "Heuristic Approach to Program l'erification," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, 500-512, Stanford Univ., Stanford, CA, Aug. 1973. (PROG) Kay, Martin (1964), "A General Procedure for Rewriting Strings," presented at the 1964 Annual Meeting, Association for Machine Translation and Computational Linguistics, Indiana Univ., Bloomington. (LANG) Kay, Martin (1967), "Experiments with a Powerful Parser," r^-5452-PR, RAND Corporation, Santa Monica, CA, 1967. (LANG) Language Processing, R. Rustin, ed., 155-187, Algorithmics Press, Inc., New York, 1973, (LANG) by Computer," Memo AI-130, Comp. Sci. Dept., Stan ford Univ., Stanford, CA, July 1970. (VIS) King, J. (1969), "A Program Verifier," Doctoral dissertation, Comp. Sci. Dept., Carnegie-biellon Univ., Pittsburgh, PA, 1969. (PROG) J. ACM, Vol. 4, 174-177, Apr. 1957. (GAME) Analogy," Artificial Intelligence, Vol. 2, No. 2, 147-178, Fall 1971. (DED) Koffman, Elliot B. and Blount, Sumner E. (1973), "Artificial Intelligence and Automatic Programming in CAI," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (AIDS) Korsvold, K. (1965), "An On-Line Algebraic Simplifica tion Program," Artificial Intelligence Project Memo No. 37, Stanford Univ., Stanford, CA, Nov. 1965. (AIDS) Ko tok, A. (1962), "A Chess Playing Program for the IBM 7090," Bachelor's thesis, MIT, 1962. (GAME) |