COMMENT ⊗   VALID 00007 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "setup.csr[bib,csr]" source file
C00014 00003	AIM-64,  Zohar Manna,  "Formalization of  Properties of  Programs" 18
C00027 00004	AIM-123,  Bruce G.  Buchanan, Thomas  E. Headrick,  "Some Speculation
C00041 00005	AIM-180 (CS-321,  AD759712), Ruzena Bajcsy,  "Computer Identification
C00055 00006	AIM-237  (CS-436),  Yorick  Wilks,  "Natural  Language  Understanding
C00070 00007	AIM-288 (CS-572), Robert  Filman, Richard Weyhrauch, "An  FOL Primer"
C00094 ENDMK
C⊗;
.require "setup.csr[bib,csr]" source file;
.once center
ARTIFICIAL INTELLIGENCE MEMOS

AIM-1,  John  McCarthy,  "Predicate Calculus  with  `Undefined'  as a
Truth-value" 5 pages, March 1963.

AIM-2  (AD785031), John  McCarthy, "Situations,  Actions,  and Causal
Laws" 11 pages, July 1963.

AIM-3,  Fred Safier,  "`The  Mikado' an  an Advice  Taker  Problem" 4
pages, July 1963.

AIM-4, Horace  Enea, "Clock  Function for LISP  1.5" 2  pages, August
1963.

AIM-5   (AD785043),   Horace   Enea,   Dean   Wooldridge,  "Algebraic
Simplication" 2 pages, August 1963.

AIM-6, Dean Wooldridge, "Non-printing Compiler" 2 pages, August 1963.

AIM-7  (AD785044),  John  McCarthy, "Programs  With  Common  Sense" 7
pages, September 1963.

AIM-8,  John  McCarthy,  "Storage Conventions  in  LISP  2"  5 pages,
September 1963.

AIM-9,  C.  M.  Williams,  "Computing  Estimates  for  the  Number of
Bisections of an NxN Checkerboard for N Even" 9 pages, December 1963.

AIM-10  (AD785045),  Stephan   R.  Russell,  "Improvements   in  LISP
Debugging" 3 pages, December 1963.

AIM-11  (AD785046),  Dean  Wooldridge,  Jr.,  "An  Algebraic Simplify
Program in LISP" 57 pages, December 1963.

AIM-12, Gary Feldman, "Documentation of the MacMahon Squares Problem"
4 pages, January 1964.

AIM-13 (AD785047),  Dean E.  Wooldridge, "The  New LISP  System (LISP
l.55)" 4 pages, February 1964.

AIM-14 (AD785035), John McCarthy, "Computer Control of a  Machine for
Exploring Mars" 6 pages, January 1964.

AIM-15 (AD785036), Mark Finkelstein, Fred Safier, "Axiomatization and
Implementation" 6 pages, June 1964.

AIM-16 (AD785037), John McCarthy, "A Tough nut for  Proof Procedures"
3 pages, July 1964.

AIM-17 (AD785038), John McCarthy, "Formal Description of the  Game of
Pang-Ke" 2 pages, July 1964.

AIM-18 (AD785048), Jan Hext, "An Expression Input Routine for LISP" 5
pages, July 1964.

AIM-19, Jan Hext,  "Programming Languages and Translation"  14 pages,
August 1964.

AIM-20 (AD785039),  D. Raj. Reddy,  "Source Language  Optimization of
For-loops" 37 pages, August 1964.

AIM-21 (AD785040), R.  W. Mitchell, "LISP 2  Specifications Proposal"
12 pages, August 1964.

AIM-22  (AD785041),  Richard  Russell, "Kalah  --  the  Game  and the
Program" 13 pages, September 1964.

AIM-23  (AD785049),  Richard  Russell,  "Improvements  to  the  Kalah
Program" 12 pages, September 1964.

AIM-24 (AD785050), John McCarthy,  "A Formal Description of  a Subset
of ALGOL" 43 pages, September 1964.

AIM-25   (AD785051),   Richard  Mansfield,   "A   Formal   System  of
Computation" 7 pages, September 1964.

AIM-26 (AD785052),  D. Raj. Reddy,  "Experiments on  Automatic Speech
Recognition by a Digital Computer" 19 pages, October 1964.

AIM-27  (AD785053),  John McCarthy,  "A  Proof-checker  for Predicate
Calculus" 7 pages, March 1965.

AIM-28  (AD785054),  John  McCarthy,  "Problems  in  the   Theory  of
Computation" 7 pages, March 1965.

AIM-29  (AD785055),  Charles  M.  Williams,  "Isolation  of Important
Features of a Multitoned Picture" 9 pages, January 1965.

AIM-30  (AD785056),  Edward  A. Feigenbaum,  Richard  W.  Watson, "An
Initial Problem Statement for a Machine Induction Research Project" 8
pages, April 1965.

AIM-31 (AD785057), John McCarthy, "Plans for the  Stanford Artificial
Intelligence Project" 17 pages, April 1965.

AIM-32  (AD785068),   Harry  Ratchford,   "The  138   Analog  Digital
Converter" 9 pages, May 1965.

AIM-33 (AD785032),  Barbara Huberman,  "The Advice  Taker and  GPS" 8
pages, June 1965.

AIM-34 (AD785069),  Peter Carah, "A  Television Camera  Interface for
the PDP-1" 8 pages, June 1965.

AIM-35, Fred Safier, "Simple Simon" 17 pages, June 1965.

AIM-36 (AD785065), James Painter, "Utilization of a TV Camera  on the
PDP-1" 6 pages, September 1965.

AIM-37, Knut Korsvold, "An on Line Algebraic  Simplification Program"
36 pages, November 1965.

AIM-38  (AD785066),  Donald  A. Waterman,  "A  Filter  for  a Machine
Induction System" 19 pages, January 1966.

AIM-39  (AD785067), Karl  Pingle,  "A Program  to Find  Objects  in a
Picture" 22 pages, January 1966.

AIM-40 (CS-38, AD662880), John McCarthy, James  Painter, "Correctness
of a Compiler for Arithmetic Expressions" 13 pages, April 1966.

AIM-41, Phil Abrams, Dianna Rode, "A Proposal for a Proof-checker for
Certain Axiomatic Systems" 10 pages, May 1966.

AIM-42,  Karl Pingle,  "A  Proposal for  a Visual  Input  Routine" 11
pages, June 1966.

AIM-43 (CS-49,  SS640-836), D. Raj.  Reddy, "An Approach  to Computer
Speech Recognition  by Direct  Analysis of  the Speech  Wave" Thesis:
Ph.D. in Computer Science, 144 pages, September 1966.

AIM-44, James  Painter, "Semantic  Correctness of  a Compiler  for an
Algol-like Language"  Thesis: Ph.D. in  Computer Science,  130 pages,
revised March 1967.

AIM-45, Donald Kaplan, "Some Completeness Results in the Mathematical
Theory of Computation" 22 pages, October 1966.

AIM-46   (CS-50,   PB176761),   Staffan   Persson,   "Some   Sequence
Extrapolating  Programs: a  Study of  Representation and  Modeling in
Inquiring  Systems" Thesis:  Ph.D.  in Computer  Science,  176 pages,
September 1966.

AIM-47,  Bruce  Buchanan, "Logics  of  Scientific  Discovery" Thesis:
Ph.D.  in Philosophy U.C. Berkeley, 210 pages, December 1966.

AIM-48, Donald M. Kaplan,  "Correctness of a Compiler  for Algol-like
Programs" 46 pages, July 1967.

