2. IJCAI 1971:
London,
UK
D. C. Cooper (Ed.):
Proceedings of the 2nd International Joint Conference on Artificial Intelligence. London,
UK,
September 1971. William Kaufmann,
1971,
ISBN 0-934613-34-6
- Karl K. Pingle, Jay M. Tenenbaum:
An Accommodating Edge Follower.
1-7 BibTeX
- Gilbert Falk:
Scene Analysis Based on Imperfect Edge Data.
8-16 BibTeX
- Arnold K. Griffith:
Mathematical Models for Automatic Line Detection.
17-26 BibTeX
- Charles M. Eastman:
Heuristic Algorithms for Automated Space Planning.
27-39 BibTeX
- Bruce G. Buchanan, Edward A. Feigenbaum, Joshua Lederberg:
A Heuristic Programming Study of Theory Formation in Science.
40-50 BibTeX
- V. L. Stefanuk:
Collective Behaviour of Automata and the Problems of Stable Local Control of a Large-scale System.
51-58 BibTeX
- Jean E. Sammet:
Challenge to Artificial Intelligence: Programming Problems to be Solved.
59-65 BibTeX
- Peter M. Will, Keith S. Pennington:
Grid Coding: A Preprocessing Technique for Robot and Machine Vision.
66-70 BibTeX
- Yoshiaki Shirai, Saburo Tsuji:
Extraction of the Line Drawings of 3-Dimensional Objects by Sequential Illumination From Several Directions.
71-79 BibTeX
- Yoshiaki Shirai, Motoi Suwa:
Recognition of polyhedrons with a range finder.
80-87 BibTeX
- Martin A. Fischler:
Aspects of the Detection of Scene Congruence.
88-100 BibTeX
- Kaoru Nakano, Jin-ichi Nagumo:
Information Processing Using a Model of Associative Memory.
101-110 BibTeX
- Richard J. Reid:
An Associative Memory for Auditory Recall.
111-118 BibTeX
- Rada M. Granovskaya:
The Model of Human Visual Long-Term Memory with Ability for Generalization.
119-129 BibTeX
- I. J. Bereznaya, Rada M. Granovskaya:
The Model of Human Short-term Memory.
130-139 BibTeX
- Michael A. Arbib:
Transformations and Somatotopy in Perceiving Systems.
140-147 BibTeX
- Konrad Fialkowski:
The Evolutionay Process of Randomly Growing Mutated Digital Structures as a Model of Evolution of the First Living Organisms.
148-158 BibTeX
- Erik Sandewall:
A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base.
159-166 BibTeX
- Carl Hewitt:
Procedural Embedding of knowledge in Planner.
167-184 BibTeX
- Jerome A. Feldman, Robert F. Sproull:
System Support for the Stanford Hand-Eye System.
185-189 BibTeX
- Donald A. Waterman, Allen Newell:
Protocol Analysis as a Task for Artificial Intelligence.
190-217 BibTeX
- George W. Baylor:
Program and Protocol Analysis on a Mental Imagery Task.
218-237 BibTeX
- Edward S. Deutsch:
Conjectures on the Perception of Elongation.
238-247 BibTeX
- Edward L. Morofsky, Andrew K. C. Wong:
Computer Perception of Complex Patterns.
248-257 BibTeX
- Oscar Firschein, Martin A. Fischler:
A Study in Descriptive Representation of Pictorial Data.
258-269 BibTeX
- Aaron Sloman:
Interactions Between Philosophy and Artificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Intelligence.
270-278 BibTeX
- P. H. Millar:
On Defining the Intelligence of Behaviour and Machines.
279-286 BibTeX
- Akira Kurematsu, Manabu Takeda, Seiichi Inoue:
A Method of Pattern Recognition Using Rewriting Rules.
287-297 BibTeX
- V. I. Rybak, Georgy L. Gimel'farb, E. F. Kushner:
One System for Simulation of Pattern Recognition Algorithms.
298-307 BibTeX
- J. C. Simon, A. Checroun:
Pattern Linguistic Analysis Invariant for Plane Transformations.
308-317 BibTeX
- N. G. Zagoruyko, K. F. Samokhvalov:
Hypothesis of Simplicity in Pattern Recognition.
318-321 BibTeX
- A. H. Watt, R. L. Beurle:
Recognition of Hand-Printed Numerals Reduced to Graph-Representable Form.
322-332 BibTeX
- Robert M. Hodgson, G. A. Gelade, R. L. Beurle:
Visual Detection of Noisy Patterns.
333-337 BibTeX
- John H. Munson:
Robot Planning, Execution, and Monitoring in an Uncertain Environment.
338-349 BibTeX
- Masakazu Ejiri, Takeshi Unon, Haruo Yoda, Tatsuo Goto, Kiyoo Takeyasu:
An Intelligent Robot with Cognition and Decision-Making Ability.
350-358 BibTeX
- Jerome A. Feldman, Karl K. Pingle, Thomas O. Binford, Gilbert Falk, A. Hay, R. Paul, Robert F. Sproull, Jay M. Tenenbaum:
The Use of Vision and Manipulation to Solve the "Instant Insanity" Puzzle.
359-364 BibTeX
- Shuhei Aida, Luigi P. Cordella, N. Ivacevic:
Visual-Tactile Symbiotic or Stereometric Pattern Recognition.
365-375 BibTeX
- Gen-ichiro Kinoshita, Shuhei Aida, Masahiro Mori:
Pattern Recognition by an Artificial Tactile Sense.
376-384 BibTeX
- Richard Paul:
Trajectory Control of a Computer Arm.
385-390 BibTeX
- J. C. Simon, C. Roche:
Application of Questionnaire Theory to Pattern Recognition.
391-401 BibTeX
- A. N. Radchenko:
Pattern Recognition by Quasi-Linguistic Translation Into Artificial Noise-Resistant Language.
402-410 BibTeX
- Warren L. G. Koontz, Keinosuke Fukunaga:
A Nonparametric Valley-Seeking Technique for Cluster Analysis.
411-417 BibTeX
- G. S. Lbov:
Training for Extremum Determination of Function of Variables Measured in Names Scale.
418-423 BibTeX
- Shingo Tomita, Shoichi Noguchi:
On the Classification of Patterns by the Karhunen-Loeve Orthogonal System Without Supervisor.
424-428 BibTeX
- Ronald M. Kaplan:
Augmented Transition Networks as Psychological Models of Sentence Comprehension.
429-443 BibTeX
- Roger C. Schank:
Finding the Conceptual Content and Intention in an Utterance in Natural Language Conversation.
444-454 BibTeX
- Jack P. Gelb:
Experiments with a Natural Language Problem-Solving System.
455-462 BibTeX
- S. Ramani:
A Language Based Problem-Solver.
463-473 BibTeX
- Terrence W. Pratt:
Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases.
474-480 BibTeX
- Robin Milner:
An Algebraic Definition of Simulation Between Programs.
481-489 BibTeX
- Peter Henderson:
Derived Semantics for Some Programming Language Constructs.
490-496 BibTeX
- Hideo Seki:
Improvement of Marko's Model Toward the Inter-Locutional Communication Theory.
497-503 BibTeX
- David C. Rine:
Large Systems and their Regular Expressions: An Approach to Pattern Recognition.
504-511 BibTeX
- Stuart C. Shapiro:
A Net Structure for Semantic Information Storage, Deduction and Retrieval.
512-523 BibTeX
- Robert F. Simmons, Bertram C. Bruce:
Some Relations Between Predicate Calculus and Semantic Net Representations of Discourse.
524-530 BibTeX
- Nicholas V. Findler, David Chen:
On the Problems of Time, Retrieval of Temporal Relations, Causality, and Co-Existence.
531-545 BibTeX
- Stefano Crespi-Reghizzi:
Reduction of Enumeration in Grammar Acquisition.
546-552 BibTeX
- Louis Hodes:
Solving Problems by Formula Manipulation in Logic and Linear Inequalities.
553-559 BibTeX
- Richard C. T. Lee:
Fuzzy Logic and the Resolution Principle.
560-567 BibTeX
- Rob Kling:
A Paradigm for Reasoning by Analogy.
568-585 BibTeX
- W. W. Bledsoe, Robert S. Boyer, William H. Henneman:
Computer Proofs of Limit Theorems.
586-600 BibTeX
- Laurent Siklóssy, Vesko Marinov:
Heuristic Search vs. Exhaustive Search.
601-607 BibTeX
- Richard Fikes, Nils J. Nilsson:
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving.
608-620 BibTeX
- Peter Freeman, Allen Newell:
A Model for Functional Reasoning in Design.
621-640 BibTeX
- Patrick A. V. Hall:
Branch-and-Bound and Beyond.
641-650 BibTeX
- Ranan B. Banerji, George W. Ernst:
Changes in Representation which Preserve Strategies in Games.
651 BibTeX
Copyright © Sat May 16 23:23:24 2009
by Michael Ley (ley@uni-trier.de)