ijcai 1971 论文列表Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London, UK, September 1-3, 1971. |
Changes in Representation which Preserve Strategies in Games.
Branch-and-Bound and Beyond.
A Model for Functional Reasoning in Design.
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving.
Heuristic Search vs. Exhaustive Search.
Computer Proofs of Limit Theorems.
A Paradigm for Reasoning by Analogy.
Fuzzy Logic and the Resolution Principle.
Solving Problems by Formula Manipulation in Logic and Linear Inequalities.
Reduction of Enumeration in Grammar Acquisition.
On the Problems of Time, Retrieval of Temporal Relations, Causality, and Co-Existence.
Some Relations Between Predicate Calculus and Semantic Net Representations of Discourse.
A Net Structure for Semantic Information Storage, Deduction and Retrieval.
Large Systems and their Regular Expressions: An Approach to Pattern Recognition.
Improvement of Marko's Model Toward the Inter-Locutional Communication Theory.
Derived Semantics for Some Programming Language Constructs.
An Algebraic Definition of Simulation Between Programs.
Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases.
A Language Based Problem-Solver.
Experiments with a Natural Language Problem-Solving System.
Finding the Conceptual Content and Intention in an Utterance in Natural Language Conversation.
Augmented Transition Networks as Psychological Models of Sentence Comprehension.
On the Classification of Patterns by the Karhunen-Loeve Orthogonal System Without Supervisor.
Training for Extremum Determination of Function of Variables Measured in Names Scale.
A Nonparametric Valley-Seeking Technique for Cluster Analysis.
Pattern Recognition by Quasi-Linguistic Translation Into Artificial Noise-Resistant Language.
Application of Questionnaire Theory to Pattern Recognition.
Trajectory Control of a Computer Arm.
Pattern Recognition by an Artificial Tactile Sense.
Visual-Tactile Symbiotic System for Stereometric Pattern Recognition.
The Use of Vision and Manipulation to Solve the "Instant Insanity" Puzzle.
Jerome A. Feldman Karl K. Pingle Thomas O. Binford Gilbert Falk Alan C. Kay R. Paul Robert F. Sproull Jay M. Tenenbaum
An Intelligent Robot with Cognition and Decision-Making Ability.
Robot Planning, Execution, and Monitoring in an Uncertain Environment.
Visual Detection of Noisy Patterns.
Recognition of Hand-Printed Numerals Reduced to Graph-Representable Form.
Hypothesis of Simplicity in Pattern Recognition.
Pattern Linguistic Analysis Invariant for Plane Transformations.
One System for Simulation of Pattern Recognition Algorithms.
A Method of Pattern Recognition Using Rewriting Rules.
On Defining the Intelligence of Behaviour and Machines.
Interactions Between Philosophy and Artificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Intelligence.
A Study in Descriptive Representation of Pictorial Data.
Computer Perception of Complex Patterns.
Conjectures on the Perception of Elongation.
Program and Protocol Analysis on a Mental Imagery Task.
Protocol Analysis as a Task for Artificial Intelligence.
System Support for the Stanford Hand-Eye System.
Procedural Embedding of knowledge in Planner.
A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base.
The Evolutionay Process of Randomly Growing Mutated Digital Structures as a Model of Evolution of the First Living Organisms.
Transformations and Somatotopy in Perceiving Systems.
The Model of Human Short-term Memory.
The Model of Human Visual Long-Term Memory with Ability for Generalization.
An Associative Memory for Auditory Recall.
Information Processing Using a Model of Associative Memory.
Aspects of the Detection of Scene Congruence.
Recognition of polyhedrons with a range finder.
Extraction of the Line Drawings of 3-Dimensional Objects by Sequential Illumination From Several Directions.
Grid Coding: A Preprocessing Technique for Robot and Machine Vision.
Challenge to Artificial Intelligence: Programming Problems to be Solved.
Collective Behaviour of Automata and the Problems of Stable Local Control of a Large-scale System.
A Heuristic Programming Study of Theory Formation in Science.
Heuristic Algorithms for Automated Space Planning.
Mathematical Models for Automatic Line Detection.
Scene Analysis Based on Imperfect Edge Data.
An Accommodating Edge Follower.