AIM-49,  Georgia  Sutherland,  "DENDRAL  --  a  Computer  Program for
Generating  and  Filtering Chemical  Structures"  34  pages, February
1967.

AIM-50, Anthony C. Hearn,  "Reduce Users' Manual" 53  pages, February
1967.

AIM-51,  Lester D.  Earnest,  "Choosing an  eye for  a  Computer" 154
pages, April 1967.

AIM-52, Arthur L. Samuel, "Some Studies in Machine Learning Using the
Game of Checkers II - Recent Progress" 48 pages, June 1967.

AIM-53,  William Weiher,  "The PDP-6  Proof Checker"  47  pages, June
1967.

AIM-54,  Joshua Lederberg,  Edward A.  Feigenbaum,  "Mechanization of
Inductive Inference in Organic Chemistry" 29 pages, August 1967.

AIM-55, Jerome Feldman, "First Thoughts of Grammatical  Inference" 18
pages, August 1967.

AIM-56, William  Wichman, "Use  of Optical  Feedback in  the Computer
Control of an Arm" Thesis: Eng. in Electrical Engineering,  69 pages,
August 1967.

AIM-57, Anthony C. Hearn, "REDUCE, a User-oriented Interactive System
for Algebraic Simplification" 69 pages, October 1967.

AIM-58, Monte  D. Callero,  "An Adaptive  Command and  Control System
Utilizing Heuristic Learning  Processes" Thesis: Ph.D.  in Operations
Research, 161 pages, December 1967.

AIM-59, Donald M. Kaplan, "A Formal Theory Concerning the Equivalence
of Algorithms" 20 pages, May 1968.

AIM-60 (CS-101,  AD672923), Donald M.  Kaplan, "The  Formal Theoretic
Analysis of Strong Equivalence for Elemental Programs"  Thesis: Ph.D.
in Computer Science, 263 pages, June 1968.

AIM-61, Takayasu  Ito, "Notes  on Theory  of Computation  and Pattern
Recognition" 144 pages, May 1968.

AIM-62,  Bruce Buchanan,  Georgia Sutherland,  "Heuristic  Dendral: a
Program for Generating  Explanatory Hypotheses in  Organic Chemistry"
76 pages, July 1968.

AIM-63, Donald M. Kaplan, "Regular Expressions and the Equivalence of
Programs" 42 pages, July 1968.

AIM-64,  Zohar Manna,  "Formalization of  Properties of  Programs" 18
pages, July 1968.

AIM-65 (CS-106,  AD673971), Barbara J.  Huberman, "A Program  to Play
Chess end Games" Thesis: Ph.D. in Computer Science, 168 pages, August
1968.

AIM-66,  Jerome   A.  Feldman,  Paul   D.  Rovner,   "An  Algol-based
Associative Language" 31 pages, August 1968.

AIM-67  (AD680487), Edward  A. Feigenbaum,  "Artificial Intelligence:
Themes in the Second Decade" 39 pages, August 1968.

AIM-68, Zohar Manna,  Amir Pnueli, "The  Validity Problem of  the 91-
function" 20 pages, August 1968.

AIM-69 (AD677588), John  McCarthy, Edward Feigenbaum,  Arthur Samuel,
"Project Technical Report" 90 pages, September 1968.

AIM-70 (AD680072), Anthony C. Hearn, "The Problem of Substitution" 14
pages, December 1968.

AIM-71 (AD677520), Pierre Vicens, "Preprocessing for Speech Analysis"
33 pages, October 1968.

AIM-72  (CS-116,  AD680036),  Donald L.  Pieper,  "The  Kinematics of
Manipulators  under  Computer Control"  Thesis:  Ph.D.  in Mechanical
Engineering, 157 pages, October 1968.

AIM-73 (AD678878), John McCarthy, Patrick Hayes,  "Some Philosophical
Problems From  the Standpoint of  Artificial Intelligence"  51 pages,
November 1968.

AIM-74  (CS-118,  AD681027), Donald  Waterman,  "Machine  Learning of
Heuristics"  Thesis: Ph.D.  in  Computer Science,  ?  pages, December
1968.

AIM-75, Roger C. Schank,  "A Notion of Linguistic Concept:  a Prelude
to Mechanical Translation" 21 pages, December 1968.

AIM-76, Roger C. Schank,  "A Conceptual Parser for  Natural Language"
22 pages, December 1968.

AIM-77,  Joseph  D.  Becker, "The  Modeling  of  Simple  Analogic and
Inductive Processes  in a Semantic  Memory System" 21  pages, January
1969.

AIM-78, D. Raj.  Reddy, "On the  use of Environmental,  Syntactic and
Probalistic Constraints in Vision and Speech" 23 pages, January 1969.

AIM-79  (AD685611),  D.  Raj. Reddy,  Richard  B.  Neely, "Contextual
Analysis of Phonemes of English" 71 pages, January 1969.

AIM-80 (AD685612), Georgia  Sutherland, "Heuristic Dendral:  a Family
of LISP Programs" 46 pages, March 1969.

AIM-81 (AD685613), David Luckham, "Refinement Theorems  in Resolution
Theory" 31 pages, March 1969.

AIM-82  (AD685614),  Zohar  Manna,  Amir  Pneuli,  "Formalization  of
Properties of Recursively Defined Functions" 26 pages, March 1969.

AIM-83 (CS-130),  Roger C. Schank,  "A Conceptual  Representation for
Computer-oriented  Semantics"  Thesis:  Ph.D.  in  Linguistics  U. of
Texas, 201 pages, March 1969.

AIM-84  (AD691791), David  Canfield Smith,  "MLISP Users'  Manual" 57
pages, January 1969.

AIM-85  (CS-127,  AD687720),   Pierre  Vicens,  "Aspects   of  Speech
Recognition  by  Computer"  Thesis: Ph.D.  in  Computer  Science, 210
pages, April 1969.

AIM-86 (AD691788), Patrick J. Hayes, "A  Machine-oriented Formulation
of the Extended Functional Calculus" 44 pages, June 1969.

AIM-87  (AD691789),  John  McCarthy,  A.I.  Project  Staff,  "Project
Technical Report" 98 pages, June 1969.

AIM-88 (AD691790),  Roger C. Schank,  "Linguistics from  a Conceptual
Viewpoint (Aspects of Aspects of a Theory of Syntax)" 22 pages, April
1969.

AIM-89 (CS-125, AD692390), Jerome A. Feldman, J. Gips, J. J. Horning,
and S. Reder, "Grammatical Complexity and Inference" 100  pages, June
1969.

AIM-90 (AD691799),  Anthony C. Hearn,  "Standard LISP" 33  pages, May
1969.

AIM-91, J. A.  Campbell and Anthony  C. Hearn, "Symbolic  Analysis of
Feynman Diagrams by Computer" 73 pages, August 1969.

AIM-92,  Victor  D.  Scheinman,  "Design  of  a  Computer  Controlled
Manipulator" Thesis: Eng.  in Mechanical Engineering, 53  pages, June
1969.

AIM-93.1 (AD693106),  Jerome Feldman,  "Some Decidability  Results on
Grammatical Inference and Complexity" 31 pages, August  1969, revised
May 1970.

AIM-94 (AD692391), Kenneth Mark Colby, Lawrence Tesler,  Horace Enea,
"Experiments With  a Search  Algorithm on  the Data  Base of  a Human
Belief Structure" 28 pages, August 1969.

AIM-95 (AD694971), Zohar Manna, "The Correctness of Non-deterministic
Programs" 44 pages, August 1969.

