perm filename AIM.PUB[BIB,CSR]2 blob sn#489638 filedate 1979-12-20 generic text, type C, neo UTF8

COMMENT ā VALID 00007 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 .require "setup.bib" source file C00014 00003 AIM-60 (CS-101, AD672923), Donald M. Kaplan, "The Formal Theoretic Analysis C00027 00004 AIM-121, Irwin Sobel, "Camera Models and Machine Perception" Thesis: C00041 00005 AIM-179 (CS-320), Bruce G. Baumgart, "Winged Edge Polyhedron C00055 00006 AIM-236 (CS-433, AD784513/4WC), Jack R. Buchanan and David C. Luckham, "On C00070 00007 AIM-287 (CS-571), Michael Roderick, "Discrete Control of a Robot Arm" C00080 ENDMK Cā; .require "setup.bib" source file; .begin center APPENDIX C ARTIFICIAL INTELLIGENCE MEMOS .end All A.I. Memos published to date are listed below. Rising costs and restrictions on the use of research funds for printing reports have made it necessary to charge for reports at their replacement cost. By doing so, we will be able to reprint popular reports rather than simply declaring them "out of print". For people with access to the ARPA Network, the texts of some A. I. Memos are stored online in the Stanford A. I. Laboratory disk file. These are designated below by "Diskfile: <file name>" appearing in the header. 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-772), Brian P. McCune, "Building Program Models Incrementaly from Informal Descriptions" Thesis: PhD in Computer Science, 146 pages, November 1979. .next page