. German Research Center for Artificial Intelligence GmbH


LIDOS BibTeX Database File
ijcai71.bib

K. K. Pingle and J. M. Tenenbaum
An Accommodating Edge Follower

@inproceedings{Pingle:71IJ,
  AUTHOR = {K. K. Pingle and J. M. Tenenbaum},
  TITLE = {An Accommodating Edge Follower},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {1-7},
  KEYWORDS = {}}

G. Falk
Scene Analysis Based on Imperfect Edge Data
@inproceedings{Falk71IJ,
  AUTHOR = {G. Falk},
  TITLE = {Scene Analysis Based on Imperfect Edge Data},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {8-16},
  KEYWORDS = {}}

A. K. Griffith
Mathematical Models for Automatic Line Detection
@inproceedings{Griffith71IJ,
  AUTHOR = {A. K. Griffith},
  TITLE = {Mathematical Models for Automatic Line Detection},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {17-26},
  KEYWORDS = {}}

C. M. Eastman
Heuristic Algorithms for Automated Space Planning
@inproceedings{Eastman71IJ,
  AUTHOR = {C. M. Eastman},
  TITLE = {Heuristic Algorithms for Automated Space Planning},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {27-39},
  KEYWORDS = {}}

B. G. Buchanan and E. A. Feigenbaum and J. Lederberg
A Heuristic Programming Study of Theory Formation in Science
@inproceedings{Buchanan:71IJ,
  AUTHOR = {B. G. Buchanan and E. A. Feigenbaum and J. Lederberg},
  TITLE = {A Heuristic Programming Study of Theory Formation in Science},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {40-50},
  KEYWORDS = {}}

V. L. Stefanuk
Collective Behaviour of Automata and the Problems of Stable Local Control of a Large-Scale System
@inproceedings{Stefanuk71IJ,
  AUTHOR = {V. L. Stefanuk},
  TITLE = {Collective Behaviour of Automata and the Problems of Stable Local Control of a Large-Scale System},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {51-58},
  KEYWORDS = {}}

J. E. Sammet
Challenge to Artificial Intelligence: Programming Problems to Be Solved
@inproceedings{Sammet71IJ,
  AUTHOR = {J. E. Sammet},
  TITLE = {Challenge to Artificial Intelligence: Programming Problems to Be Solved},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {59-65},
  KEYWORDS = {}}

P. M. Will and K. S. Pennington
Grid Coding: A Preprocessing Technique for Robot and Machine Vision
@inproceedings{Will:71IJ,
  AUTHOR = {P. M. Will and K. S. Pennington},
  TITLE = {Grid Coding: A Preprocessing Technique for Robot and Machine Vision},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {66-70},
  KEYWORDS = {}}

Y. Shirai and S. Tsuji
Extraction of the Line Drawings of 3-Dimensional Objects by Sequential Illumination from Several Directions
@inproceedings{Shirai:71IJa,
  AUTHOR = {Y. Shirai and S. Tsuji},
  TITLE = {Extraction of the Line Drawings of 3-Dimensional Objects by Sequential Illumination from Several Directions},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {71-79},
  KEYWORDS = {}}

Y. Shirai and M. Suwa
Recognition of Polyhedrons with a Range Finder
@inproceedings{Shirai:71IJb,
  AUTHOR = {Y. Shirai and M. Suwa},
  TITLE = {Recognition of Polyhedrons with a Range Finder},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {80-87},
  KEYWORDS = {}}

M. A. Fischler
Aspects of the Detection of Scene Congruence
@inproceedings{Fischler71IJ,
  AUTHOR = {M. A. Fischler},
  TITLE = {Aspects of the Detection of Scene Congruence},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {88-100},
  KEYWORDS = {}}

K. Nakano and J. Nagumo
Information Processing Using a Model of Associative Memory
@inproceedings{Nakano:71IJ,
  AUTHOR = {K. Nakano and J. Nagumo},
  TITLE = {Information Processing Using a Model of Associative Memory},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {101-110},
  KEYWORDS = {}}

R. J. Reid
An Associative Memory for Auditory Recall
@inproceedings{Reid71IJ,
  AUTHOR = {R. J. Reid},
  TITLE = {An Associative Memory for Auditory Recall},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {111-118},
  KEYWORDS = {}}