AIM-96 (CS-138, AD696394), Claude Cordell Green, "The  Application of
Theorem  Proving  to  Question-answering  Systems"  Thesis:  Ph.D. in
Electrical Engineering, 166 pages, August 1969.

AIM-97  (AD694972),  Kenneth   Mark  Colby,  David   Canfield  Smith,
"Dialogues Between Humans and an Artificial Belief System"  28 pages,
August 1969.

AIM-98 (CS-139, AD695401), James Jay Horning, "A Study of Grammatical
Inference" Thesis: Ph.D. in Computer Science, 166 pages, August 1969.

AIM-99,  Bruce  G.  Buchanan, G.  L.  Sutherland,  E.  A. Feigenbaum,
"Toward  an  Understanding  of  Information  Processes  of Scientific
Inference in  the Context of  Organic Chemistry" 66  pages, September
1969.

AIM-100,  Zohar Manna,  John  McCarthy, "Properties  of  Programs and
Partial Function Logic" 21 pages, October 1969.

AIM-101,  Richard  Paul,  G.  Falk,  J.  A.  Feldman,  "The  Computer
Representation of Simply Described Scenes" 16 pages, October 1969.

AIM-102, Donald A. Waterman, "Generalization Learning  for Automating
the Learning of Heuristics" 74 pages, July 1969.

AIM-103, John  Allen, David  Luckham "An  Interactive Theorem-proving
Program" 27 pages, October 1969.

AIM-104, Joshua Lederberg, Georgia Sutherland, B. G. Buchanan,  E. A.
Feigenbaum, "A Heuristic  Program for Solving a  Scientific Inference
Problem:   Summary  of  Motivation  and  Implementation"   15  pages,
November 1969.

AIM-105,  Manfred  Heuckel,  "An  Operator  Which  Locates  Edges  in
Digitized Pictures" 37 pages, October 1969.

AIM-106, Michael Edwin Kahn, "The Near-minimum-time Control  of Open-
loop  Articulated  Kinematic  Chains"  Thesis:  Ph.D.  in  Mechanical
Engineering, 171 pages, December 1969.

AIM-107, Gilbert  Falk, "Some Implications  of Planarity  for Machine
Perception" 27 pages, December 1969.

AIM-108, Michael  D. Kelly, "Edge  Detection in Pictures  by Computer
Using Planning" 28 pages, January 1970.

AIM-109, Roger C. Schank, Lawrence Tesler, Sylvia Weber, "Spinoza II:
Conceptual Case-based Natural  Language Analysis" 107  pages, January
1970.

AIM-110, Edward Ashcroft,  Zohar Manna, "Formalization  of Properties
of Parallel Programs" 58 pages, February 1970.

AIM-111,   Zohar   Manna,   "Second-order   Mathematical   Theory  of
Computation" 25 pages, March 1970.

AIM-112, Franklin D. Hilf, Kenneth M. Colby, David C.  Smith, William
K.  Wittner, "Machine-mediated Interviewing" 27 pages, March 1970.

AIM-113, Kenneth Mark  Colby, Franklin D.  Hilf, William A.  Hall, "A
Mute  Patient's  Experience  With  Machine-mediated  Interviewing" 19
pages, March 1970.

AIM-114, Alan W.  Biermann, Jerome A.  Feldman, "On the  Synthesis of
Finite-state Acceptors" 31 pages, April 1970.

AIM-115, Ugo Montanari, "On the Optimal Detection of Curves  in Noisy
Pictures" 35 pages, March 1970.

AIM-116, Kenneth Mark Colby, "Mind and Brain, Again" 10  pages, March
1970.

AIM-117, John McCarthy, et  al, "Project Technical Report"  75 pages,
April 1970.

AIM-118, Ugo Montanari,  "Heuristically Guided Search  and Chromosome
Matching" 29 pages, April 1970.

AIM-119,   Joseph   Becker,  "An   Information-processing   Model  of
Intermediate-Level Cognition" Thesis:  Ph.D. in Computer Science (May
1972), 123 pages, May 1970.

AIM-120,  Kenneth  Mark  Colby, David  Canfield  Smith,  "Computer as
Catalyst in the Treatment of Nonspeaking Autistic Children" 32 pages,
April 1970.

AIM-121, Irwin Sobel, "Camera Models and Machine  Perception" Thesis:
Ph.D. in Electrical Engineering, 89 pages, May 1970.

AIM-122,  Roger C.  Schank, "`Semantics'  in Conceptual  Analysis" 56
pages, May 1970.

AIM-123,  Bruce G.  Buchanan, Thomas  E. Headrick,  "Some Speculation
About  Artificial Intelligence  and  Legal Reasoning"  54  pages, May
1970.

AIM-124,  M.  M. Astrahan,  "Speech  Analysis by  Clustering,  or the
Hyperphoneme Method" 22 pages, June 1970.

AIM-125, Kenneth Mark Colby, Sylvia Weber, Franklin Hilf, "Artificial
Paranoia" 35 pages, July 1970.

AIM-126  (CS-169, AD711329),  Donald  E. Knuth,  "Examples  of Formal
Semantics" 34 pages, July 1970.

AIM-127  (CS-174,  AD711395),  Zohar  Manna,  Richard  J.  Waldinger,
"Towards Automatic Program Synthesis" 54 pages, July 1970.

AIM-128 (CS-166, AD713841), Erik J. Sandewall, "Representing Natural-
language Information in Predicate Calculus" 27 pages, July 1970.

AIM-129 (CS-167,  AD712460), Shigeru  Igarashi, "Semantics  of ALGOL-
like Statements" 95 pages, June 1970.

AIM-130 (CS-168, AD713252), Michael D. Kelly,  "Visual Identification
of People by Computer" Thesis: Ph.D. in Computer Science,  238 pages,
July 1970.

AIM-131 (CS-176, AD715128), Edward A. Feigenbaum, Bruce  G. Buchanan,
Joshua Lederberg,  "On Generality and  Problem Solving: a  Case Study
Using the Dendral Program" 48 pages, August 1970.

AIM-132 (CS-180, AD715665), Gilbert Falk, "Computer Interpretation of
Imperfect Line  Data as a  Three-dimensional Scene" Thesis:  Ph.D. in
Electrical Engineering, 187 pages, August 1970.

AIM-133   (CS-181),   Anthony   C.   Hearn,   "Reduce   2"  Diskfile:
REDUCE.ACH[AIM,DOC], 85 pages, October 1970.

AIM-134 (CS-182, AD748565),  Jay Martin Tenenbaum,  "Accommodation in
Computer Vision" Thesis: Ph.D. in Electrical Engineering,  452 pages,
September 1970.

AIM-135 (CS-179, AD716566),  David Canfield Smith,  "MLISP" Diskfile:
MLISP.DAV[AIM,DOC] 99 pages, October 1970.

AIM-136  (CS-183,  AD717600),  George  M.  White,  "Machine  Learning
Through  Signature Trees.  Applications  to Human  Speech"  40 pages,
October 1970.

AIM-137, Donald E. Knuth, "An  Empirical Study of Fortran in  Use" 44
pages, November 1970.

AIM-138  (CS-188,  PB197161),  Edward  Ashcroft,  Zohar  Manna,  "The
Translation  of  `GO-TO'  Programs  to  `WHILE'  Programs"  28 pages,
January 1971.

AIM-139  (CS-189,  AD717601), Zohar  Manna,  "Mathematical  Theory of
Partial Correctness" 24 pages, January 1971.

AIM-140 (CS-193), Roger  C. Schank, "Intention, Memory,  and Computer
Understanding" 59 pages, January 1971.

