Page images
PDF
EPUB

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)

[ocr errors]

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:

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, 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.

Also in

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)

Machine:

"

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)

[ocr errors]

(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)

[ocr errors]

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.

14, 687-697, 1967. (TP)

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)

[ocr errors]

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 »