R. M. Granovskaya
The Model of Human Visual Long-Term Memory with Ability for Generalization
@inproceedings{Granovskaya71IJ,
  AUTHOR = {R. M. Granovskaya},
  TITLE = {The Model of Human Visual Long-Term Memory with Ability for Generalization},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {119-129},
  KEYWORDS = {}}

I. J. Bereznaya and R. M. Granovskaya
The Model of Human Short-Term Memory
@inproceedings{Bereznaya:71IJ,
  AUTHOR = {I. J. Bereznaya and R. M. Granovskaya},
  TITLE = {The Model of Human Short-Term Memory},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {130-139},
  KEYWORDS = {}}

M. A. Arbib
Transformations and Somatotopy in Perceiving Systems
@inproceedings{Arbib71IJ,
  AUTHOR = {M. A. Arbib},
  TITLE = {Transformations and Somatotopy in Perceiving Systems},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {140-147},
  KEYWORDS = {}}

K. R. Fialkowski
The Evolutionary Process of Randomly Growing Mutated Digital Structures as a Model of Evolution of the First Living Organisms
@inproceedings{Fialkowski71IJ,
  AUTHOR = {K. R. Fialkowski},
  TITLE = {The Evolutionary Process of Randomly Growing Mutated Digital Structures as a Model of Evolution of the First Living Organisms},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {148-158},
  KEYWORDS = {}}

E. Sandewall
A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base
@inproceedings{Sandewall71IJ,
  AUTHOR = {E. Sandewall},
  TITLE = {A Programming Tool for Management of a Predicate-Calculus-Oriented Data Base},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {159-166},
  KEYWORDS = {}}

C. Hewitt
Procedural Embedding of Knowledge in Planner
@inproceedings{Hewitt71IJ,
  AUTHOR = {C. Hewitt},
  TITLE = {Procedural Embedding of Knowledge in Planner},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {167-182},
  KEYWORDS = {}}

J. A. Feldman and R. F. Sproull
System Support for the Stanford Hand-Eye System
@inproceedings{Feldman:71IJa,
  AUTHOR = {J. A. Feldman and R. F. Sproull},
  TITLE = {System Support for the Stanford Hand-Eye System},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {183-189},
  KEYWORDS = {}}

D. A. Waterman and A. Newell
Protocol Analysis as a Task for Artificial Intelligence
@inproceedings{Waterman:71IJ,
  AUTHOR = {D. A. Waterman and A. Newell},
  TITLE = {Protocol Analysis as a Task for Artificial Intelligence},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {190-217},
  KEYWORDS = {}}

G. W. Baylor
Program and Protocol Analysis on a Mental Imagery Task
@inproceedings{Baylor71IJ,
  AUTHOR = {G. W. Baylor},
  TITLE = {Program and Protocol Analysis on a Mental Imagery Task},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {218-237},
  KEYWORDS = {}}

E. S. Deutsch
Conjectures on the Perception of Elongation
@inproceedings{Deutsch71IJ,
  AUTHOR = {E. S. Deutsch},
  TITLE = {Conjectures on the Perception of Elongation},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {238-247},
  KEYWORDS = {}}

E. L. Morofsky and A. K. C. Wong
Computer Perception of Complex Patterns
@inproceedings{Morofsky:71IJ,
  AUTHOR = {E. L. Morofsky and A. K. C. Wong},
  TITLE = {Computer Perception of Complex Patterns},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {248-257},
  KEYWORDS = {}}

O. Firschein and M. A. Fischler
A Study in Descriptive Representation of Pictorial Data
@inproceedings{Firschein:71IJ,
  AUTHOR = {O. Firschein and M. A. Fischler},
  TITLE = {A Study in Descriptive Representation of Pictorial Data},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {258-269},
  KEYWORDS = {}}

A. Sloman
Interactions between Philosophy and Artificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Intelligence
@inproceedings{Sloman71IJ,
  AUTHOR = {A. Sloman},
  TITLE = {Interactions between Philosophy and Artificial Intelligence: The Role of Intuition and Non-Logical Reasoning in Intelligence},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {270-278},
  KEYWORDS = {}}

P. H. Millar
On Defining the Intelligence of Behaviour and Machines
@inproceedings{Millar71IJ,
  AUTHOR = {P. H. Millar},
  TITLE = {On Defining the Intelligence of Behaviour and Machines},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {279-286},
  KEYWORDS = {}}