AIM-141 (CS-203, AD730506), Bruce G. Buchanan, Joshua Lederberg, "The
Heuristic DENDRAL  Program for Explaining  Empirical Data"  20 pages,
February 1971.

AIM-142 (CS-205, AD731383), Robin Milner, "An Algebraic Definition of
Simulation Between Programs" 21 pages, February 1971.

AIM-143 (CS-209, AD724867), John McCarthy, et al,  "Project Technical
Report" 80 pages, March 1971.

AIM-144  (CS-219), Lynn  H. Quam,  "Computer Comparison  of Pictures"
Thesis: Ph.D. in Computer Science, 120 pages, May 1971.

AIM-145 (CS-221, AD731729), Bruce G. Buchanan, Edward  A. Feigenbaum,
Joshua Lederberg, "A Heuristic Programming Study of  Theory Formation
in Science" 41 pages, June 1971.

AIM-146 (CS-224, PB212183), Andrei P. Ershov,  "Parallel Programming"
14 pages, July 1971.

AIM-147 (CS-216,  AD732457), Robert E.  Kling, "Reasoning  by Analogy
with  Applications  to  Heuristic  Problem  Solving:   a  Case Study"
Thesis: Ph.D. in Computer Science, 191 pages, August 1971.

AIM-148  (CS-217,  AD731730),  Edward  Ashcroft,  Zohar  Manna,  Amir
Pneuli,  "Decidable  Properties  of  Monadic  Functional  Schemas" 10
pages, July 1971.

AIM-149 (CS-231, AD732644), Rodney  Albert Schmidt, Jr., "A  Study of
the Real-time Control of a Computer-driven Vehicle" Thesis:  Ph.D. in
Electrical Engineering, 180 pages, August 1971.

AIM-150,  Robert  W.  Floyd, "Toward  Interactive  Design  of Correct
Programs" 12 pages, September 1971.

AIM-151  (CS-240, AD738568),  Ralph  L. London,  "Correctness  of Two
Compilers for a LISP Subset" 41 pages, October 1971.

AIM-152 (CS-241,  AD732642), Alan W.  Biermann, "On the  Inference of
Turing Machines from Sample Computations" 31 pages, October 1971.

AIM-153 (CS-242, AD738569), Patrick J. Hayes, "The Frame  Problem and
Related Problems in Artificial Intelligence" 18 pages, November 1971.

AIM-154  (CS-243,   AD738570),  Zohar   Manna,  Stephen   Ness,  Jean
Vuillemin, "Inductive Methods for Proving Properties of  Programs" 24
pages, November 1971.

AIM-155  (CS-245),  Jonathan Leonard  Ryder,  "Heuristic  Analysis of
Large Trees as Generated in the Game of Go" Thesis: Ph.D. in Computer
Science, 300 pages, December 1971.

AIM-156  (CS-246, AD740141),  Kenneth Mark  Colby, Franklin  D. Hilf,
Sylvia  Weber,  Helena  C.  Kraemer,  "A  Resemblance  Test  for  the
Validation of a Computer Simulation of Paranoid Processes"  29 pages,
November 1971.

AIM-157 (CS-247), Yorick  Wilks, "One Small  Head -- Some  Remarks on
the use of `Model' in Linguistics" 17 pages, December 1971.

AIM-158  (CS-250,  AD740127), Ashok  Chandra,  Zohar  Manna, "Program
Schemas With Equality" 13 pages, December 1971.

AIM-159  (CS-253),  Jerome  A.  Feldman,  Paul  C.   Shields,  "Total
Complexity and Inference of Best Programs" 40 pages, April 1972.

AIM-160   (CS-255,   AD740140),   Jerome   A.   Feldman,   "Automatic
Programming" 20 pages, February 1972.

AIM-161  (CS-264, AD741189),  Yorick Wilks,  "Artificial Intelligence
approach to Machine Translation" 44 pages, February 1972.

AIM-162  (CS-265,  AD744634),  Roger C.  Schank,  N.  Goldman,  C. J.
Rieger,  C.  K.  Riesbeck,  "Primitive Concepts  Underlying  Verbs of
Thought" 102 pages, April 1972.

AIM-163 (CS-266), Jean  M. Cadiou, "Recursive Definitions  of Partial
Functions and Their Computations" Thesis: Ph.D. in  Computer Science,
160 pages, April 1972.

AIM-164 (CS-272,  AD742748), Zohar  Manna, Jean  Vuillemin, "Fixpoint
Approach to the Theory of Computation" 29 pages, April 1972.

AIM-165 (CS-280,  AD742751), D.  A. Bochvar,  "Two Papers  on Partial
Predicate Calculus" 50 pages, April 1972.

AIM-166 (CS-281, AD-743598), Lynn  H. Quam, S. Liebes, R.  B. Tucker,
M. J.  Hannah, B. G. Eross, "Computer Interactive Picture Processing"
40 pages, April 1972.

AIM-167 (CS-282, AD747254), Ashok K. Chandra,  "Efficient Compilation
of Linear Recursive Programs" 43 pages, June 1972.

AIM-168  (CS-287,  AD746146),  Shigeru  Igarashi,  "Admissibility  of
Fixed-point  Induction  in  First-order  Logic  of   Typed  Theories"
Diskfile: FIXPNT.IGR[AIM,DOC] 40 pages, May 1972.

AIM-169  (CS-288,  AD785072),  Robin  Milner,  "Logic  for Computable
Functions:  Description   of  a  Machine   Implementation"  Diskfile:
LCFMAN.RGM[AIM,DOC], 36 pages, May 1972.

AIM-170 (CS-289, AD748607), Yorick Wilks, "Lakoff on  Linguistics and
Natural Logic" Diskfile: LAKOFF.YAW[AIM,DOC] 19 pages, June 1972.

AIM-171  (CS-290, AD746147),  Roger Schank,  "Adverbs and  Belief" 30
pages, June 1972.

AIM-172   (CS-299,   AD752801),  Sylvia   Weber   Russell,  "Semantic
Categories of Nominals for Conceptual Dependency Analysis  of Natural
Language" 64 pages, July 1972.

AIM-173 (CS-305,  AD755139), Gerald  Jacob Agin,  "Representation and
Description of Curved Objects" Thesis: Ph.D. in Computer Science, 134
pages, October 1972.

AIM-174 (CS-303, PB212827), Francis Lockwood Morris,  "Correctness of
Translations  of  Programming  Languages  --  an  Algebraic Approach"
Thesis: Ph.D. in Computer Science, 124 pages, August 1972.

AIM-175 (CS-307,  AD785073), Hozumi  Tanaka, "Hadamard  Transform for
Speech Wave Analysis"  Diskfile: HADAM.HT[AIM,DOC], 34  pages, August
1972.

AIM-176  (CS-308, AD754109),  Jerome  A. Feldman,  J. R.  Low,  D. C.
Swinehart, R.  H. Taylor,  "Recent Developments in  SAIL --  an ALGOL
based Language for Artificial Intelligence" 22 pages, November 1972.

AIM-177  (CS-311,  AD785071),  Richard  Paul,  "Modelling, Trajectory
Calculation and Servoing of a Computer Controlled Arm"  Thesis: Ph.D.
in Computer Science, 89 pages, November 1972.

AIM-178 (CS-312, AD754108), Aharon Gill, "Visual Feedback and Related
Problems in Computer Controlled Hand eye Coordination" Thesis:  Ph.D.
in Electrical Engineering, 130 pages, October 1972.

AIM-179  (CS-320),  Bruce   G.  Baumgart,  "Winged   Edge  Polyhedron
Representation" 46 pages, October 1972.

AIM-180 (CS-321,  AD759712), Ruzena Bajcsy,  "Computer Identification
of Textured  Visual Scenes" Thesis:   Ph.D. in Computer  Science, 156
pages, October 1972.

AIM-181 (CS-325), Bruce G. Buchanan, "Review of Hubert Dreyfus' `What
Computers  Can't  Do': a  Critique  of Artificial  Reason"  14 pages,
November 1972.

