Page images
PDF
EPUB
[ocr errors]

McCarthy, J. (1958), "Programs with common Sense,"

in "Hechanization of Thought Processes," vol. 1, 77-84, Proc. Symp., Nat. Phys. Lab., London, 24-27, Nov. 1958. Reprinted in Semantic Information Processing, H. Hinsky, ed., 403-410, NIT Press,

Cambridge, wn, 1968. (REP, DED) McCarthy, J. (1960), "Recursive Functions of Symbolic

Expressions and Their Computation by Machine, Part 1," Comm. ACA, 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, North

Holland 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, N. 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) NcDermott, D. V. and Sussman, G. J. (1972), "The

Kowalski, R. (1970), "search Strategies for Theorem

Proving," Machine Intelligence, Vol. 5, B. Meltzer and D. Nichie, 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)
Lighthili, 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 25 th 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)
Luckhan, 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, 2. 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, WIT, Cambridge, MA, Jan. 1967. (AIDS)
Martin, W. A. and Fatenan, R. J. (1971), "The MACSYMA

Systen," Proc. ACM 2d Symposium on Symbolic and
Algebraic Manipulation, S. R. Petrick, ed., Los
Angeles, CA, 23-25 Mar. 1971. (AIDS)

CONNIVER Reference Manual," MIT, Artificial Intel

ligence Lab., Memo No. 259, May 1972. (SYS) Neltzer, 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 Nichie, D., eds. (1971), Machine

Intelligence, vol. 6, American Elsevier Publishing

Company, New York, 1971. (GEN)
Neltzer, B. and Michie, D., eds. (1972), Nachine

Intelligence, Vol. 7, American Elsevier Publishing

Company, New York, 1972. (GEN)
Michie, D., ed. (1968), Machine Intelligence, Vol. 3,

American El sevier 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 McSkinin, J. R.

(1972), "The Maryland Refutation Proof Procedure
System (MRPPS)," TR-208, Comp. Sci. Center, Univ.

of Maryland, College Park, MD, 1972. (TP) Ninsky, N. (1961), "Steps Toward Artificial Intelli

gence," Proc. IRE, Vol. 49, 8-30, Jan. 1961.

(SEARCH, GEN)
Ninsky, M. L. (1965), "Wat ter, Nind, and Models,"

IFIP, 1965.' (GEN)
Minsky, M., ed. (1968), Semantic Information

Processing, MIT Press, Cambridge, MA. (GEN, LANG-G)
Minsky, N. (1974), "Frame-Systems: A Framework for

Representation of Knowledge," forthcoming 1974. (REP)

[ocr errors]
[ocr errors]
[ocr errors]

Minsky, N. 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?," Datama tion, 84-87, June 1973. (GAME)
Moore, J. and Newell, A. (1973), "How Can Merlin

Understand?," Dept. of Com. Sci. Report, Carnegie

Mellon 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: А

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 0. (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)
Keyins, 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

Lab., Inc., Cambridge, MA, Nov. 1973, (ROB) Newell, A., ed. (1961), Information Processing

Language V Manual, Prentice-Hall, Englewood Cliffs,

NJ. (SYS)
Newell, A. (1967), Studies in Problem Solving: Sub-

ject 3 on the Cryptarithmetic Task: Donald + Gerald Robert, Carnegie-Mellon Univ., Pittsburgh,

PA, (PSYC, REP)
Newell, A. (1970), "Remarks on the Relationship Be-

tween Artificial Intelligence and Cognitive Psy-
chology," 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,

Ansterdam, 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, Feigenbaua 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

Machine: A Complex Information Processing Systen," 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, X. J. (1969b), "A Mobile Automaton: An

Application of Artificial Intelligence Techniques,"

Proc. IJCAI, 509-515, May 1969. (ROB)
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 Systen," 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, NIT,
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. (LANG) Petrick, S. R. (1973), "Semantic Interpretation in

the Request System," Proc. Intl. Conf. on Computa

tional Linguistics, Pisa, Italy, 1973. (LANG) Pietrzykowski, T. and Jensen, D. (1972), "A Complete

Mechanization of Omega-Order Type Theory," Proc.

ACM Xatl. 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 Linguis

tics, Pisa, Italy, 1973. (LANG) Pohi, I. (1970), "Heuristic Search Viewed as Path

Finding in a Graph," Artificial Intelligence, Vol.

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

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

1

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.
Ninsky, cd., 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 Acronautics and Space Administration,