A. Kurematsu and M. Takeda and S. Inoue
A Method of Pattern Recognition Using Rewriting Rules
@inproceedings{Kurematsu:71IJ,
  AUTHOR = {A. Kurematsu and M. Takeda and S. Inoue},
  TITLE = {A Method of Pattern Recognition Using Rewriting Rules},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {287-297},
  KEYWORDS = {}}

V. I. Rybak and G. L. Gimelfarb and E. P. Kushner
One System for Simulation of Pattern Recognition Algorithms
@inproceedings{Rybak:71IJ,
  AUTHOR = {V. I. Rybak and G. L. Gimelfarb and E. P. Kushner},
  TITLE = {One System for Simulation of Pattern Recognition Algorithms},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {298-307},
  KEYWORDS = {}}

J. C. Simon and A. Checroun
Pattern Linguistic Analysis Invariant for Plane Transformations
@inproceedings{Simon:71IJa,
  AUTHOR = {J. C. Simon and A. Checroun},
  TITLE = {Pattern Linguistic Analysis Invariant for Plane Transformations},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {308-317},
  KEYWORDS = {}}

N. G. Zagoruyko and K. F. Samokhvalov
Hypothesis of Simplicity in Pattern Recognition
@inproceedings{Zagoruyko:71IJ,
  AUTHOR = {N. G. Zagoruyko and K. F. Samokhvalov},
  TITLE = {Hypothesis of Simplicity in Pattern Recognition},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {318-321},
  KEYWORDS = {}}

A. H. Watt and R. L. Beurle
Recognition of Hand-Printed Numerals Reduced to Graph-Representable Form
@inproceedings{Watt:71IJ,
  AUTHOR = {A. H. Watt and R. L. Beurle},
  TITLE = {Recognition of Hand-Printed Numerals Reduced to Graph-Representable Form},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {322-332},
  KEYWORDS = {}}

R. M. Hodgson and G. A. Gelade and R. L. Beurle
Visual Detection of Noisy Patterns
@inproceedings{Hodgson:71IJ,
  AUTHOR = {R. M. Hodgson and G. A. Gelade and R. L. Beurle},
  TITLE = {Visual Detection of Noisy Patterns},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {333-337},
  KEYWORDS = {}}

J. H. Munson
Robot Planning, Execution, and Monitoring in an Uncertain Environment
@inproceedings{Munson71IJ,
  AUTHOR = {J. H. Munson},
  TITLE = {Robot Planning, Execution, and Monitoring in an Uncertain Environment},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {338-349},
  KEYWORDS = {}}

M. Ejiri and T. Uno and H. Yoda and T. Goto and K. Takeyasu
An Intelligent Robot with Cognition and Decision-Making Ability
@inproceedings{Ejiri:71IJ,
  AUTHOR = {M. Ejiri and T. Uno and H. Yoda and T. Goto and K. Takeyasu},
  TITLE = {An Intelligent Robot with Cognition and Decision-Making Ability},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {350-358},
  KEYWORDS = {}}

J. Feldman and K. Pingle and T. Binford and G. Falk and A. Kay and R. Paul and R. Sproull and J. Tenenbaum
The Use of Vision and Manipulation to Solve the ``Instant Insanity'' Puzzle
@inproceedings{Feldman:71IJb,
  AUTHOR = {J. Feldman and K. Pingle and T. Binford and G. Falk and A. Kay and R. Paul and R. Sproull and J. Tenenbaum},
  TITLE = {The Use of Vision and Manipulation to Solve the ``Instant Insanity'' Puzzle},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {359-364},
  KEYWORDS = {}}

S. Aida and L. Cordella and N. Ivacevic
Visual-Tactile Symbiotic System for Stereometric Pattern Recognition
@inproceedings{Aida:71IJ,
  AUTHOR = {S. Aida and L. Cordella and N. Ivacevic},
  TITLE = {Visual-Tactile Symbiotic System for Stereometric Pattern Recognition},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {365-375},
  KEYWORDS = {}}

G. Kinoshita and S. Aida and M. Mori
Pattern Recognition by an Artificial Tactile Sense
@inproceedings{Kinoshita:71IJ,
  AUTHOR = {G. Kinoshita and S. Aida and M. Mori},
  TITLE = {Pattern Recognition by an Artificial Tactile Sense},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {376-384},
  KEYWORDS = {}}