AIM-182 (CS-326,  AD754107), Kenneth Mark  Colby and  Franklin Dennis
Hilf, "Can Expert Judges, using Transcripts of  Teletyped Psychiatric
Interviews,  Distinguish  Human  Paranoid  Patients  from  a Computer
Simulation of Paranoid Processes?"  10 pages, December,1972.

AIM-183 (CS-344, AD759716), Roger C. Schank, "The  Fourteen Primitive
Actions and their Inferences" 70 pages, March 1973.

AIM-184 (CS-330, AD758651),  Malcolm Newey, "Axioms and  Theorems for
Integers, Lists and Finite Sets in LCF" 53 pages, January 1973.

AIM-185 (CS-333,  AD757367), Ashok K.  Chandra, Zohar Manna,  "On the
Power of Programming Features" 29 pages, January 1973.

AIM-186 (CS-332, AD758645), Robin  Milner, "Models of LCF"  17 pages,
January 1973.

AIM-187 (CS-331, AD757364), George E. Collins, "The Computing Time of
the Euclidean Algorithm" 17 pages, January 1973.

AIM-188 (CS-336, AD758646), Ashok K. Chandra, "On the  Properties and
Applications of Program  Schemas" Thesis: Ph.D. in  Computer Science,
231 pages, March 1973.

AIM-189  (CS-337, PB218682),  James Gips,  George  Stiny, "Aesthetics
Systems" 22 pages, January 1973.

AIM-190  (CS-340,  AD759714),  Malcolm  Newey,  "Notes  on  a Problem
Involving Permutations as Sequences" 20 pages, March 1973.

AIM-191 (CS-341, AD764272), Shmuel M. Katz, Zohar Manna, "A Heuristic
Approach to Program Verification" 40 pages, March 1973.

AIM-192 (CS-345, AD785074),  George E. Collins, Ellis  Horowitz, "The
Minimum Root Separation of a Polynomial" 13 pages, April 1973.

AIM-193 (CS-346,  AD759717), Kenneth Mark  Colby, "The  Rationale for
Computer  Based  Treatment of  Language  Difficulties  in Nonspeaking
Autistic  Children"  Diskfile: AUTISM.KMC[AIM,DOC],  13  pages, March
1973.

AIM-194  (CS-347, PB221170/4),  Kenneth Mark  Colby,  Franklin Dennis
Hilf,  "Multidimensional  Analysis  in  Evaluating  a  Simulation  of
Paranoid Thought" 10 pages, May 1973.

AIM-195  (CS-356, PB222164),  David Canfield  Smith, Horace  J. Enea,
"MLISP2" Diskfile: MLISP2.DAV[AIM,DOC], 91 pages, May 1973.

AIM-196 (CS-357, AD762471), Neil M. Goldman, Christopher K. Riesbeck,
"A    Conceptually    Based    Sentence     Paraphraser"    Diskfile:
MARGIE.NMG[AIM,DOC], 88 pages, May 1973.

AIM-197 (CS-358, AD762470), Roger  C. Schank, Charles J.  Rieger III,
"Inference  and the  Computer Understanding  of Natural  Language" 63
pages, May 1973.

AIM-198  (CS-364,  AD763611),  Ravindra  B.  Thosar,  "Estimation  of
Probability Density using Signature Tables for Application to Pattern
Recognition" 37 pages, May 1973.

AIM-199 (CS-398, AD771300), Bruce G. Baumgart, "Image  Contouring and
Comparing" 52 pages, October 1973.

AIM-200  (CS-365),  Shigeru  Igarashi,  David  C.  Luckham,  Ralph L.
London,  "Automatic Program  Verification I:   Logical Basis  and its
Implementation" 50 pages, May 1973.

AIM-201  (CS-366,  AD763673),  Gunnar  Rutger  Grape,   "Model  Based
(Intermediate  Level)  Computer Vision"  Thesis:   Ph.D.  in Computer
Science, 256 pages, May 1973.

AIM-202 (CS-368, AD764396), Roger C. Schank, Yorick Wilks, "The Goals
of Linguistic Theory Revisited" 44 pages, May 1973.

AIM-203  (CS-369, AD764274),  Roger  C. Schank,  "The  Development of
Conceptual Structures in Children" 31 pages, May 1973.

AIM-204  (CS-373,  AD765353),  Kurt  VanLehn,  "SAIL   Users  Manual"
Diskfile: SAIL.KVL[AIM,DOC], 122 pages, July 1973.

AIM-205  (CS-370, AD764288),  N. S.  Sridharan, et  al,  "A Heuristic
Program  to  Discover  Syntheses for  Complex  Organic  Molecules" 30
pages, June 1973.

AIM-206 (CS-377, AD764652),  Yorick Wilks, "Preference  Semantics" 20
pages, July 1973.

AIM-207  (CS-378, AD767333),  James Anderson  Moorer,  "The `Optimum-
comb' Method of Pitch Period Analysis in Speech" 25 pages, June 1973.

AIM-208 (CS-379,  AD767334), James  Anderson Moorer,  "The Heterodyne
Method of Analysis of Transient Waveforms" 25 pages, June 1973.

AIM-209 (CS-380, AD767695), Yoram Yakimovsky, "Scene Analysis using a
Semantic Base for Region Growing" Thesis:  Ph.D. in Computer Science,
120 pages, July 1973.

AIM-210  (CS-382,  AD767335), Zohar  Manna,  Amir  Pnueli, "Axiomatic
Approach to Total Correctness of Programs" 25 pages, July 1973.

AIM-211   (CS-383,   AD769673),  Yorick   Wilks,   "Natural  Language
Inference" 24 pages, September 1973.

AIM-212 (CS-384,  AD769379), Annette  Herskovits, "The  Generation of
French from a Semantic Representation" 20 pages, September 1973.

AIM-213  (CS-385),  Ravindra B.  Thosar,  "Recognition  of Continuous
Speech:  Segmentation   and  Classification  using   Signature  Table
Adaptation" 37 pages, September 1973.

AIM-214 (CS-386, AD767332), Walter A. Perkins, Thomas O.  Binford, "A
Corner Finder for Visual Feedback" 59 pages, September 1973.

AIM-215  (CS-387,  AD769380),  Bruce G.  Buchanan,  N.  S. Sridharan,
"Analysis of Behavior of  Chemical Molecules: Rule Formation  on Non-
homogeneous Classes of Objects" 15 pages, September 1973.

AIM-216  (CS-389,  AD771299),  Larry  Masinter,  N.S.  Sridharan,  J.
Lederberg, S. H. Smith, "Applications of Artificial  Intelligence for
Chemical  Inference:   XII.   Exhaustive  Generation  of  Cyclic  and
Acyclic Isomers" 60 pages, September 1973.

AIM-217 (CS-391, AD770610),  N. S. Sridharan, "Search  Strategies for
the Task of Organic Chemical Synthesis" 32 pages, August 1973.

AIM-218  (CS-393,  AD772063/4WC),  Jean  Etienne   Vuillemin,  "Proof
Techniques  for  Recursive  Programs"  Thesis:   Ph.D.   in  Computer
Science, 97 pages, October 1973.