Dec. 1971. (ROB)
Raphael, B. and Green, c. (1968), "The Use of Theorem

Proving Techniques in Question Answering Systems,"

J. ACN, 169, 1968. (DED, REP)
Reboh, R. and Sacerdoti, E. (1973), "A Preliminary

QLISP Manual," SRI Artificial Intelligence Center
Tech, Sote 81, Stanford Research Institute, Menlo

Park, CA, Aug. 1973. (SYS)
Roddy, D. R. (1967), "Computer Recognition of con-

nected Speech," J. ASA, Vol. 42, 329-347. (LANG) Reddy, D. R. et al. (1973), "The Hearsay Speech

Understanding System: An Example of the Recogni-
tion Process," Adv. Papers 3d Intl. Conf. on
Artificial Intelligence, Stanford Univ., Stanford,

CA, Aug. 1973. (LANG)
Roberts, L. G. (1963), "Machine Perception of Three-

Dimensional 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. ACH, 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. Cont. 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)
Rullfson, J. F., Waldinger, R. J., and Derksen, J. A.

(1971), "A Language for Writing Probler
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, N., 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," IBA 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)

.

[ocr errors]

Schank, R. C. (1972), "Conceptual Dependency: A

Theory of Natural Language Understanding," cognitive Psychology, yol. 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,
IANG, 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, X. (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, AIA. (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. ACAI, Vol. 8, 53-70,

1965. (LANG-G) Simmons, R. F. (1969), "Natural Language Question

Answering Systems: 1969," Comm. ACN, 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. 4. 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)
Sinon, 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, M. 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 56-001, May 1961. (SEARCH, AIDS) Slagle, J. R. (1963), "A Heuristic Progru that

Solves Symbolic Integration Problems in Freshman Calculus," J. Aas, Vol. 10, No. 4, 507-520, Oct. 1963. Also in Computers and Thought, E. Feigenbaum and J. Feldman, eds., 191-203, McGraw-H111 Book

Company, New York, 1963. (AIDS, SEARCH)
Slagle, J. (1965), "Experiments with a Deductive

Question-Answering Program," coma. ACH, Vol. 8,

792-798, Dec. 1965. (DED) Slagle, J. R. (1967), "Automatic Theoren Proving with

Renameable and Senantic Resolution," J. ACM, Vol.

14, 687-897, 1987. (TP) Slagle, J. R. (1971), Artificial Intelligence: The

Heuristic Programming Approach, McGraw-H111 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)
Te i telman, W. (1969), "Toward a Programming Labora-

tory," Proc. Ist Intl. Joint Conf. on Artificial Intelligence, Washington, D.C., 1969. (PROG) Teitelman, W. (1972a), "Do What I Nean," Computers

and Automation, Apr. 1971. (PROG, SYS) Te i telman, 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)

[ocr errors]
[ocr errors]

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. Mi et al. (1974), "An Interactive

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

Extensible Language System," Proc. 24th Natl. ACM

Conf., 1969. (LANG) Thorne, J., Bratley, P., and Devar, 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. N. (1950), "Computing Machinery and Intel

ligence," Mind, Vol. 59, 433-460, Oct. 1950. Reprinted 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 Heuris-
tics," 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. (1986), "ELIZA--A Computer Program

for the Study of Natural Language Communication
Between Man and Machine," comm. AC, 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, NIT,
Cambridge, AA, 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, NIT, Cambridge,

MA, 1970. (REP, VIS)
Winston, P. H. (1972), "The MIT Robot," Machine

Intelligence, Vol. 7, 431-463, B. Meltzer and D.
Nichie, 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. N., 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 Intelligence, Stanford Univ., Stanford, CA, Aug. 1973.

(VIS) Yates, R., Raphael, B., and Hart, T. (1970), "Resolu

tion Graphs," Artificial Intelligence, vol. 1, No.

4, 1970. (TP) Zobrist, A. (1969), "A Model of Visual Organization

for the Game of 60," Proc. AFIPS, Spring 1969,

103-112. (GAME) Zobrist, A. and Carlson, F., Jr. (1973), "An Advice

Taking Chess Computer," Scientific American, June

1973. (GAME)
Zwicky, Arnold M. et al. (1965), "The Mitre Syntactic

Analysis Procedure for Transformational Grannars,"
Proc. AFIPS, Fell 1965, vol. 27, 317-326. (LANG)

[ocr errors]
« PreviousContinue »