Kowalski, R. (1970), "Search Strategies for Theorem
Proving," Machine Intelligence, Vol. 5, B. Meltzer and D. Michie, eds., 181-200, American Elsevier Publishing Company, New York, 1970. (TP) Kowalski, R. and Kuehner, D. (1971), "Linear Resolution with Selection Function," Artificial Intelligence, Vol. 2, 227-260, 1971. (TP) Kulikowski, C. A. and Weiss, S. (1972), "The Medical Consultant Program--Glaucoma," Tech. Report TR-5, Computers in Biomedicine, Dept. of Comp. Sci., Rutgers Univ., New Brunswick, NJ, July 1972. (AIDS)
Kuno, Susumu and Oettinger, Anthony G. (1963), "Multiple-Path Syntactic Analyzer," Information Processing 1962, 306-312, North-Holland Publishing Company, Amsterdam, 1963. (LANG)
Levy, D. N. L. (1970), "Computer Chess--A Case Study," Machine Intelligence, Vol. 6, B. Meltzer and D. Michie, eds., 151-163, Edinburgh Univ. Press, 1970. (GAME)
Lighthill, J. (1973), "Artificial Intelligence: A General Survey," Artificial Intelligence: A Paper Symposium, Science Research Council Pamphlet, Science Research Council, State House, High Holburn, London, Apr. 1973. (GEN)
Lin, Shen (1970), "Heuristic Techniques for Solving Large Combinatorial Problems on a Computer," Theoretical Approaches to Non-Numerical Problem- Solving, R. Banerji and M. Mesarovic, eds., 410- 418, Springer-Verlag, New York, 1970. (AIDS) Lindsay, P. H. and Norman, D. A. (1972), Human Information Processing: An Introduction to Psychology, Academic Press, 1972. (PSYC-G) Locke, William N. and Booth, A. Donald, eds. (1955), Machine Translation of Languages: Fourteen Essays, John Wiley & Sons, New York, 1955. (LANG) Londe, Dave L. and Schoene, William J. (1968), "TGT: Transformational Grammar Tester," Proc. AFIPS Conf., Vol. 32, 1968 Spring Joint Comp. Conf., 385-393, Thompson Book Co., Washington, D.C. (LANG)
London, R. (1970), "Bibliography on Proving the Correctness of Computer Programs," Machine Intelli- gence, Vol. 5, B. Meltzer and D. Michie, eds., 569- 580, 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- tion," Symposium on Automatic Demonstration, M. Laudet, ed., Springer-Verlag, New York, 1970. (TP) Luckham, D. (1969), "Refinement Theorems in Resolu- tion Theory," Stanford Artificial Intelligence Project Memo AI-81, 24 Mar. 1969. Also in Proc. IRIA 1968 Symp. Autom. Demonstration, Lecture Notes on Mathematics No. 125, Springer-Verlag, New York, 1970. (TP)
Luckham, D. and Nilsson, N. (1971), "Extracting Information from Resolution Proof Trees," Artifi- cial Intelligence, 1971. (TP) Manna, Z. (1969), "The Correctness of Programs," J. Computer Syst. Sci., Vol. 3, May 1969. (PROG) Manna, Z. and Waldinger, R. J. (1971), "Toward Automatic Program Synthesis," Comm. ACM, Vol. 14, No. 3, 151-165, Mar. 1971. (PROG-G) Martin, W. A. (1967), "Symbolic Mathematical
Laboratory," MAC Tech. Report 36 (thesis), Project MAC, MIT, Cambridge, MA, Jan. 1967. (AIDS) Martin, W. A. and Fateman, R. J. (1971), "The MACSYMA System," Proc. ACM 2d Symposium on Symbolic and Algebraic Manipulation, S. R. Petrick, ed., Los Angeles, CA, 23-25 Mar. 1971. (AIDS)
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, Eyes, and Ears," Proc. 1968 Fall Joint Comp. Conf., Vol. 33, 329-338, Thompson Book Company, Washington, D.C. (ROB)
McCarthy, J. and Hayes, P. (1969), "Some Philosophi- cal Problems from the Standpoint of Artificial Intelligence," Machine Intelligence, Vol. 4, American Elsevier Publishing Company, New York, 1969. (REP) McDermott, D. V. and Sussman, G. J. (1972), "The CONNIVER Reference Manual," MIT, Artificial Intel- ligence Lab., Memo No. 259, May 1972. (SYS) Meltzer, B. and Michie, D., eds. (1969), Machine Intelligence, Vol. 4, American Elsevier Publishing Company, New York, 1969. (GEN)
Meltzer, B. and Michie, D., eds. (1970), Machine Intelligence, Vol. 5, American Elsevier Publishing Company, New York, 1970. (GEN)
Meltzer, B. and Michie, D., eds. (1971), Machine Intelligence, Vol. 6, American Elsevier Publishing Company, New York, 1971. (GEN)
Neltzer, B. and Michie, D., eds. (1972), Machine Intelligence, Vol. 7, American Elsevier Publishing Company, New York, 1972. (GEN)
Michie, D., ed. (1968), Machine Intelligence, Vol. 3, American Elsevier Publishing Company, Princeton, NJ, 1968. (GEN)
Miller, G. A. (1956), "The Magical Number Seven, Plus or Ninus Two," Psychological Review, Vol. 63, 81-97. (PSYC)
Miller, G. A., Galanter, E., and Pribram, K. H. (1960), Plans and the Structure of Behavior, Holt, Rinehart & Winston, New York. (PSYC) Minker, J., Fishman, D. H., and McSkimin, J. R. (1972), "The Maryland Refutation Proof Procedure System (MRPPS)," TR-208, Comp. Sci. Center, Univ. of Maryland, College Park, MD, 1972. (TP) Minsky, M. (1961), "Steps Toward Artificial Intelli- gence," Proc. IRE, Vol. 49, 8-30, Jan. 1961. (SEARCH, GEN)
Minsky, M. L. (1965), "Matter, Mind, and Models," IFIP, 1965. (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:
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, Appleton- Century-Crofts, New York. (PSYC)
Nevatia, Ramakant and Binford, Thomas O. (1973), "Structured Descriptions of Complex Objects," Adv. Papers 3d Intl. Conf. on Artificial Intelli- gence, 641-645, Stanford Univ., Stanford, CA, Aug. 1973. (VIS)
Nevins, A. J. (1972), "A Human Oriented Logic for Automatic Theorem Proving," Tech. Report 268, MIT Artificial Intelligence Laboratory, MIT, Cambridge, MA, Oct. 1972. (TP)
Nevins, J. L., Whitney, D. E., and Simunovic, S. N. (1973), "Report on Advanced Automation," No. R-764, prepared for National Science Foundation, Grant No. GK-34094 and GI-39432X, The Charles Stark Draper (ROB) Lab., Inc., Cambridge, MA, Nov. 1973. Newell, A., ed. (1961), Information Processing Language V Manual, Prentice-Hall, Englewood Cliffs, NJ. (SYS)
Newell, A. (1967), Studies in Problem Solving: Subject 3 on the Cryptarithmetic Task: Donald + Gerald = Robert, Carnegie-Mellon Univ., Pittsburgh, PA. (PSYC, REP)
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 Concept of Mind," Computer Models of Thought and Language, Roger Schank and Kenneth Colby, eds., W. H. Freeman & Co., San Francisco, 1973. (GEN) Newell, A. et al. (1971), Speech Understanding Systems, Advanced Research Projects Agency Report, 1971. Also published by North Holland Publishing Company, Amsterdam, The Netherlands, 1973. (LANG) Newell, A. and Shaw, J. C. (1957), "Programming the Logic Theory Machine," Proc. West. Joint Comp. Conf., 230-240, 1957. (SYS)
Newell, A., Shaw, J. C., and Simon, Herbert (1957), "Empirical Explorations with the Logic Theory Machine: A Case Study in Heuristics," Proc. Western Joint Comp. Conf. 1957, 218-239.
Computers and Thought, E. A. Feigenbaum and J. Feldman, eds., 109-133, McGraw-Hill Book Company, New York, 1963. (DED, PSYC)
Newell, A., Shaw, J. C., and Simon, H. A. (1958a), "Elements of a Theory of Human Problem Solving," Psychological Review, Vol. 65, 151-166, 1958. (PSYC)
Newell, A., Shaw, J., and Simon, H. (1958b), "Chess Playing Programs and the Problem of Complexity," IBM J. Res. Develop., Vol. 2, 320-335, Oct. 1958. Reprinted in Computers and Thought, Feigenbaum and Feldman, eds., 39-70, McGraw-Hill Book Company, New York, 1963. (GAME)
Newell, A., Shaw, J. C., and Simon, H. A. (1960), "Report on a General Problem-Solving Program for a Computer," Information Processing: Proc. Intl. Conf. Information Processing, 256-264, UNESCO, Paris. Also printed in Computers and Automation, July 1959. (DED, PSYC, TP)
Newell, A. and Simon, H. A. (1956), "The Logic Theory 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, (PSYC) NJ, 1972.
Newell, A. and Tonge, F. M. (1960), "An Introduction to Information Processing Language V," Comm. ACM, (SYS) Vol. 3, 205-211.
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 Application of Artificial Intelligence Techniques," (ROB) Proc. IJCAI, 509-515, May 1969. Nilsson, N. J. (1971), Problem-Solving Methods in Artificial Intelligence, McGraw-Hill Book Company, New York, 1971. (SEARCH-G, TP-G) Norton, L. (1966), "ADEPT--A Heuristic Program for Proving Theorems of Group Theory," MAC Tech. Report 33, thesis, Project MAC, MIT, Cambridge, MA, 1966. (TP)
Papert, S. (1968), "The Artificial Intelligence of Hubert L. Dreyfus, A Budget of Fallacies," NIT Artificial Intelligence Memo No. 54, Jan. 1968. (GEN)
Papert, Seymour A. (1972), "Teaching Children Thinking," Programmed Learning and Educational Technology, Vol. 9, No. 5, Sept. 1972. (GEN) Paul, R. C. (1971), "Trajectory Control of a Computer Arm," Proc. 2d Intl. Joint Conf. on Artificial Intelligence, London, England, Sept. 1971. (ROB) Paul, R. C. (1973), "Modeling, Trajectory Calculation and Servoing of a Computer Controlled Arm," Ph.D. dissertation, Comp. Sci. Dept., Stanford Univ., Stanford, CA, 1973. (ROB)
Paxton, William H. and Robinson, Ann E. (1973), "A Parser for a Speech Understanding System," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (LANG) Petrick, S. R. (1965), "A Recognition Procedure for Transformational Grammars," Ph.D. thesis, MIT, Cambridge, MA. (LANG)
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. 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 Nechanization 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 Finding in a Graph," Artificial Intelligence, Vol. I, 193-204, 1970. (SEARCH)
Prawitz, D. (1960), "An Improved Proof Procedure," Theoria, Vol. 26, 102-139, 1960. (TP) Quillian, M. R. (1968), "Semantic Memory," Semantic Information Processing, MIT Press, Cambridge, MA. (REP, PSYC, LANG)
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 Semantic Information Retrieval," MIT, June 1964, Reprinted in Semantic Information Processing, M. Minsky, ed., MIT Press, Cambridge, MA, 1968. (DED, LANG)
Raphael, B. (1968), "Programming A Robot," Proc. IFIP Cong. 68, H135-H140, Edinburgh, 1968. (ROB) Raphael, B. et al. (1971), "Research and Applica- tions--Artificial Intelligence," Stanford Research Institute Final Report, Contract NASW-2164, National Aeronautics and Space Administration, Dec. 1971. (ROB)
Raphael, B. and Green, C. (1968), "The Use of Theorem Proving Techniques in Question Answering Systems," J. ACM, 169, 1968. (DED, REP)
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 Higher-Order Logic," Machine Intelligence, Vol. 5, B. Meltzer and D. Michie, eds., 123-133, Edinburgh Univ. Press, Edinburgh, 1969. (TP)
Rosen, C. A. (1972); "Robots, Productivity, and Quality," Proc. ACM Natl. Conf. 1972, Boston, MA, Aug. 14-16, 1972. (ROB-G)
Rosen, C. (1973), "Exploratory Research in Advanced Automation," SRI Report to National Science Founda- tion, Grant GI-38200X, Stanford Research Institute, Menlo Park, CA, Dec. 1973. (ROB)
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. (1972), "A Process Model for Long-Term Memory," Organization and Memory, E. Tulving and W. Donaldson, eds., Academic Press, New York, 1972. (PSYC) Rumelhart, David E. and Norman, Donald A. (1973), "Active Semantic Networks as a Model of Human Memory," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (PSYC)
Russell, R. (1964), "KALAH--The Game and the Program," Stanford Univ. Artificial Intelligence Project Memo No. 22, 3 Sept. 1964. (GAME) Rustin, R., ed. (1973), Natural Language Processing, Algorithmic Press, New York, 1973. (LANG-G) Ryder, J. L. (1971), "Heuristic Analysis of Large Trees as Generated in the Game of GO," AI Memo 155, Artificial Intelligence Project, Stanford Univ., Stanford, CA, 1971. (GAME)
Sacerdoti, Earl D. (1973), "Planning in a Hierarchy of Abstraction Spaces," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stan- ford, 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 Using the Game of CHECKERS," IBM J. Research Develp., Vol. 3, 211-229, 1959. Reprinted in Computers and Thought, E. Feigenbaum and J. Feldman, eds., 71-105, McGraw-Hill Book Company, New York, 1963. (GAME)
Samuel, A. L. (1967), "Some Studies in Machine Learning Using the Game of CHECKERS II--Recent Progress," IBM J. Res. Dev., Vol. 11, 601-617, 1967. (GAME)
Sandewall, E. J. (1971), "Representing Natural Language Information in Predicate Calculus," Machine Intelligence, Vol. 6, B. Meltzer and D. Michie, eds., 255-277, Edinburgh Univ. Press, Edinburgh. (REP)
Sandewall, E. J. (1972a), "Formal Methods in the Design of Question-Answering System," J. Artificial Intelligence, 237, 1972. (REP)
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: Memory, 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), "SPINOZA II: Conceptual Case-Based Natural Language Analysis," Memo AIM-109, Stanford Artifi- cial Intelligence Project, Stanford Univ., Stanford, CA, 1970. (LANG)
Scheinman, V. D. (1969), "Design of a Computer- Controlled Manipulator," thesis, Dept. of M.E., Stanford Univ., Stanford, CA. Available as Stan- ford AIM-92, June 1969. (ROB)
Shannon, C. (1950), "Programming a Digital Computer for Playing Chess," Philosophy Magazine, Vol. 41, 356-375, Mar. 1950. Reprinted in The World of Mathematics, Vol. 4, J. R. Newman, ed., Simon and Schuster, New York, 1954. (GAME) Shirai, Y. (1972), "A Heterarchical Program for Recognition of Polyhedra," Memo No. 263, Artificial Intelligence Laboratory, MIT, Cambridge, MA. (VIS) Shirai, Y. (1973), "A Context Sensitive Line Finder for Recognition of Polyhedra," Artificial Intelli- gence, Vol. 4, No. 2, 95-119, Summer 1973. (VIS) Shortliffe, E. H. et al. (1973), "An Artificial
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)
Simmons, R. F. (1969), "Natural Language QuestionAnswering Systems: 1969," Comm. ACM, Vol. 13, 15-30, 1970. (LANG-G)
Simmons, Robert F. (1973), "Semantic Networks: Their Computation and Use for Understanding English Sentences," Computer Models of Thought and Language, K. M. Colby and Roger Schank, eds., W. H. Freeman and Company, San Francisco, CA, 1973. (LANG) Simmons, Robert F., Klein, S., and McConlogue, D.
(1964), "Indexing and Dependency Logic for Answering English Questions," American Documentation, Vol. 15, No. 3, 196-204, 1964. (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. ACH, 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, 792-798, Dec. 1965. (DED)
Slagle, J. R. (1967), "Automatic Theorem Proving with Renameable and Semantic Resolution," J. ACM, Vol.
Slagle, J. R. (1971), Artificial Intelligence: The 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 Mono- graphs, 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, July 1971. (AIDS)
Sridharan, N. S. et al. (1973a), "A Heuristic Program to Discover Syntheses for Complex Organic Molecules," Stanford Artificial Intelligence Memo 205, Stanford Univ., Stanford, CA, June 1973. (AIDS) Sridharan, N. S. (1973b), "Search Strategies for the Task of Organic Chemical Synthesis," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (AIDS) Sternberg, S. (1966), "High Speed Scanning in Human Memory," Science, Vol. 153, 652-654. (PSYC) Sussman, G. J. (1973), "A Computational Model of Skill Acquisition," Tech. Note AI TR-297, Artificial Intelligence Laboratory, MIT, Cambridge, MA, Aug. 1973. (DED, PROG)
Sussman, G. J. and McDermott, D. V. (1972), "From PLANNER to CONNIVER--A Genetic Approach," Proc. AFIPS FJCC, Vol. 41, 1171-1180, 1972. (SYS) Teitelman, W. (1969), "Toward a Programming Labora- tory," Proc. 1st Intl. Joint Conf. on Artificial Intelligence, Washington, D.C., 1969. (PROG) Teitelman, W. (1972a), "Do What I Mean," Computers and Automation, Apr. 1971. (PROG, SYS) Teitelman, W. (1972b), "Automated Programming--The Programmer's Assistant," Proc. Fall Joint Comp. Conf., Dec. 1972. (PROG, SYS)
Teitelman, W. (1973), "CLISP--Conversational LISP," Adv. Papers 3d Intl. Conf. on Artificial Intelli- gence, Stanford Univ., Stanford, CA, Aug. 1973. (PROG, SYS)
Teitelman, W. (1974), INTERLISP Reference Manual, Xerox and Bolt, Beranek and Newman. Copies available from Xerox Palo Alto Research Center, Palo Alto, CA. (SYS)
Tenenbaum, J. M. (1973), "On Locating Objects by Their Distinguishing Features in Multisensory Images," SRI Artificial Intelligence Center Tech. Note 84, Stanford Research Institute, Menlo Park, CA, Sept. 1973. To appear in Computer Graphics and Image Processing, 1974. (VIS) Tenenbaum, J. M. et al. (1974), "An Interactive Facility for Scene Analysis Research," SRI Artifi- cial 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 Extensible Language System," Proc. 24th Natl. ACM Conf., 1969. (LANG)
Thorne, J., Bratley, P., and Dewar, H. (1968), "The Syntactic Analysis of English by Machine," Machine Intelligence, Vol. 3, D. Michie, ed., American Elsevier Publishing Company, New York, 1968. (LANG)
Tinbergen, N. (1951), The Study of Instinct, Clarendon Press, Oxford, 1951. (PSYC) Tonge, F. (1961), A Heuristic Program for Assembly Line Balancing, Prentice Hall, 1961. (AIDS) Turing, A. M. (1949), "Checking a Large Routine," Report of a Conference on High Speech Automatic Calculating-Machines, McLennon Laboratory, Univ. of Toronto, Canada. (PROG)
Turing, A. M. (1950), "Computing Machinery and Intel- ligence," Mind, Vol. 59, 433-460, Oct. 1950, Re- printed in Computers and Thought, 11-35, E. Feigenbaum and J. Feldman, eds., McGraw-Hill Book Company, New York, 1963. (GEN) Vicens, P. (1969), "Aspects of Speech Recognition by Computer," Report CS-127, Ph.D. thesis, Comp. Sci. Dept., Stanford Univ., Stanford, CA. (LANG) Waldinger, R. J. and Lee, R. C. T. (1969), "PROW: A Step Toward Automatic Program Writing," Proc. Intl. Joint Conf. on Artificial Intelligence, 241-252, 1969. (PROG) Waldinger, R. J. and Levitt, K. N. (1973), "Reasoning About Programs," Tech. Note 86, SRI Artificial Intelligence Center, Oct. 1973, Stanford Research Institute, Menlo Park, CA. To Appear in Artificial Intelligence, 1974. (PROG)
Walker, Donald E., ed. (1964), English Preprocessor Manual, The Mitre Corporation, Bedford, MA, 1964 (SR-132). (LANG)
Walker, Donald E. (1973), "Speech Understanding, Computational Linguistics, and Artificial Intelli- gence," Tech. Note £5, SRI Artificial Intelligence Center, Stanford Research Institute, Menlo Park, CA, Aug. 1973. (LANG)
Waltz, D. G. (1972), "Generating Semantic Descrip- tions from Drawings of Scenes with Shadows," AI TR-271, Artificial Intelligence Laboratory, MIT, Aug. 1972. (VIS)
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 Analysis as a Task for Artificial Intelligence," Artificial Intelligence, Vol. 2, Nos. 2 and 3, 285-318, 1971. (AIDS)
Waterman, D. A. and Newell, A. (1973), "PAS-II: An Interactive Task-Free Version of an Automatic Protocol Analysis System," Adv. Papers 3d Intl. Conf. on Artificial Intelligence, Stanford Univ., Stanford, CA, Aug. 1973. (AIDS) Wegbreit, Ben (1973), "Heuristic Methods for Mechanically Deriving Inductive Assertions," Adv. Papers 3d Intl. Conf. on Artificial Intelli-
gence, Stanford Univ., Stanford, CA, Aug. 1973. (PROG)
Weissman, C. (1967), LISP 1.5 Primer, Dickenson Press, 1967. (SYS) Weizenbaum, J. (1966), "ELIZA--A Computer Program for the Study of Natural Language Communication Between Man and Machine," Comm. ACM, Vol. 9, 36- 45, 1966. (LANG)
Weizenbaum, J. (1972), "On the Impact of the Computer on Society," Science, Vol. 176, No. 609, 1972, (GEN)
West, J. D. (1967), "A Heuristic Model for Scheduling Large Projects with Limited Resources," Management Science, Vol. 13B, 359-377. (AIDS) Winograd, T. (1971), "Procedures as Representation for Data in a Computer Program for Understanding Natural Language," Tech. Report AI TR-17, MIT, Cambridge, MA, 1971. Published as Understanding Natural Language, Academic Press, New York, 1972. (REP, DED, LANG)
Winston, P. H. (1970), "Learning Structural Descrip- tions from Examples," Tech. Report AI TR-231, Artificial Intelligence Laboratory, MIT, Cambridge, MA, 1970. (REP, VIS)
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 in LISP," Artificial Intelligence Project Memo No. 11, Stanford Univ., Stanford, CA, Dec. 1963. (AIDS)
Wos, L. T., Carson, D. G., and Robinson, G. A. (1964), "The Unit Preference Strategy in Theorem Proving," Proc. AFIPS, Fall 1964, Vol. 25, 615-621, Spartan Books, Washington, D.C. (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. (TP) Yakimovsky, Yoram and Feldman, Jerome A. (1973), "A Semantics-Based Decision Theory Region Analyzer," Adv. Papers 3d Intl. Conf. on Artificial Intelli- gence, 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)
« PreviousContinue » |