AIM-219 (CS-394, AD769674), C. A. R. Hoare, "Parallel Programming: an
Axiomatic Approach" 33 pages, October 1973.

AIM-220 (CS-396, AD772064/2WC), Robert Bolles, Richard Paul, "The use
of Sensory  Feedback in  a Programmable  Assembly Systems"  26 pages,
October 1973.

AIM-221 (CS-447, AD787631/1WC), Luigia Aiello, Mario  Aiello, Richard
Weyhrauch, "The Semantics of PASCAL in LCF" 78 pages, October 1974.

AIM-222 (CS-467), Mario  Aiello, Richard Weyhrauch,  "Checking Proofs
in the Metamathematics of First Order Logic" 55 pages, August 1974.

AIM-223  (CS-400,  AD772509),   C.  A.  R.  Hoare,   "Recursive  Data
Structures" 32 pages, December 1973.

AIM-224 (CS-403,  AD773391), C.  A. R.  Hoare, "Hints  on Programming
Language Design" 29 pages, December 1973.

AIM-225 (CS-406,  AD775645/5WC), W. A.  Perkins, "Memory Model  For a
Robot" 118 pages, January 1974.

AIM-226 (CS-407, AD778310/3WC), F.H.G. Wright II, R. E. Gorin, "FAIL"
61 pages, April 1974.

AIM-227   (CS-408,  ADA003483),   A.  J.   Thomas,  T.   O.  Binford,
"Information Processing Analysis  of Visual Perception: A  Review" 50
pages, June 1974.

AIM-228 (CS-409, AD776233/9WC), Lester Earnest (ed.),  "FINAL REPORT:
The First Ten Years of Artificial Intelligence Research  at Stanford"
118 pages, July 1973.

AIM-229  (CS-411), D.B.  Anderson,  T.O. Binford,  A.J.  Thomas, R.W.
Weyhrauch,  Y.A.  Wilks,  "AFTER  LEIBNIZ  .  .  .  :  Discussions on
Philosophy and Artificial Intelligence" 43 pages, April 1974.

AIM-230  (CS-412, AD786721/1WC),  Daniel C.  Swinehart,  "COPILOT:  A
Multiple Process Approach to Interactive Programming Systems" Thesis:
Ph.D. in Computer Science, 213 pages, August 1974.

AIM-231 (CS-413,  ADA001814), James Gips,  "Shape Grammars  and their
Uses" Thesis:  Ph.D. in Computer Science, 243 pages, August 1974.

AIM-232  (CS-414,  AD780452/9WC),  Bruce  G.  Baumgart,  "GEOMED  - A
Geometric Editor" 45 pages, May 1974.

AIM-233 (CS-419, ADA000086/9WC), Charles J. Rieger,  III, "Conceptual
Memory:  A  Theory and  Computer Program  for Processing  the Meaning
Content of  Natural Language Utterances"  Thesis:  Ph.D.  in Computer
Science, 393 pages, June 1974.

AIM-234 (CS431, not at NTIS), Kenneth Mark Colby, Roger  C. Parkison,
Bill Faught, "Pattern-Matching  Rules for the Recognition  of Natural
Language Dialogue Expressions" 23 pages, June 1974.

AIM-235  (CS-432,  ADA006898/1WC), Richard  W.  Weyhrauch,  Arthur J.
Thomas,  "FOL:   A Proof  Checker  for First-order  Logic"  57 pages,
September 1974.

AIM-236  (CS-433,  AD784513/4WC),  Jack  R.  Buchanan  and  David  C.
Luckham, "On Automating the  Construction of Programs" 65  pages, May
1974.

AIM-237  (CS-436),  Yorick  Wilks,  "Natural  Language  Understanding
Systems Within the AI Paradigm  -- A Survey and Some  Comparisons" 40
pages, December 1974.

AIM-238 (CS-437, ADA005040), Christopher K.  Riesbeck, "Computational
Understanding:  Analysis of Sentences and Context" Thesis:   Ph.D. in
Computer Science, 245 pages, May 1974.

AIM-239 (CS-438, AD786720/3WC), Marsha Jo Hannah,  "Computer Matching
of Areas  in Stereo  Images" Thesis:  Ph.D.  in Computer  Science, 99
pages, July 1974.

AIM-240 (CS-444, AD787035),  C. Cordell Green, Richard  J. Waldinger,
David  R.  Barstow, Robert  Elschlager,  Douglas B.  Lenat,  Brian P.
McCune, David E.  Shaw,  and Louis I. Steinberg, "Progress  Report on
Program-understanding Systems" 47 pages, August 1974.

AIM-241 (CS-446, AD786723/7WC), Luigia Aiello, Richard  W. Weyhrauch,
"LCFsmall:  an Implementation of LCF" 45 pages, August 1974.

AIM-242  (CS-452, ADA000500/9WC),  James R.  Low,  "Automatic Coding:
Choice of  Data Structures" Thesis:   Ph.D. in Computer  Science, 110
pages, August 1974.

AIM-243 (CS-456,  ADA003815), Raphael  Finkel, Russel  Taylor, Robert
Bolles, Richard Paul, Jerome  Feldman, "AL, A Programming  System for
Automation" 130 pages, November 1974.

AIM-244 (CS-457, not at NTIS), Kenneth Mark Colby, "Ten Criticisms of
PARRY" 7 pages, September 1974.

AIM-245 (CS-458, AD784816/1WC), Jack Buchanan, "A Study  in Automatic
Programming" Thesis:  Ph.D. in Computer Science, 148 pages, May 1974.

AIM-246  (CS459, ADA000085/1WC),  Terry Winograd,  "Five  Lectures on
Artificial Intelligence" 93 pages, September 1974.

AIM-247 (CS-461,  ADA005041/9WC), Neil Goldman,  "Computer Generation
of Natural  Language From  a Deep Conceptual  Base" Thesis:  Ph.D. in
Computer Science, 318 pages, January 1974.

AIM-248 (CS-462), Karl Pingle, Arthur Thomas, "A Fast, Feature-Driven
Stereo Depth Program" 15 pages, May 1975.

AIM-249 (CS-463, ADA002261), Bruce Baumgart, "Geometric  Modeling for
Computer  Vision"  Thesis:  Ph.D.  in  Computer  Science,  141 pages,
October 1974.

AIM-250   (CS-464,   ADA003486),   Ramakant    Nevatia,   "Structured
Descriptions  of Complex  Curved Objects  for Recognition  and Visual
Memory" Thesis:  Ph.D.  in Electrical Engineering, 126 pages, October
1974.

AIM-251 (CS-465, ADA001373), Edward H.  Shortliffe, "MYCIN:   A Rule-
Based   Computer   Program   for   Advising    Physicians   Regarding
Antimicrobial Therapy Selection" Thesis: Ph.D. in Medical Information
Sciences, 409 pages, October 1974.

AIM-252 (CS-466, ADA002246),  Lester Earnest (ed.),  "Recent Research
in  Artificial  Intelligence,  Heuristic  Programming,   and  Network
Protocols" 74 pages, July 1974.

AIM-253  (CS-471,  ADA003487),  Bill  Faught,  Kenneth  Colby,  Roger
Parkison, "The Interaction of Inferences, Affects, and  Intentions in
a Model of Paranoia" 38 pages, December 1974.

AIM-254  (CS-472,  ADA005407/2WC),  Lynn  Quam,  Marsha   Jo  Hannah,
"Stanford Automatic Photogrammetry Research" 15 pages, November 1974.

AIM-255 (CS-473, ADA005412/2WC), Norihisa Suzuki,  "Automatic Program
Verification  II:   Verifying  Programs  by  Algebraic   256  Logical
Reduction" 29 pages, December 1974.