R. Paul
Trajectory Control of a Computer Arm
@inproceedings{Paul71IJ,
  AUTHOR = {R. Paul},
  TITLE = {Trajectory Control of a Computer Arm},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {385-390},
  KEYWORDS = {}}

J. C. Simon and C. Roche
Application of Questionnaire Theory to Pattern Recognition
@inproceedings{Simon:71IJb,
  AUTHOR = {J. C. Simon and C. Roche},
  TITLE = {Application of Questionnaire Theory to Pattern Recognition},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {391-401},
  KEYWORDS = {}}

A. N. Radchenko
Pattern Recognition by Quasi-Linguistic Translation into Artificial Noise-Resistant Language
@inproceedings{Radchenko71IJ,
  AUTHOR = {A. N. Radchenko},
  TITLE = {Pattern Recognition by Quasi-Linguistic Translation into Artificial Noise-Resistant Language},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {402-410},
  KEYWORDS = {}}

W. L. G. Koontz and K. Fukunaga
A Nonparametric Valley-Seeking Technique for Cluster Analysis
@inproceedings{Koontz:71IJ,
  AUTHOR = {W. L. G. Koontz and K. Fukunaga},
  TITLE = {A Nonparametric Valley-Seeking Technique for Cluster Analysis},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {411-417},
  KEYWORDS = {}}

G. S. Lbov
Training for Extremum Determination of Function of Variables Measured in Names Scale
@inproceedings{Lbov71IJ,
  AUTHOR = {G. S. Lbov},
  TITLE = {Training for Extremum Determination of Function of Variables Measured in Names Scale},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {418-423},
  KEYWORDS = {}}

S. Tomita and S. Noguchi
On the Clasification of Patterns by the Karhunen-Loeve Orthogonal System without Supervisor
@inproceedings{Tomita:71IJ,
  AUTHOR = {S. Tomita and S. Noguchi},
  TITLE = {On the Clasification of Patterns by the Karhunen-Loeve Orthogonal System without Supervisor},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {424-428},
  KEYWORDS = {}}

R. M. Kaplan
Augmented Transition Networks as Psychological Models of Sentence Comprehension
@inproceedings{Kaplan71IJ,
  AUTHOR = {R. M. Kaplan},
  TITLE = {Augmented Transition Networks as Psychological Models of Sentence Comprehension},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {429-443},
  KEYWORDS = {}}

R. C. Schank
Finding the Conceptual Content and Intention in an Utterance in Natural Language Conversation
@inproceedings{Schank71IJ,
  AUTHOR = {R. C. Schank},
  TITLE = {Finding the Conceptual Content and Intention in an Utterance in Natural Language Conversation},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {444-454},
  KEYWORDS = {}}

J. P. Gelb
Experiments with a Natural Language Problem-Solving System
@inproceedings{Gelb71IJ,
  AUTHOR = {J. P. Gelb},
  TITLE = {Experiments with a Natural Language Problem-Solving System},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {455-462},
  KEYWORDS = {}}

S. Ramani
A Language Based Problem-Solver
@inproceedings{Ramani71IJ,
  AUTHOR = {S. Ramani},
  TITLE = {A Language Based Problem-Solver},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {463-473},
  KEYWORDS = {}}

