Kowalski, R. (1970), "Search Strategies for Theorem Proving," Machine Intelligence, Vol. 5, B. Meltzer Kuno, Susumu and Oettinger, Anthony G. (1963), Levy, D. N. L. (1970), "Computer Chess--A Case Lighthill, J. (1973), "Artificial Intelligence: Lin, Shen (1970), "Heuristic Techniques for Solving (LANG) London, R. (1970), "Bibliography on Proving the Correctness of Computer Programs," Machine Intelligence, Vol. 5, B. Meltzer and D. Michie, eds., 569580, American Elsevier Publishing Company, New York, 1970. (PROG-G) London, R. L. (1972), "The Current State of Proving Programs Correct," Proc. ACM 25th Annual Conf., 39-46, 1972. (PROG-G) Loveland, D. W. (1970), "A Linear Format for Resolu- Luckham, D. and Nilsson, N. (1971), "Extracting Laboratory," MAC Tech. Report 36 (thesis), Project McCarthy, J. (1958), "Programs with Common Sense," in "Mechanization of Thought Processes," Vol. 1, 77-84, Proc. Symp., Nat. Phys. Lab., London, 24-27, Nov. 1958. Reprinted in Semantic Information Processing, M. Minsky, ed., 403-410, MIT Press, Cambridge, MA, 1968. (REP, DED) McCarthy, J. (1960), "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part 1," Comm. ACM, Vol. 3, No. 4, 184-195, Apr. 1960. (SYS) McCarthy, John (1961), "Computer Programs for Checking Mathematical Proofs," Proc. Amer. Math. Soc. on Recursive Function Theory, New York, Apr. 1961. (TP) McCarthy, J. (1962), "Towards a Mathematical Science of Computation," Proc. IFIP Congr., Vol. 62, NorthHolland Publishing Company, Amsterdam, 1962. (PROG) McCarthy, J. (1963), "Situations, Actions and Causal Laws," Memo. No. 2, Stanford Univ. Artificial Intelligence Project, 1963. Reprinted in Semantic Information Processing, M. Minsky, ed., 410-418, MIT Press, Cambridge, MA, 1968. (REP) McCarthy, J. and Painter, J. A. (1967), "Correctness of a Compiler for Arithmetic Expressions," in Proc. Symp. Applied Mathematics, Vol. 19, Math. Aspects of Computer Science, J. T. Schwarcz, ed., 33-41, American Mathematical Society, Providence, RI, 1967. (PROG) McCarthy, J. et al. (1968), "A Computer with Hands, McCarthy, J. and Hayes, P. (1969), "Some Philosophi- Meltzer, B. and Michie, D., eds. (1970), Machine Meltzer, B. and Michie, D., eds. (1971), Machine Intelligence, Vol. 6, American Elsevier Publishing Company, New York, 1971. (GEN) Meltzer, B. and Michie, D., eds. (1972), Machine Michie, D., ed. (1968), Machine Intelligence, Vol. 3, Miller, G. A. (1956), "The Magical Number Seven, Miller, G. A., Galanter, E., and Pribram, K. H. Minsky, M. L. (1965), "Matter, Mind, and Models," (GEN) Minsky, M., ed. (1968), Semantic Information Processing, MIT Press, Cambridge, MA. (GEN, LANG-G) Minsky, M. (1974), "Frame-Systems: A Framework for Representation of Knowledge," forthcoming 1974. (REP) Minsky, M. and Papert, S. (1972), Progress Report, AI Memo 252, Artificial Intelligence Laboratory, Cambridge, MA. (REP, VIS-G) Mittman, B. (1973), "Can a Computer Beat Bobby Fischer?," Datamation, 84-87, June 1973. (GAME) Moore, J. and Newell, A. (1973), "How Can Merlin Understand?," Dept. of Com. Sci. Report, CarnegieMellon Univ., Nov. 15, 1973. (REP) Moses, J. (1967), "Symbolic Integration," MAC Tech. Report 47, Project MAC, MIT, Cambridge, MA, Dec. 1967. (AIDS) Moses, Joel (1971a), "Symbolic Integration: The Stormy Decade," Proc. ACM 2d Symposium on Symbolic and Algebraic Manipulation, S. R. Petrick, ed., Los Angeles, CA, 23-25 Mar. 1971. (AIDS-G) Moses, Joel (1971b), "Algebraic Simplification: A Guide for the Perplexed," Proc. ACM 2d Symposium on Symbolic and Algebraic Manipulation, S. R. Petrick, ed., Los Angeles, CA, 23-25 Mar. 1971. (AIDS-G) Neisser, U. (1967), Cognitive Psychology, AppletonCentury-Crofts, New York. (PSYC) Nevatia, Ramakant and Binford, Thomas O. (1973), "Structured Descriptions of Complex Objects," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, 641-645, Stanford Univ., Stanford, CA, Aug. 1973. (VIS) Nevins, A. J. (1972), "A Human Oriented Logic for Nevins, J. L., Whitney, D. E., and Simunovic, S. N. Newell, A. (1967), Studies in Problem Solving: Sub- = Newell, A. (1970), "Remarks on the Relationship Between Artificial Intelligence and Cognitive Psychology," Theoretical Approaches to Non-Numerical Problem Solving, R. B. Banerji and M. D. Mesarovic, eds., Springer-Verlag, Berlin. (PSYC-G) Newell, A. (1972a), "Production Systems: Models of Control Structures," Visual Information Processing, Wm. Chase, ed., Academic Press, New York, 1972. (REP, PSYC) Newell, A. (1972b), "A Theoretical Exploration of Mechanisms for Coding the Stimulus," Coding Processes in Human Memory, A. Melter and E. Martin, eds., V. H. Winston, Washington, D.C., 1972. (REP, PSYC) Newell, A. (1973), "Artificial Intelligence and the Newell, A., Shaw, J. C., and Simon, Herbert (1957), Computers and Thought, E. A. Feigenbaum and J. Newell, A., Shaw, J. C., and Simon, H. A. (1958a), Newell, A., Shaw, J., and Simon, H. (1958b), "Chess Newell, A., Shaw, J. C., and Simon, H. A. (1960), Newell, A. and Simon, H. A. (1956), "The Logic Theory Machine: A Complex Information Processing System, IRE Trans. on Information Theory, Vol. IT-2, No. 3, 61-79. (SEARCH, DED, PSYC, TP) Newell, A. and Simon, H. (1961), "GPS, A Program that Simulates Human Thought, Lernende Automaten, H. Billing, ed., 109-124, R. Oldenbourg, Munich. Reprinted in Computers and Thought, Feigenbaum and Feldman, eds., McGraw-Hill Book Company, New York, 1963. (PSYC) Newell, A. and Simon, Herbert A. (1972), Human Problem Solving, Prentice-Hall, Englewood Cliffs, NJ, 1972. (PSYC) Newell, A. and Tonge, F. M. (1960), "An Introduction to Information Processing Language V," Comm. ACM, Vol. 3, 205-211. (SYS) Nilsson, N. J. (1969a), "Searching Problem-Solving and Game-Playing Trees for Minimal Cost Solutions," Information Processing 68, Vol. 2, A. J. H. Morrel, ed., 1556-1562, North-Holland Publishing Company, Amsterdam, 1969. (SEARCH) Nilsson, N. J. (1969b), "A Mobile Automaton: An Papert, S. (1968), "The Artificial Intelligence of Papert, Seymour A. (1972), "Teaching Children Paxton, William H. and Robinson, Ann E. (1973), "A Petrick, S. R. (1971), "Transformational Analysis," Natural Language Processing, Courant Computer Science Symposium 8, 20-21 Dec. 1971, R. Rustin, ed., 27-41, Algorithmics Press, New York, (LANG) Petrick, S. R. (1973), "Semantic Interpretation in the Request System," Proc. Intl. Conf. on Computational Linguistics, Pisa, Italy, 1973. (LANG) Pietrzykowski, T. and Jensen, D. (1972), "A Complete Mechanization of Omega-Order Type Theory," Proc. ACM Natl. Conf., Vol. 1, 82-92, 1972. (TP) Pingle, K. K. (1969), "Visual Perception by a Computer," Automatic Interpretation and Classification of Images, A. Grasselli, ed., 277-284, Academic Press, New York, London, 1969. (VIS) Pingle, K. K., Singer, J., and Wichman, W. (1968), "Computer Control of a Mechanical Arm Through Visual Input," Proc. IFIP Cong. 1968, Vol. 2. (ROB) Pingle, K. K. and Tenenbaum, J. M. (1971), "An Accommodating Edge Follower," IJCAI-2, 1971. (VIS) Plath, Warren, J. (1973), "Transformational Grammar and Transformational Parsing in the Request System," Proc. Intl. Joint Conf. on Computational Linguistics, Pisa, Italy, 1973. (LANG) Pohl, I. (1970), "Heuristic Search Viewed as Path Prawitz, D. (1960), "An Improved Proof Procedure," Quillian, Ross (1969), "The Teachable Language Comprehender: A Simulation Program and Theory of Language," Comm. ACM, Vol. 12, 459-476, 1969. (REP, PSYC, LANG) Raphael, B. (1964a), "A Computer Program Which 'Understands," Proc. AFIPS Fall Joint Comp. Conf., 577-589, 1964. (DED, LANG) Raphael, B. (1964b), "SIR: A Computer Program for Raphael, B. (1968), "Programming A Robot," Proc. IFIP Raphael, B. and Green, C. (1968), "The Use of Theorem Reboh, R. and Sacerdoti, E. (1973), "A Preliminary QLISP Manual," SRI Artificial Intelligence Center Tech. Note 81, Stanford Research Institute, Menlo Park, CA, Aug. 1973. (SYS) Reddy, D. R. (1967), "Computer Recognition of Connected Speech," J. ASA, Vol. 42, 329-347. (LANG) Reddy, D. R. et al. (1973), "The Hearsay Speech Understanding System: An Example of the Recognition Process," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (LANG) Roberts, L. G. (1963), "Machine Perception of ThreeDimensional Solids," MIT Lincoln Lab., Lexington, MA, Tech. Report No. 315, May 1963. Also in Optical and Electro-Optical Information Processing, J. T. Tippett et al., eds., MIT Press, Cambridge, MA, 1965. (VIS) Robinson, J. A. (1965), "A Machine-Oriented Logic Based on the Resolution Principle," J. ACM, Vol. 12, No. 1, 23-41, Jan. 1965. (DED, TP) Robinson, J. A. (1969), "A Note on Mechanizing Rosen, C. A. (1972); "Robots, Productivity, and Rosen, C. (1973), "Exploratory Research in Advanced Roszak, T. (1972), Where the Wasteland Ends: Politics and Transcendence in Post-Industrial Society, Doubleday, 1972. (GEN) Rulifson, J. F., Waldinger, R. J., and Derksen, J. A. (1971), "A Language for Writing Problem Solving Programs," Proc. IFIP, TA-2, 111-115, 1971. (REP, SYS) Rulifson, J. F., Derksen, J. A., and Waldinger, R. J. (1972), "QA4: A Procedural Calculus for Intuitive Reasoning," Tech. Note 73, Artificial Intelligence Center, Stanford Research Institute, Menlo Park, CA, 1972. (REP, SYS, DED) Rumelhart, D. E., Lindsay, P. H., and Norman, D. A. Russell, R. (1964), "KALAH--The Game and the Program," Sacerdoti, Earl D. (1973), "Planning in a Hierarchy of Abstraction Spaces," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. To appear in Artificial Intelligence, 1974. (DED) Sakai, T., Nagao, M., and Knode, T. (1972), "Computer Analysis and Classification of Photographs of Human Faces," First USA-Japan Comp. Conf. Proc., Oct. 1972. (VIS) Samuel, A. (1959), "Some Studies in Machine Learning Samuel, A. L. (1967), "Some Studies in Machine Sandewall, E. J. (1971), "Representing Natural Sandewall, E. J. (1972a), "Formal Methods in the Sandewall, E. J. (1972b), "PCF-2, A First-Order Calculus for Expressing Conceptual Information," Computer Science Report, Comp. Sci. Dept., Uppsala Univ., Uppsala, Sweden. (REP) Schank, R. C. (1972), "Conceptual Dependency: A Theory of Natural Language Understanding," Cognitive Psychology, Vol. 3, 552-631, 1972. (PSYCH, LANG) Schank, R. C. (1973), "The Fourteen Primitive Actions and Their Inferences," Stanford AIM-183 Comp. Sci. Dept., Stanford Univ., Stanford, CA, 1973. (REP, LANG, PSYC) Schank, R. C. et al. (1972), "Primitive Concepts Underlying Verbs of Thought," Stanford AIM-162, Comp. Sci. Dept., Stanford Univ., Stanford, CA, 1972. (REP, LANG, PSYC) Schank, R. C. and Colby, K. (1973), Computer Models of Thought and Language, W. H. Freeman & Co., San Francisco, 1973. (LANG-G, PSYC-G) Schank, R. C., Goldman, Neil, Rieger, Charles J., and Riesback, Chris (1973), "MARGIE: Nemory, Analysis, Response Generation, and Inference on English," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (LANG) Schank, R. C., Tesler, L., and Weber, S. (1970), Scheinman, V. D. (1969), "Design of a Computer- Shannon, C. (1950), "Programming a Digital Computer Intelligence Program to Advise Physicians Regarding Antimicrobial Therapy," Computers and Biomedical Research, Vol. 6, 544-560, 1973. (AIDS) Simmons, R. F. (1965), "Answering English Questions by Computer: A Survey," Comm. ACM, Vol. 8, 53-70, 1965. (LANG-G) Their Simmons, R. F. (1969), "Natural Language Question- (LANG) Simon, H. A. (1963), "Experiments with a Heuristic Compiler," J. ACM, Vol. 10, No. 4, Oct. 1963. (PROG) Simon, H. A. (1969), The Sciences of the Artificial, MIT Press, Cambridge, MA. (GEN) Simon, H. A. (1972), "The Heuristic Compiler," Representation and Meaning, H. A. Simon and L. Siklossy, eds., Prentice-Hall, Englewood Cliffs, NJ, 1972. (PROG) Simon, H. A. and Feigenbaum, E. A. (1964), "An Information-Processing Theory of Some Effects of Similarity, Familiarization, and Meaningfulness in Verbal Learning," J. Verbal Learning and Verbal Behavior, Vol. 3, 385-396. (PSYC) Slagle, J. (1961), "A Computer Program for Solving Problems in Freshman Calculus (SAINT)," Lincoln Laboratory Report 5G-001, May 1961. (SEARCH, AIDS) Slagle, J. R. (1963), "A Heuristic Program that Solves Symbolic Integration Problems in Freshman Calculus," J. ACM, Vol. 10, No. 4, 507-520, Oct. 1963. Also in Computers and Thought, E. Feigenbaum and J. Feldman, eds., 191-203, McGraw-Hill Book Company, New York, 1963. (AIDS, SEARCH) Slagle, J. (1965), "Experiments with a Deductive Question-Answering Program," Comm. ACM, Vol. 8, (DED) 792-798, Dec. 1965. Slagle, J. R. (1967), "Automatic Theorem Proving with Renameable and Semantic Resolution," J. ACM, Vol. 14, 687-697, 1967. (TP) The Slagle, J. R. (1971), Artificial Intelligence: Heuristic Programming Approach, McGraw-Hill Book Company, New York, 1971. (GEN, GAME-G, SEARCH-G) Slagle, J. R. (1970), "Heuristic Search Programs," Theoretical Approaches to Non-Numerical Problem Solving, R. Banerji and M. I. Mesarovic, eds., 246-273, Springer-Verlag, New York, 1970. (SEARCH) Slagle, J. R. and Dixon, J. (1969), "Experiments with Some Programs that Search Game Trees," J. ACM, Vol. 16, No. 2, 189-207, Apr. 1969. (GAME, SEARCH) Solomonoff, R. (1966), "Some Recent Work in Artificial Intelligence," Proc. IEEE, Vol. 54, No. 112, Dec. 1966. (GEN) Sperling, G. (1960), "The Information Available in Brief Visual Presentations," Psychological Monographs, Vol. 74. (PSYC) Sridharan, N. S. (1971), "An Application of Artificial Intelligence to Organic Chemical Synthesis," thesis, State Univ. of New York at Stony Brook, New York, (AIDS) July 1971. Sridharan, N. S. et al. (1973a), "A Heuristic Program to Discover Syntheses for Complex Organic Molecules," Stanford Artificial Intelligence Memo 205, Stanford (AIDS) Univ., Stanford, CA, June 1973. Sridharan, N. S. (1973b), "Search Strategies for the Task of Organic Chemical Synthesis," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford (AIDS) Univ., Stanford, CA, Aug. 1973. " Sternberg, S. (1966), "High Speed Scanning in Human 1973. (DED, PROG) Sussman, G. J. and McDermott, D. V. (1972), "From Teitelman, W. (1973), "CLISP--Conversational LISP," Teitelman, W. (1974), INTERLISP Reference Manual, Xerox and Bolt, Beranek and Newman. Copies available from Xerox Palo Alto Research Center, (SYS) Palo Alto, CA. Tenenbaum, J. M. (1973), "On Locating Objects by Facility for Scene Analysis Research," SRI Artificial Intelligence Center Tech. Note. 87, Stanford Research Institute, Menlo Park, CA, 1974. (VIS) Thompson, F. B. (1966), "English for the Computer," Proc. AFIPS 1966 Fall Joint Comp. Conf., Vol. 29, 349-356, Spartan Books, New York. (LANG) Thompson, F. B. et al. (1969), "REL: A Rapidly Thorne, J., Bratley, P., and Dewar, H. (1968), "The Tinbergen, N. (1951), The Study of Instinct, Turing, A. M. (1950), "Computing Machinery and Intel- Walker, Donald E., ed. (1964), English Preprocessor Walker, Donald E. (1973), "Speech Understanding, Waltz, D. G. (1972), "Generating Semantic Descrip- Waterman, D. A. (1970), "Generalization Learning Techniques for Automating the Learning of Heuristics," Artificial Intelligence, Vol. I, Nos. 1 and 2, Spring 1970. (GAME) Waterman, D. A. and Newell, A. (1971), "Protocol Waterman, D. A. and Newell, A. (1973), "PAS-II: An gence, Stanford Univ., Stanford, CA, Aug. 1973. Weissman, C. (1967), LISP 1,5 Primer, Dickenson Weizenbaum, J. (1972), "On the Impact of the Computer West, J. D. (1967), "A Heuristic Model for Scheduling Winston, P. H. (1970), "Learning Structural Descrip- Winston, P. H. (1972), "The MIT Robot," Machine Intelligence, Vol. 7, 431-463, B. Meltzer and D. Michie, eds., American Elsevier Publishing Company, 1972. (ROB, VIS) Woods, W. A. (1970), "Transition Network Grammars for Natural Language Analysis," Comm. ACM, Vol. 13, 591-606, 1970. (LANG) Woods, W. A. (1973), "An Experimental Parsing System for Transition Network Grammars," Natural Language Processing, R. Rustin, ed., 111-154, Algorithmics Press, New York, 1973. (LANG) Woods, W. A., Kaplan, R. M., Nash-Webber, G. (1972), "The Lunar Science Natural Language Information System: Final Report," BBN Report No. 2378, Bolt, Beranek and Newman, Inc., Cambridge, MA, June 1972. (LANG) Woods, W. A. and Makhoul, J. (1973), "Mechanical Inference Problems in Continuous Speech Understanding," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (LANG) Wooldridge, D. (1963), "An Algebraic Simplify Program Wos, L. T., Carson, D. G., and Robinson, G. A. (1964), (TP) Wos, L. T., Robinson, G., and Carson, D. (1965), "Efficiency and Completeness of the Set of Support Strategy in Theorem-Proving," J. ACM, Vol. 12, No. 4, 536-541, Oct. 1965. Yakimovsky, Yoram and Feldman, Jerome A. (1973), "A Semantics-Based Decision Theory Region Analyzer," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (VIS) Yates, R., Raphael, B., and Hart, T. (1970), "Resolution Graphs," Artificial Intelligence, Vol. 1, No. 4, 1970. (TP) Zobrist, A. (1969), "A Model of Visual Organization for the Game of GO," Proc. AFIPS, Spring 1969, 103-112. (GAME) Zobrist, A. and Carlson, F., Jr. (1973), "An AdviceTaking Chess Computer," Scientific American, June 1973. (GAME) Zwicky, Arnold M. et al. (1965), "The Mitre Syntactic Analysis Procedure for Transformational Grammars," Proc. AFIPS, Fall 1965, Vol. 27, 317-326. (LANG) |