Table of Contents

• An Accommodating Edge FollowerKarl K. Pingle, Jay M. Tenenbaum. 1-7
• Scene Analysis Based on Imperfect Edge DataGilbert Falk. 8-16
• A Heuristic Programming Study of Theory Formation in ScienceBruce G. Buchanan, Edward A. Feigenbaum, Joshua Lederberg. 40-50
• Collective Behaviour of Automata and the Problems of Stable Local Control of a Large-scale SystemV. L. Stefanuk. 51-58
• Challenge to Artificial Intelligence: Programming Problems to be SolvedJean E. Sammet. 59-65
• Grid Coding: A Preprocessing Technique for Robot and Machine VisionPeter M. Will, Keith S. Pennington. 66-70
• Extraction of the Line Drawings of 3-Dimensional Objects by Sequential Illumination From Several DirectionsYoshiaki Shirai, Saburo Tsuji. 71-79
• Recognition of polyhedrons with a range finderYoshiaki Shirai, Motoi Suwa. 80-87
• Aspects of the Detection of Scene CongruenceMartin A. Fischler. 88-100
• Information Processing Using a Model of Associative MemoryKaoru Nakano, Jin-ichi Nagumo. 101-110
• An Associative Memory for Auditory RecallRichard J. Reid. 111-118
• Transformations and Somatotopy in Perceiving SystemsMichael A. Arbib. 140-147
• The Evolutionay Process of Randomly Growing Mutated Digital Structures as a Model of Evolution of the First Living OrganismsKonrad Fialkowski. 148-158
• A Programming Tool for Management of a Predicate-Calculus-Oriented Data BaseErik Sandewall. 159-166
• Procedural Embedding of knowledge in PlannerCarl Hewitt. 167-184
• System Support for the Stanford Hand-Eye SystemJerome A. Feldman, Robert F. Sproull. 185-189
• Protocol Analysis as a Task for Artificial IntelligenceDonald A. Waterman, Allen Newell. 190-217
• Program and Protocol Analysis on a Mental Imagery TaskGeorge W. Baylor. 218-237
• Computer Perception of Complex PatternsEdward L. Morofsky, Andrew K. C. Wong. 248-257
• A Study in Descriptive Representation of Pictorial DataOscar Firschein, Martin A. Fischler. 258-269
• Interactions Between Philosophy and Artificial Intelligence: The Role of Intuition and Non-Logical Reasoning in IntelligenceAaron Sloman. 270-278
• On Defining the Intelligence of Behaviour and MachinesP. H. Millar. 279-286
• A Method of Pattern Recognition Using Rewriting RulesAkira Kurematsu, Manabu Takeda, Seiichi Inoue. 287-297
• One System for Simulation of Pattern Recognition AlgorithmsV. I. Rybak, Georgy L. Gimel farb, E. F. Kushner. 298-307
• Pattern Linguistic Analysis Invariant for Plane TransformationsJ. C. Simon, A. Checroun. 308-317
• Hypothesis of Simplicity in Pattern RecognitionN. G. Zagoruyko, K. F. Samokhvalov. 318-321
• Recognition of Hand-Printed Numerals Reduced to Graph-Representable FormA. H. Watt, R. L. Beurle. 322-332
• Visual Detection of Noisy PatternsRobert M. Hodgson, G. A. Gelade, R. L. Beurle. 333-337
• Robot Planning, Execution, and Monitoring in an Uncertain EnvironmentJohn H. Munson. 338-349
• An Intelligent Robot with Cognition and Decision-Making AbilityMasakazu Ejiri, Takeshi Unon, Haruo Yoda, Tatsuo Goto, Kiyoo Takeyasu. 350-358
• The Use of Vision and Manipulation to Solve the Instant Insanity PuzzleJerome A. Feldman, Karl K. Pingle, Thomas O. Binford, Gilbert Falk, A. Hay, R. Paul, Robert F. Sproull, Jay M. Tenenbaum. 359-364
• Visual-Tactile Symbiotic or Stereometric Pattern RecognitionShuhei Aida, Luigi P. Cordella, N. Ivacevic. 365-375
• Pattern Recognition by an Artificial Tactile SenseGen-ichiro Kinoshita, Shuhei Aida, Masahiro Mori. 376-384
• Application of Questionnaire Theory to Pattern RecognitionJ. C. Simon, C. Roche. 391-401
• Pattern Recognition by Quasi-Linguistic Translation Into Artificial Noise-Resistant LanguageA. N. Radchenko. 402-410
• A Nonparametric Valley-Seeking Technique for Cluster AnalysisWarren L. G. Koontz, Keinosuke Fukunaga. 411-417
• On the Classification of Patterns by the Karhunen-Loeve Orthogonal System Without SupervisorShingo Tomita, Shoichi Noguchi. 424-428
• Augmented Transition Networks as Psychological Models of Sentence ComprehensionRonald M. Kaplan. 429-443
• Finding the Conceptual Content and Intention in an Utterance in Natural Language ConversationRoger C. Schank. 444-454
• Experiments with a Natural Language Problem-Solving SystemJack P. Gelb. 455-462
• A Language Based Problem-SolverS. Ramani. 463-473
• Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test CasesTerrence W. Pratt. 474-480
• An Algebraic Definition of Simulation Between ProgramsRobin Milner. 481-489
• Derived Semantics for Some Programming Language ConstructsPeter Henderson. 490-496
• Improvement of Marko s Model Toward the Inter-Locutional Communication TheoryHideo Seki. 497-503
• Large Systems and their Regular Expressions: An Approach to Pattern RecognitionDavid C. Rine. 504-511
• A Net Structure for Semantic Information Storage, Deduction and RetrievalStuart C. Shapiro. 512-523
• Some Relations Between Predicate Calculus and Semantic Net Representations of DiscourseRobert F. Simmons, Bertram C. Bruce. 524-530
• On the Problems of Time, Retrieval of Temporal Relations, Causality, and Co-ExistenceNicholas V. Findler, David Chen. 531-545
• Reduction of Enumeration in Grammar AcquisitionStefano Crespi-Reghizzi. 546-552
• Solving Problems by Formula Manipulation in Logic and Linear InequalitiesLouis Hodes. 553-559
• Fuzzy Logic and the Resolution PrincipleRichard C. T. Lee. 560-567
• A Paradigm for Reasoning by AnalogyRob Kling. 568-585
• Computer Proofs of Limit TheoremsW. W. Bledsoe, Robert S. Boyer, William H. Henneman. 586-600
• Heuristic Search vs. Exhaustive SearchLaurent Siklóssy, Vesko Marinov. 601-607
• STRIPS: A New Approach to the Application of Theorem Proving to Problem SolvingRichard Fikes, Nils J. Nilsson. 608-620
• A Model for Functional Reasoning in DesignPeter Freeman, Allen Newell. 621-640
• Branch-and-Bound and BeyondPatrick A. V. Hall. 641-650
• Changes in Representation which Preserve Strategies in GamesRanan B. Banerji, George W. Ernst. 651