T. W. Pratt
Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases
@inproceedings{Pratt71IJ,
  AUTHOR = {T. W. Pratt},
  TITLE = {Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {474-480},
  KEYWORDS = {}}

R. Milner
An Algebraic Definition of Simulation between Programs
@inproceedings{Milner71IJ,
  AUTHOR = {R. Milner},
  TITLE = {An Algebraic Definition of Simulation between Programs},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {481-489},
  KEYWORDS = {}}

P. Henderson
Derived Semantics for Some Programming Language Constructs
@inproceedings{Henderson71IJ,
  AUTHOR = {P. Henderson},
  TITLE = {Derived Semantics for Some Programming Language Constructs},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {490-496},
  KEYWORDS = {}}

H. Seki
Improvement of Marko's Model toward the Inter-Locutional Communication Theory
@inproceedings{Seki71IJ,
  AUTHOR = {H. Seki},
  TITLE = {Improvement of Marko's Model toward the Inter-Locutional Communication Theory},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {497-503},
  KEYWORDS = {}}

D. C. Rine
Large Systems and their Regular Expressions: An Approach to Pattern Recognition
@inproceedings{Rine71IJ,
  AUTHOR = {D. C. Rine},
  TITLE = {Large Systems and their Regular Expressions: An Approach to Pattern Recognition},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {504-511},
  KEYWORDS = {}}

S. C. Shapiro
A Net Structure for Semantic Information Storage, Deduction and Retrieval
@inproceedings{Shapiro71IJ,
  AUTHOR = {S. C. Shapiro},
  TITLE = {A Net Structure for Semantic Information Storage, Deduction and Retrieval},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {512-523},
  KEYWORDS = {}}

R. F. Simmons and B. C. Bruce
Some Relations between Predicate Calculus and Semantic Net Representations of Discourse
@inproceedings{Simmons:71IJ,
  AUTHOR = {R. F. Simmons and B. C. Bruce},
  TITLE = {Some Relations between Predicate Calculus and Semantic Net Representations of Discourse},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {524-530},
  KEYWORDS = {}}

N. V. Findler and D. Chen
On the Problems of Time, Retrieval of Temporal Relations, Causality, and Co-Existence
@inproceedings{Findler:71IJ,
  AUTHOR = {N. V. Findler and D. Chen},
  TITLE = {On the Problems of Time, Retrieval of Temporal Relations, Causality, and Co-Existence},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {531-545},
  KEYWORDS = {}}

S. Crespi-Reghizzi
Reduction of Enumeration in Grammar Acquisition
@inproceedings{Crespi-Reghizzi71IJ,
  AUTHOR = {S. Crespi-Reghizzi},
  TITLE = {Reduction of Enumeration in Grammar Acquisition},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {546-552},
  KEYWORDS = {}}

L. Hodes
Solving Problems by Formula Manipulation in Logic and Linear Inequalities
@inproceedings{Hodes71IJ,
  AUTHOR = {L. Hodes},
  TITLE = {Solving Problems by Formula Manipulation in Logic and Linear Inequalities},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {553-559},
  KEYWORDS = {}}

R. C. T. Lee
Fuzzy Logic and the Resolution Principle
@inproceedings{Lee71IJ,
  AUTHOR = {R. C. T. Lee},
  TITLE = {Fuzzy Logic and the Resolution Principle},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {560-567},
  KEYWORDS = {}}

R. E. Kling
A Paradigm for Reasoning by Analogy
@inproceedings{Kling71IJ,
  AUTHOR = {R. E. Kling},
  TITLE = {A Paradigm for Reasoning by Analogy},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {568-585},
  KEYWORDS = {}}

W. W. Bledsoe and R. S. Boyer and W. H. Henneman
Computer Proofs of Limit Theorems
@inproceedings{Bledsoe:71IJ,
  AUTHOR = {W. W. Bledsoe and R. S. Boyer and W. H. Henneman},
  TITLE = {Computer Proofs of Limit Theorems},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {586-600},
  KEYWORDS = {}}

L. Siklossy and V. Marinov
Heuristic Search vs. Exhaustive Search
@inproceedings{Siklossy:71IJ,
  AUTHOR = {L. Siklossy and V. Marinov},
  TITLE = {Heuristic Search vs. Exhaustive Search},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {601-607},
  KEYWORDS = {}}

R. E. Fikes and N. J. Nilsson
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
@inproceedings{Fikes:71IJ,
  AUTHOR = {R. E. Fikes and N. J. Nilsson},
  TITLE = {STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {608-620},
  KEYWORDS = {}}

P. Freeman and A. Newell
A Model for Functional Reasoning in Design
@inproceedings{Freeman:71IJ,
  AUTHOR = {P. Freeman and A. Newell},
  TITLE = {A Model for Functional Reasoning in Design},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {621-640},
  KEYWORDS = {}}

P. A. V. Hall
Branch-and-Bound and Beyond
@inproceedings{Hall71IJ,
  AUTHOR = {P. A. V. Hall},
  TITLE = {Branch-and-Bound and Beyond},
  YEAR = 1971,
  BOOKTITLE = {Proc. of the 2nd IJCAI},
  ADDRESS = "London, UK",
  PAGES = {641-650},
  KEYWORDS = {}}



Gerd Herzog
Last update: Mon Jan 20 10:35:01 MET 1997

Send comments to herzog@acm.org