AIM-256  (CS-474,  ADA007563/0WC),  Friedrich  W.  V.Henke,  David C.
Luckham,  "Automatic  Program  Verification  III:  A  Methodology for
Verifying Programs", 45 pages, December 1974.

AIM-257 (CS-475, ADA005407/2WC), Malcolm C. Newey,  "Formal Semantics
of LISP With Applications  to Program Correctness" Thesis:   Ph.D. in
Computer Science, 184 pages, January 1975.

AIM-258  (CS-476, ADA006294/3WC),  Cordell Green,  David  Barstow, "A
Hypothetical  Dialogue Exhibiting  a  Knowledge Base  for  a Program-
Understanding System" 38 pages, January 1975.

AIM-259 (CS-498), Hanan Samet, "Automatically Proving the Correctness
of Translations  Involving Optimized Code"  Thesis:  PhD  in Computer
Science, 214 pages, May 1975.

AIM-260 (CS-499, ADA016811/2WC), David Canfield Smith,  "PYGMALION: A
Creative Programming Environment"  Thesis:  PhD in  Computer Science,
193 pages, June 1975.

AIM-261 (CS-501, ADA016808/8WC), Odd Pettersen, "Procedural Events as
Software Interrupts" 8 pages, June 1975.

AIM-262 (CS-502,  ADA016810/4WC), Odd Pettersen,  "Synchronization of
Concurrent Processes" 14 pages, July 1975.

AIM-263 (CS-503), Odd Pettersen, "The Macro Processing System STAGE2:
Transfer of Comments to the Generated Text" 20 pages, July 1975.

AIM-264   (CS-506),  Michael   Gordon,  "Operational   Reasoning  and
Denotational Semantics" 33 pages, August 1975.

AIM-265  (CS-507),  Michael  Gordon, "Towards  a  Semantic  Theory of
Dynamic Binding" 28 pages, August 1975.

AIM-266 (CS-517,  ADA019641), Randall  Davis, Bruce  Buchanan, Edward
Shortliffe, "Production  Rules as a  Representation for  a Knowledge-
Based Consultation Program" 37 pages, October l975.

AIM-267  (CS-520, ADA019664/2WC),  Friedrich  W. von  Henke,  "On the
Representation of Data Structures in LCF with Applications to Program
Generation" 41 pages, September l975.

AIM-268 (CS-521, ADA019663/4WC), Clark Thompson, "Depth Perception in
Stereo Computer Vision" 16 pages, October 1975.

AIM-269 (CS-522, ADA019569/3WC),  David C. Luckham,  Norhisa Susuzki,
"Automatic  Program Verification  IV: Proof  of Termination  Within a
Weak Logic of Programs" 29 pages, October 1975.

AIM-270 (CS-523, ADA019467), John F. Reiser, "BAIL -- A  debugger for
SAIL" 26 pages, October 1975.

AIM-271 (CS-524,  ADA019702/0WC), Randall  David, Jonathan  King, "An
Overview of Production Systems" 40 pages, October 1975.

AIM-272  (CS-525),  Sundaram  Ganapathy,  "Reconstruction  of  Scenes
Containing Polyhedra  From Stereo  Pair of  Views" Thesis:   Ph.D. in
Computer Science, 204 pages, December 1975.

AIM-273  (CS-534), Linda  Gail  Hemphill, "A  Conceptual  Approach to
Automated   Language  Understanding   and  Belief   Structures:  with
Disambiguation of the Word  `For'" Thesis: Ph.D. in  Linguistics, 254
pages, May 1975.

AIM-274  (CS-536,  ADA020942/9WC),  David  Grossman,  Russell Taylor,
"Interactive  Generation  of  Object Models  with  a  Manipulator" 32
pages, December 1975.

AIM-275  (CS-537,  ADA020943/7WC),  Robert  C.  Bolles, "Verification
Vision  Within  a  Programmable  Assembly  System:   An  Introductory
Discussion" 82 pages, December 1975.

AIM-276  (CS-539, ADA021055/9WC),  Zohar  Manna, Adi  Shamir,  "A New
Approach to Recursive Programs" 25 pages, December 1975.

AIM-277   (CS-542,  ADA027454),   Zohar  Manna,   Adi   Shamir,  "The
Theoretical Aspects of the Optimal Fixedpoint" 24 pages, March 1976.

AIM-278   (CS-549,  ADA027455),   David  Luckham,   Norihisa  Suzuki,
"Automatic Program Verification V: Verification-Oriented  Proof Rules
for Arrays, Records and Pointers" 48 pages, March 1976.

AIM-279 (CS-552), Norihsa Suzuki, "Automatic Verification of Programs
with Complex Data Structures" Thesis:  Ph.D. in Computer Science, 194
pages, February 1976.

AIM-280  (CS-555),  David  D. Grossman,  "Monte  Carlo  Simulation of
Tolerancing in Discrete  Parts Manufacturing and Assembly"  25 pages,
May 1976.

AIM-281.1 (CS-558, AD-A042 507), Zohar Manna, Richard  Waldinger, "Is
`sometime' sometimes  better than `always'?   Intermittent assertions
in proving  program correctness" 41  pages, June 1976,  revised March
1977.

AIM-282 (CS-560), Russell  Taylor, "Synthesis of  Manipulator Control
Programs from  Task-level Specifications"  Thesis: Ph.D.  in Computer
Science, 229 pages, July 1976.

AIM-283  (CS-552),  Randall   Davis,  "Applications  of   Meta  Level
Knowledge to the Construction, Maintenance and Use of Large Knowledge
Bases" Thesis: Ph.D. in Computer Science, 304 pages, July 1976.

AIM-284   (CS-567),  Rafael   Finkel,  "Constructing   and  Debugging
Manipulator Programs" Thesis:   Ph.D. in Computer Science,  171 pages
pages, August 1976.

AIM-285 (CS-568, PB-259 130/3WC),  T. O. Binford, D. D.  Grossman, C.
R. Lui, R. C. Bolles, R. A. Finkel, M. S. Mujtaba, M. D. Roderick, B.
E.  Shimano,  R.  H. Taylor,  R.  H.  Goldman, J.  P.  Jarvis,  V. D.
Scheinman, T. A.  Gafford, "Exploratory Study of  Computer Integrated
Assembly Systems, Progress Report 3" 336 pages, August 1976.

AIM-285.4  (CS-568, PB-259  130/3WC), T.  O. Binford,  C. R.  Lui, G.
Gini, M.  Gini,  I. Glaser, T. Ishida,  M. S. Mujtaba, E.  Nakano, H.
Nabavi, E.  Panofsky, B. E. Shimano, R. Goldman, V. D.  Scheinman, D.
Schmelling, T. A.  Gafford, "Exploratory Study of Computer Integrated
Assembly Systems, Progress Report 4" 255 pages, June 1977.

AIM-286  (CS-570),  Douglas Lenat,  "AM:  An  Artificial Intelligence
Approach  to Discovery  in Mathematics  as Heuristic  Search" Thesis:
Ph.D. in Computer Science, 350 pages, July 1976.

AIM-287 (CS-571), Michael Roderick, "Discrete Control of a Robot Arm"
Thesis: Engineer in Electrical Engineering, 98 pages, August 1976.

AIM-288 (CS-572), Robert  Filman, Richard Weyhrauch, "An  FOL Primer"
36 pages, September 1976.

AIM-289 (CS-574), John Reiser (ed.), "SAIL" 178 pages, August 1976.

AIM-290 (CS-575,  AD-A042 494),  Nancy W.  Smith, "SAIL  Tutorial" 54
pages, November 1976.

AIM-291  (CS-577, AO44713),  Bruce Buchanan,  Joshua  Lederberg, John
McCarthy, "Three Reviews of J. Weizenbaum's Computer Power  and Human
Reason" 28 pages, November 1976.

AIM-292 (CS-580), Terry Winograd, "Towards a Procedural Understanding
of Semantics" 30 pages, October 1976.

AIM-293  (CS-581, AD-A042  508), Daniel  Bobrow, Terry  Winograd, "An
Overview of KRL" 40 pages, November 1976.

AIM-294 (CS-586, AD-A042  516), Nachum Dershowitz, Zohar  Manna, "The
Evolution of Programs:  A System for Automatic  Program Modification"
45 pages, December 1976.

AIM-295  (CS-591), Robert  C. Bolles,  "Verification Vision  Within a
Programmable Assembly System" Thesis: Ph.D. in Computer  Science, 245
pages, December 1976.

AIM-296  (CS-592),  Robert  Cartwright,  "Practical  Formal  Semantic
Definition  and  Verification  Systems"  Thesis:  Ph.D.  in  Computer
Science, 158 pages, December 1976.

AIM-297  (CS-610),  Terry Winograd,  "A  Framework  for Understanding
Discourse" 24 pages, April 1977.

AIM-298  (CS-611, ADA046703),  Zohar Manna,  Richard  Waldinger, "The
Logic of Computer Programming" 90 pages, June 1977.

AIM-299   (CS-614,  ADA049760),   Zohar  Manna,   Adi   Shamir,  "The
Convergence of Functions to Fixedpoints of Recursive  Definitions" 45
pages, May 1977.

AIM-300 (CS-617), Terry Winograd, "On some Contested  Suppositions of
Generative  Linguistics about  the Scientific  Study of  Language" 25
pages, May 1977.

AIM-301  (CS-624,  ADA044231),  Lester  Earnest,  et.   al.,  "Recent
Research in Computer Science" 118 pages, June 1977.

AIM-302   (CS-630,   ADA049761),  Zohar   Manna,   Richard  Waldinger
"Synthesis: Dreams => Programs" 119 pages, October 1977.

AIM-303   (CS-631,  ADA050806),   Nachum  Dershowitz,   Zohar  Manna,
"Inference Rules for Program Annotation" 46 pages, October 1977.

AIM-304  (CS-632,  ADA048684), Todd  Wagner,  "Hardware Verification"
Thesis: PhD in Computer Science, 102 pages, September 1977.

AIM-305   (CS-633,  ADA048660),   William  Faught,   "Motivation  and
Intensionality  in  a  Computer Simulation  Model"  Thesis:  Ph.D. in
Computer Science, 104 pages, September 1977.

AIM-306  (CS-639,  ADA053175),  Cordell  Green,  David  Barstow,  "On
Program Synthesis Knowledge" 63 pages, November 1977.

AIM-307  (CS-640,  ADA053176),  Zohar  Manna  and  Richard Waldinger,
"Structured Programming Without Recursion" 10 pages, December 1977.

AIM-308 (CS-641,  ADA053184), David Barstow,  "Automatic Construction
of Algorithms" Thesis: Ph.D. in Computer Science, 220 pages, December
1977.

AIM-309  (CS-646), C.  G.  Nelson, Derek  Oppen,  "Efficient Decision
Procedures Based on Congruence Closure" 15 pages, January 1978.

AIM-310 (CS-651, ADA058601), Nachum Dershowitz, Zohar Manna, "Proving
Termination with Multiset Orderings" 33 pages, March 1978.

AIM-311  (CS-652), Greg  Nelson, Derek  C. Oppen,  "Simplification by
Cooperating Decision Prodcedures" 20 pages, April 1978.

AIM-312 (CS-657,  ADA065502), John  McCarthy, Masahiko  Sato, Takeshi
Hayashi,  Shigeru Igarashi,  "On the  Model Theory  of  Knowledge" 11
pages, April 1978.

AIM-313 (CS-660), Bruce E.  Shimano, "The Kinematic Design  and Force
Control  of  Computer  Controlled  Manipulators"  Thesis:   Ph.D.  in
Mechanical Engineering, 140 pages, March 1978.

AIM-314  (CS-678),  Derek  C.  Oppen,  "Reasoning  About  Recursively
Defined Data Structures" 15 pages, July 1978.

AIM-315 (CS-687, ADA065698), Richard W. Weyhrauch, "Prolegomena  to a
Theory of Formal Reasoning" 41 December 1978.  page

AIM-316 (CS-671), Jerrold  M. Ginsparg, "Natural  Language Processing
in  an  Automatic  Programming  Domain"  Thesis:  Ph.D.  in  Computer
Science, 172 pages, June 1978.

AIM-317 (CS-675),  Donald E.  Knuth, "Tau Epsilon  Chi, A  System for
Technical Text" 200 pages, September 1978.

AIM-318 (CS-688), Zohar Manna, "Six Lectures on the Logic of Computer
Programming" 54 pages, November 1978.

AIM-319 (CS-689), Charles G. Nelson, "An n ↑[log n] algorithm for the
two-variable-per-constraint    linear    programming   satisfiability
problem" 20 pages, December 1978.

AIM-320 (CS-690,  ADA065558), Zohar Manna,  "A Deductive  Approach to
Program Synthesis" 30 pages, December 1978.

AIM-321  (CS-695,  ADA06562), McCarthy,  et.al,  "Recent  Research in
Artificial  Intelligence  and  Programming  Methodology"   94  pages,
November 1978.

AIM-322  (CS-716),  Michael  Georgeff  "A  Framework  for  Control in
Production Systems" 35 pages, January 1979.

AIM-323 (CS-718), Shahid Mujtaba, Ron Goldman, "AL Users' Manual" 136
pages, January 1979.

AIM-324  (CS-717),   Robert  Cartwright,  John   McCarthy  "Recursive
Programs as Functions in a First Order Theory" 32 pages, March 1979.

AIM-325 (CS-724), John McCarthy, "First Order Theories  of Individual
Concepts and Propositions" 19 pages, March 1979.

AIM-326  (CS-725),  John  McCarthy,  "Ascribing  Mental  Qualities to
Machines" 25 pages, March 1979.

AIM-327  (CS-727),   Robert  Elliot   Filman,  "The   Interaction  of
Observation  and  Inference"  Thesis: PhD  in  Computer  Science, 232
pages, April 1979.

AIM-328 (CS-743), Juan Bautista Bulnes-Rozas, "GOAL: A  Goal Oriented
Command Language for Interactive Proof Constructions" Thesis:  PhD in
Computer Science, 178 pages, June 1979.

AIM-329 (CS-747, AD-A076 872), David E. Wilkins, "Using  Patterns and
Plans to Solve Problems  and Control Search" Thesis: PhD  in Computer
Science, 264 pages, June 1979.

AIM-330 (CS-751), Zohar  Manna and Amir  Pnueli, "The Model  Logic of
Programs", 36 pages, September 1979.

AIM-331 (CS-755), Elaine Kant), "Efficiency Considerations in Program
Synthesis:  A  Knowledge-Based  Approach"  Thesis:  PhD  in  Computer
Science, 160 pages, July 1979.

AIM-332 (CS-762), Donald E.  Knuth, "METAFONT, a system  for alphabet
design", 110 pages, September 1979.

AIM-333 (CS-788), John McCarthy, "Circumscription - A Form of
Non-Monotonic Reasoning", 15 pages, February 1980.