. German Research Center for Artificial Intelligence GmbH


LIDOS BibTeX Database File
ijcai75.bib

M. Aiello and R. Weyhrauch
Checking Proofs in the Metamathematics of First Order Logic

@inproceedings{Aiello:75IJ,
  AUTHOR = {M. Aiello and R. Weyhrauch},
  TITLE = {Checking Proofs in the Metamathematics of First Order Logic},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {1-8},
  KEYWORDS = {infer}}

H. Andreka and T. Gergely and I. Nemeti
On the Role of Mathematical Language Concept in the Theory of Intelligent Systems
@inproceedings{Andreka:75IJa,
  AUTHOR = {H. Andreka and T. Gergely and I. Nemeti},
  TITLE = {On the Role of Mathematical Language Concept in the Theory of Intelligent Systems},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {9-14},
  KEYWORDS = {infer}}

W. W. Bledsoe
A New Method for Proving Certain Presburger Formulas
@inproceedings{Bledsoe75IJ,
  AUTHOR = {W. W. Bledsoe},
  TITLE = {A New Method for Proving Certain Presburger Formulas},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {15-21},
  KEYWORDS = {infer}}

A. Bundy
Analysing Mathematical Proofs (Or Reading between the Lines)
@inproceedings{Bundy75IJ,
  AUTHOR = {A. Bundy},
  TITLE = {Analysing Mathematical Proofs (Or Reading between the Lines)},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {22-28},
  KEYWORDS = {infer}}

P. Florath
On Methods to Decide Solvability of Transformation Problems
@inproceedings{Florath75IJ,
  AUTHOR = {P. Florath},
  TITLE = {On Methods to Decide Solvability of Transformation Problems},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {29-33},
  KEYWORDS = {infer}}

J. R. Geiser
Commenting Proofs
@inproceedings{Geiser75IJ,
  AUTHOR = {J. R. Geiser},
  TITLE = {Commenting Proofs},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {34-39},
  KEYWORDS = {infer}}

H. Andreka and T. Gergely and I. Nemeti
Definition Theory as Basis for a Creative Problem Solver
@inproceedings{Andreka:75IJb,
  AUTHOR = {H. Andreka and T. Gergely and I. Nemeti},
  TITLE = {Definition Theory as Basis for a Creative Problem Solver},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {40-45},
  KEYWORDS = {infer}}

L. J. Henschen
Semantic Resolution for Horn Sets
@inproceedings{Henschen75IJ,
  AUTHOR = {L. J. Henschen},
  TITLE = {Semantic Resolution for Horn Sets},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {46-52},
  KEYWORDS = {infer}}

I. Kramosil
A Note on Deduction Rules with Negative Premises
@inproceedings{Kramosil75IJ,
  AUTHOR = {I. Kramosil},
  TITLE = {A Note on Deduction Rules with Negative Premises},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {53-56},
  KEYWORDS = {infer}}

T. Nishimura and M. Nakanishi and M. Nagata and Y. Iwamaru
Gentzen-Type Formal System Representing Properties of Function and its Implementation
@inproceedings{Nishimura:75IJ,
  AUTHOR = {T. Nishimura and M. Nakanishi and M. Nagata and Y. Iwamaru},
  TITLE = {Gentzen-Type Formal System Representing Properties of Function and its Implementation},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {57-64},
  KEYWORDS = {infer}}

D. A. Pospelov
Semiotic Models in Artificial Intelligence Problems
@inproceedings{Pospelov75IJ,
  AUTHOR = {D. A. Pospelov},
  TITLE = {Semiotic Models in Artificial Intelligence Problems},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {65-70},
  KEYWORDS = {infer}}

M. E. Stickel
A Complete Unification Algorithm for Associative-Commutative Functions
@inproceedings{Stickel75IJ,
  AUTHOR = {M. E. Stickel},
  TITLE = {A Complete Unification Algorithm for Associative-Commutative Functions},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {71-76},
  KEYWORDS = {infer}}

J. van Vaalen
An Extension of Unification to Substitutions with an Application to Automatic Theorem Proving
@inproceedings{Vaalen75IJ,
  AUTHOR = {J. van Vaalen},
  TITLE = {An Extension of Unification to Substitutions with an Application to Automatic Theorem Proving},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {77-82},
  KEYWORDS = {infer}}

N. Cercone and L. Schubert
Toward a State Based Conceptual Representation
@inproceedings{Cercone:75IJ,
  AUTHOR = {N. Cercone and L. Schubert},
  TITLE = {Toward a State Based Conceptual Representation},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {83-90},
  KEYWORDS = {know-repr}}

E. Charniak
A Partial Taxonomy of Knowledge about Actions
@inproceedings{Charniak75IJ,
  AUTHOR = {E. Charniak},
  TITLE = {A Partial Taxonomy of Knowledge about Actions},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {91-98},
  KEYWORDS = {know-repr}}

R. E. Fikes
Deductive Retrieval Mechanisms for State Description Models
@inproceedings{Fikes75IJ,
  AUTHOR = {R. E. Fikes},
  TITLE = {Deductive Retrieval Mechanisms for State Description Models},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {99-106},
  KEYWORDS = {know-repr}}

L. Hawkinson
The Representation of Concepts in OWL
@inproceedings{Hawkinson75IJ,
  AUTHOR = {L. Hawkinson},
  TITLE = {The Representation of Concepts in OWL},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {107-114},
  KEYWORDS = {know-repr}}

G. G. Hendrix
Expanding the Utility of Semantic Networks through Partitioning
@inproceedings{Hendrix75IJ,
  AUTHOR = {G. G. Hendrix},
  TITLE = {Expanding the Utility of Semantic Networks through Partitioning},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {115-121},
  KEYWORDS = {know-repr}}

J H. Laubsch
Some Thoughts about Representing Knowledge in Instructional Systems
@inproceedings{Laubsch75IJ,
  AUTHOR = {{J H}. Laubsch},
  TITLE = {Some Thoughts about Representing Knowledge in Instructional Systems},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {122-125},
  KEYWORDS = {know-repr}}

D. B. Lenat
Beings: Knowledge as Interacting Experts
@inproceedings{Lenat75IJ,
  AUTHOR = {D. B. Lenat},
  TITLE = {Beings: Knowledge as Interacting Experts},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {126-133},
  KEYWORDS = {know-repr}}

J. Mylopoulos and P. Cohen and A. Borgida and L. Sugar
Semantic Networks and the Generation of Context
@inproceedings{Mylopoulos:75IJa,
  AUTHOR = {J. Mylopoulos and P. Cohen and A. Borgida and L. Sugar},
  TITLE = {Semantic Networks and the Generation of Context},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {134-142},
  KEYWORDS = {know-repr}}

C. Rieger
Conceptual Overlays: A Mechanism for the Interpretation of Sentence Meaning in Context
@inproceedings{Rieger75IJ,
  AUTHOR = {C. Rieger},
  TITLE = {Conceptual Overlays: A Mechanism for the Interpretation of Sentence Meaning in Context},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {143-150},
  KEYWORDS = {know-repr}}

R. C. Schank and R. P. Abelson
Scripts, Plans, and Knowledge
@inproceedings{Schank:75IJ,
  AUTHOR = {R. C. Schank and R. P. Abelson},
  TITLE = {Scripts, Plans, and Knowledge},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {151-157},
  KEYWORDS = {know-repr, n-l-p, stories}}

L. K. Schubert
Extending the Expressive Power of Semantic Networks
@inproceedings{Schubert75IJ,
  AUTHOR = {L. K. Schubert},
  TITLE = {Extending the Expressive Power of Semantic Networks},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {158-164},
  KEYWORDS = {know-repr}}

M. N. Weinzweig
Association Memory Model Using the Notion of ``Importance''
@inproceedings{Weinzweig75IJ,
  AUTHOR = {M. N. Weinzweig},
  TITLE = {Association Memory Model Using the Notion of ``Importance''},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {165-168},
  KEYWORDS = {know-repr}}

R. T. Chien and S. Weissman
Planning and Execution in Incompletely Specified Environments
@inproceedings{Chien:75IJc,
  AUTHOR = {R. T. Chien and S. Weissman},
  TITLE = {Planning and Execution in Incompletely Specified Environments},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {169-174},
  KEYWORDS = {plans}}

I. P. Goldstein
Bargaining between Goals
@inproceedings{Goldstein75IJ,
  AUTHOR = {I. P. Goldstein},
  TITLE = {Bargaining between Goals},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {175-180},
  KEYWORDS = {plans}}

P. J. Hayes
A Representation for Robot Plans
@inproceedings{Hayes75IJ,
  AUTHOR = {P. J. Hayes},
  TITLE = {A Representation for Robot Plans},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {181-188},
  KEYWORDS = {plans}}

C. Hewitt
How to Use What You Know
@inproceedings{Hewitt75IJ,
  AUTHOR = {C. Hewitt},
  TITLE = {How to Use What You Know},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {189-198},
  KEYWORDS = {plans}}

E. S. Kuzin and G. E. Pozdnyak and I. B. Fominykh
Planning the Activity of Robot with Artificial Intelligence
@inproceedings{Kuzin:75IJ,
  AUTHOR = {E. S. Kuzin and G. E. Pozdnyak and I. B. Fominykh},
  TITLE = {Planning the Activity of Robot with Artificial Intelligence},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {199-205},
  KEYWORDS = {plans}}

E. D. Sacerdoti
The Nonlinear Nature of Plans
@inproceedings{Sacerdoti75IJ,
  AUTHOR = {E. D. Sacerdoti},
  TITLE = {The Nonlinear Nature of Plans},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {206-214},
  KEYWORDS = {plans}}

A. Tate
Interacting Goals and their Use
@inproceedings{Tate75IJ,
  AUTHOR = {A. Tate},
  TITLE = {Interacting Goals and their Use},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {215-218},
  KEYWORDS = {plans}}

N. G. Zagoruiko
Empirical Prediction Algorithm
@inproceedings{Zagoruiko75IJ,
  AUTHOR = {N. G. Zagoruiko},
  TITLE = {Empirical Prediction Algorithm},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {219-222},
  KEYWORDS = {plans}}

V. M. Akhutin and M. O. Ioffe and G. M. Kotler and A. Y. Rats
Application of Methods of Adaptive Learning to the Problem of Automatic Decision Making under the Conditions of a Priori Uncertainty
@inproceedings{Akhutin:75IJ,
  AUTHOR = {V. M. Akhutin and M. O. Ioffe and G. M. Kotler and A. Y. Rats},
  TITLE = {Application of Methods of Adaptive Learning to the Problem of Automatic Decision Making under the Conditions of a Priori Uncertainty},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {223-225},
  KEYWORDS = {know-acq}}

M. A. Bauer
A Basis for the Acquisition of Procedures from Protocols
@inproceedings{Bauer75IJ,
  AUTHOR = {M. A. Bauer},
  TITLE = {A Basis for the Acquisition of Procedures from Protocols},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {226-231},
  KEYWORDS = {know-acq}}

C. Green and D. Barstow
Some Rules for the Automatic Synthesis of Programs
@inproceedings{Green:75IJ,
  AUTHOR = {C. Green and D. Barstow},
  TITLE = {Some Rules for the Automatic Synthesis of Programs},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {232-239},
  KEYWORDS = {know-acq}}

S. Hardy
Synthesis of LISP Functions from Examples
@inproceedings{Hardy75IJ,
  AUTHOR = {S. Hardy},
  TITLE = {Synthesis of LISP Functions from Examples},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {240-245},
  KEYWORDS = {know-acq}}

F. Hayes-Roth and D. J. Mostow
An Automatically Compilable Recognition Network for Structured Patterns
@inproceedings{Hayes-Roth:75IJ,
  AUTHOR = {F. Hayes-Roth and D. J. Mostow},
  TITLE = {An Automatically Compilable Recognition Network for Structured Patterns},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {246-252},
  KEYWORDS = {know-acq}}

J. Knapman
Some Principles of Artificial Learning that Have Emerged from Examples
@inproceedings{Knapman75IJ,
  AUTHOR = {J. Knapman},
  TITLE = {Some Principles of Artificial Learning that Have Emerged from Examples},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {253-259},
  KEYWORDS = {know-acq}}

D. E. Shaw and W. R. Swartout and C. C. Green
Inferring LISP Programs from Examples
@inproceedings{Shaw:75IJ,
  AUTHOR = {D. E. Shaw and W. R. Swartout and C. C. Green},
  TITLE = {Inferring LISP Programs from Examples},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {260-267},
  KEYWORDS = {know-acq}}

L. Siklossy and D. A. Sykes
Automatic Program Synthesis from Example Problems
@inproceedings{Siklossy:75IJ,
  AUTHOR = {L. Siklossy and D. A. Sykes},
  TITLE = {Automatic Program Synthesis from Example Problems},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {268-273},
  KEYWORDS = {know-acq}}

R. J. Solomonoff
Inductive Inference Theory: A Unified Approach to Problems in Pattern Recognition and Artificial Intelligence
@inproceedings{Solomonoff75IJ,
  AUTHOR = {R. J. Solomonoff},
  TITLE = {Inductive Inference Theory: A Unified Approach to Problems in Pattern Recognition and Artificial Intelligence},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {274-280},
  KEYWORDS = {know-acq}}

S. A. Vere
Induction of Concepts in the Predicate Calculus
@inproceedings{Vere75IJ,
  AUTHOR = {S. A. Vere},
  TITLE = {Induction of Concepts in the Predicate Calculus},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {281-287},
  KEYWORDS = {know-acq}}

Z. Manna and R. Waldinger
Knowledge and Reasoning in Program Synthesis
@inproceedings{Manna:75IJ,
  AUTHOR = {Z. Manna and R. Waldinger},
  TITLE = {Knowledge and Reasoning in Program Synthesis},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {288-295},
  KEYWORDS = {know-acq}}

D. A. Waterman
Adaptive Production Systems
@inproceedings{Waterman75IJ,
  AUTHOR = {D. A. Waterman},
  TITLE = {Adaptive Production Systems},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {296-303},
  KEYWORDS = {know-acq}}

G. M. Adelson-Velskiy and V. L. Arlasarov and M. V. Donskoy
On the Structure of an Important Class of Exhaustive Problems and on Ways of Search Reduction for Them
@inproceedings{Adelson-Velskiy:75IJ,
  AUTHOR = {G. M. Adelson-Velskiy and V. L. Arlasarov and M. V. Donskoy},
  TITLE = {On the Structure of an Important Class of Exhaustive Problems and on Ways of Search Reduction for Them},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {304-308},
  KEYWORDS = {search}}

D. de Champeaux and L. Sint
An Improved Bi-Directional Heuristic Search Algorithm
@inproceedings{Champeaux:75IJ,
  AUTHOR = {D. de Champeaux and L. Sint},
  TITLE = {An Improved Bi-Directional Heuristic Search Algorithm},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {309-314},
  KEYWORDS = {search}}

T. Furugori
Knowledge and its Use in a Program for Going from One Place to Another
@inproceedings{Furugori75IJ,
  AUTHOR = {T. Furugori},
  TITLE = {Knowledge and its Use in a Program for Going from One Place to Another},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {315-320},
  KEYWORDS = {search}}

M. G. Gaaze-Rapoport and V. N. Zakharov and D. A. Pospelov
The Influence of Nonuniformity in the Models of Automata Collective Behaviour
@inproceedings{Gaaze-Rapoport:75IJ,
  AUTHOR = {M. G. Gaaze-Rapoport and V. N. Zakharov and D. A. Pospelov},
  TITLE = {The Influence of Nonuniformity in the Models of Automata Collective Behaviour},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {321-327},
  KEYWORDS = {search}}

H. Hagendorf and W. Kolbe and E. Sommerfeld
About the Solution of Combinatorical Problems with Problem Solving Methods
@inproceedings{Hagendorf:75IJ,
  AUTHOR = {H. Hagendorf and W. Kolbe and E. Sommerfeld},
  TITLE = {About the Solution of Combinatorical Problems with Problem Solving Methods},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {328-333},
  KEYWORDS = {search}}

L. R. Harris
The Heuristic Search and the Game of Chess: A Study of Quiescence, Sacrifices, and Plan Oriented Play
@inproceedings{Harris75IJ,
  AUTHOR = {L. R. Harris},
  TITLE = {The Heuristic Search and the Game of Chess: A Study of Quiescence, Sacrifices, and Plan Oriented Play},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {334-339},
  KEYWORDS = {search}}

G. Levi and F. Sirovich
A Problem Reduction Model for Non Independent Subproblems
@inproceedings{Levi:75IJ,
  AUTHOR = {G. Levi and F. Sirovich},
  TITLE = {A Problem Reduction Model for Non Independent Subproblems},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {340-344},
  KEYWORDS = {search}}

A. Martelli and U. Montanari
From Dynamic Programming to Search Algorithms with Functional Costs
@inproceedings{Martelli:75IJ,
  AUTHOR = {A. Martelli and U. Montanari},
  TITLE = {From Dynamic Programming to Search Algorithms with Functional Costs},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {345-350},
  KEYWORDS = {search}}

C. G. Morgan
Automated Hypothesis Generation Using Extended Inductive Resolution
@inproceedings{Morgan75IJ,
  AUTHOR = {C. G. Morgan},
  TITLE = {Automated Hypothesis Generation Using Extended Inductive Resolution},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {351-356},
  KEYWORDS = {search}}

V. M. Ozernoi and M. G. Gaft
Method for the Best Solutions Search in Multiobjective Decision Problems
@inproceedings{Ozernoi:75IJ,
  AUTHOR = {V. M. Ozernoi and M. G. Gaft},
  TITLE = {Method for the Best Solutions Search in Multiobjective Decision Problems},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {357-362},
  KEYWORDS = {search}}

J. R. Quinlan
Predicting the Length of Solutions to Problems
@inproceedings{Quinlan75IJ,
  AUTHOR = {J. R. Quinlan},
  TITLE = {Predicting the Length of Solutions to Problems},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {363-369},
  KEYWORDS = {search}}

L. A. Rastrigin and R. H. Erenshtein
A Collective of Algorithms
@inproceedings{Rastrigin:75IJ,
  AUTHOR = {L. A. Rastrigin and R. H. Erenshtein},
  TITLE = {A Collective of Algorithms},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {370-373},
  KEYWORDS = {search}}

A. M. Stanier
BRIBIP: A Bridge Bidding Program
@inproceedings{Stanier75IJ,
  AUTHOR = {A. M. Stanier},
  TITLE = {BRIBIP: A Bridge Bidding Program},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {374-378},
  KEYWORDS = {search}}

J. S. Bien
Toward a Multiple Environments Model of Natural Language
@inproceedings{Bien75IJ,
  AUTHOR = {J. S. Bien},
  TITLE = {Toward a Multiple Environments Model of Natural Language},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {379-382},
  KEYWORDS = {n-l-p, ling}}

C. L. Bullwinkle
Picnics, Kittens and Wigs: Using Scenarios for the Sentence Completion Task
@inproceedings{Bullwinkle75IJ,
  AUTHOR = {C. L. Bullwinkle},
  TITLE = {Picnics, Kittens and Wigs: Using Scenarios for the Sentence Completion Task},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {383-386},
  KEYWORDS = {n-l-p, ling}}

A. P. Ershov and I. A. Mel'chuk and A. S. Nariniany
RITA: An Experimental Man-Computer System on a Natural language Basis
@inproceedings{Ershov:75IJ,
  AUTHOR = {A. P. Ershov and I. A. Mel'chuk and A. S. Nariniany},
  TITLE = {RITA: An Experimental Man-Computer System on a Natural language Basis},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {387-390},
  KEYWORDS = {n-l-p, ling}}

R. O. Hart and E. B. Koffman
A Student-Oriented Natural Language Environment for Learning LISP
@inproceedings{Hart:75IJ,
  AUTHOR = {R. O. Hart and E. B. Koffman},
  TITLE = {A Student-Oriented Natural Language Environment for Learning LISP},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {391-396},
  KEYWORDS = {n-l-p, ling}}

M. G. Malkovsky
TULIPS: Teachable, Understanding Natural Language Input Problem-Solver
@inproceedings{Malkovsky75IJ,
  AUTHOR = {M. G. Malkovsky},
  TITLE = {TULIPS: Teachable, Understanding Natural Language Input Problem-Solver},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {397-400},
  KEYWORDS = {n-l-p, ling}}

D. McDonald
Preliminary Report on a Program for Generating Natural Language
@inproceedings{McDonald75IJ,
  AUTHOR = {D. McDonald},
  TITLE = {Preliminary Report on a Program for Generating Natural Language},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {401-405},
  KEYWORDS = {n-l-p, ling}}

P. L. Miller
An Adaptive Natural Language System That Listens, Asks, and Learns
@inproceedings{Miller75IJ,
  AUTHOR = {P. L. Miller},
  TITLE = {An Adaptive Natural Language System That Listens, Asks, and Learns},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {406-413},
  KEYWORDS = {n-l-p, ling}}

J. Mylopoulos and A. Borgida and P. Cohen and N. Roussopoulos and J. Tsotsos and H. Wong
TORUS: A Natural Language Understanding System for Data Management
@inproceedings{Mylopoulos:75IJb,
  AUTHOR = {J. Mylopoulos and A. Borgida and P. Cohen and N. Roussopoulos and J. Tsotsos and H. Wong},
  TITLE = {TORUS: A Natural Language Understanding System for Data Management},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {414-421},
  KEYWORDS = {n-l-p, ling}}

V. R. Pratt
LINGOL: A Progress Report
@inproceedings{Pratt75IJ,
  AUTHOR = {V. R. Pratt},
  TITLE = {LINGOL: A Progress Report},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {422-428},
  KEYWORDS = {n-l-p, ling}}

C. Schwind
Generating Hierarchical Semantic Networks from Natural Language Discourse
@inproceedings{Schwind75IJ,
  AUTHOR = {C. Schwind},
  TITLE = {Generating Hierarchical Semantic Networks from Natural Language Discourse},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {429-434},
  KEYWORDS = {n-l-p, ling}}

G. W. Scragg
Answering Process Questions
@inproceedings{Scragg75IJ,
  AUTHOR = {G. W. Scragg},
  TITLE = {Answering Process Questions},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {435-442},
  KEYWORDS = {n-l-p, ling}}

P. Sgall and E. Hajicova
Nagation and Focus in Man-Machine Communication
@inproceedings{Sgall:75IJ,
  AUTHOR = {P. Sgall and E. Hajicova},
  TITLE = {Nagation and Focus in Man-Machine Communication},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {443-448},
  KEYWORDS = {n-l-p, ling}}

S. Yoshida
On the System of Concepts Relations and Outline of the Natural Language System
@inproceedings{Yoshida75IJ,
  AUTHOR = {S. Yoshida},
  TITLE = {On the System of Concepts Relations and Outline of the Natural Language System},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {449-454},
  KEYWORDS = {n-l-p, ling}}

J. F. Allen
A Speech Understanding System Based upon a Co-Routine Parser
@inproceedings{Allen75IJ,
  AUTHOR = {J. F. Allen},
  TITLE = {A Speech Understanding System Based upon a Co-Routine Parser},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {455-460},
  KEYWORDS = {n-l-p, ling}}

B. Bruce
Pragmatics in Speech Understanding
@inproceedings{Bruce75IJ,
  AUTHOR = {B. Bruce},
  TITLE = {Pragmatics in Speech Understanding},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {461-467},
  KEYWORDS = {n-l-p, ling}}

R. DeMori and S. Rivoira and A. Serra
A Speech Understanding Systam with Learning Capability
@inproceedings{DeMori:75IJ,
  AUTHOR = {R. DeMori and S. Rivoira and A. Serra},
  TITLE = {A Speech Understanding Systam with Learning Capability},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {468-475},
  KEYWORDS = {n-l-p, ling}}

A. Dziurnikowski
Microphonemes as Fundamental Segments of Speech Wave Primary Segmentation-Automatic Searching for Microphonemes
@inproceedings{Dziurnikowski75IJ,
  AUTHOR = {A. Dziurnikowski},
  TITLE = {Microphonemes as Fundamental Segments of Speech Wave Primary Segmentation-Automatic Searching for Microphonemes},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {476-482},
  KEYWORDS = {n-l-p, ling}}

L. D. Erman and V. R. Lesser
A Multi-Level Organization for Problem Solving Using Many, Diverse, Cooperating Sources of Knowledge
@inproceedings{Erman:75IJ,
  AUTHOR = {L. D. Erman and V. R. Lesser},
  TITLE = {A Multi-Level Organization for Problem Solving Using Many, Diverse, Cooperating Sources of Knowledge},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {483-490},
  KEYWORDS = {n-l-p, ling}}

W. J. Hess
Time-Domain, Digital Segmentation of Connected Natural Speech
@inproceedings{Hess75IJ,
  AUTHOR = {W. J. Hess},
  TITLE = {Time-Domain, Digital Segmentation of Connected Natural Speech},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {491-498},
  KEYWORDS = {n-l-p, ling}}

S. E. Levinson
The Vocal Speech Understanding System
@inproceedings{Levinson75IJ,
  AUTHOR = {S. E. Levinson},
  TITLE = {The Vocal Speech Understanding System},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {499-505},
  KEYWORDS = {n-l-p, ling}}

K. Shirai
Feature Extraction and Sentence Recognition Algorithm in Speech Input System
@inproceedings{Shirai75IJa,
  AUTHOR = {K. Shirai},
  TITLE = {Feature Extraction and Sentence Recognition Algorithm in Speech Input System},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {506-513},
  KEYWORDS = {n-l-p, ling}}

V. M. Briabrin and V. A. Serebriakov and V. M. Yufa
LORD: LISP-Oriented Resolver and Data-Base
@inproceedings{Briabrin:75IJ,
  AUTHOR = {V. M. Briabrin and V. A. Serebriakov and V. M. Yufa},
  TITLE = {LORD: LISP-Oriented Resolver and Data-Base},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {514-520},
  KEYWORDS = {applic}}

R. Gerritsen
The Application of Artificial Intelligence to Data Base Management
@inproceedings{Gerritsen75IJ,
  AUTHOR = {R. Gerritsen},
  TITLE = {The Application of Artificial Intelligence to Data Base Management},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {521-527},
  KEYWORDS = {applic}}

W. D. Haseman and A. B. Whinston
Problem Solving Approach in Data Management
@inproceedings{Haseman:75IJ,
  AUTHOR = {W. D. Haseman and A. B. Whinston},
  TITLE = {Problem Solving Approach in Data Management},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {528-533},
  KEYWORDS = {applic}}

A. G. Hill and H. R. A. Townsend
Deadlock-Free Parallel Processing
@inproceedings{Hill:75IJ,
  AUTHOR = {A. G. Hill and H. R. A. Townsend},
  TITLE = {Deadlock-Free Parallel Processing},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {534-537},
  KEYWORDS = {applic}}

V. S. Lozovsky
Some Considerations Concerning the Problem Base of Purposeful Systems
@inproceedings{Lozovsky75IJ,
  AUTHOR = {V. S. Lozovsky},
  TITLE = {Some Considerations Concerning the Problem Base of Purposeful Systems},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {538-541},
  KEYWORDS = {applic}}

P. Medema
A Control Structure for a Question-Answering System
@inproceedings{Medema75IJ,
  AUTHOR = {P. Medema},
  TITLE = {A Control Structure for a Question-Answering System},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {542-548},
  KEYWORDS = {applic}}

L. F. Melli
The 2.PAK Language: Goals and Descriptions
@inproceedings{Melli75IJ,
  AUTHOR = {L. F. Melli},
  TITLE = {The 2.PAK Language: Goals and Descriptions},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {549-555},
  KEYWORDS = {applic}}

C. Montangero and G. Pacini and F. Turini
MAGMA-LISP: A ``Machine-Language'' for Artificial Intelligence
@inproceedings{Montangero:75IJ,
  AUTHOR = {C. Montangero and G. Pacini and F. Turini},
  TITLE = {MAGMA-LISP: A ``Machine-Language'' for Artificial Intelligence},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {556-561},
  KEYWORDS = {applic}}

J. Pearl
On the Storage Economy of Error-Tolerating Question-Answering Systems
@inproceedings{Pearl75IJ,
  AUTHOR = {J. Pearl},
  TITLE = {On the Storage Economy of Error-Tolerating Question-Answering Systems},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {562-568},
  KEYWORDS = {applic}}

G. F. Pfister
The Description and Control of Changing Pictures
@inproceedings{Pfister75IJ,
  AUTHOR = {G. F. Pfister},
  TITLE = {The Description and Control of Changing Pictures},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {569-574},
  KEYWORDS = {applic}}

V. N. Pilshikov
Planner-BESM-6 System: Implementation Methods
@inproceedings{Pilshikov75IJ,
  AUTHOR = {V. N. Pilshikov},
  TITLE = {Planner-BESM-6 System: Implementation Methods},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {575-578},
  KEYWORDS = {applic}}

J. G. Quinton and A. M. Andrew
A Database for A.I.
@inproceedings{Quinton:75IJ,
  AUTHOR = {J. G. Quinton and A. M. Andrew},
  TITLE = {A Database for A.I.},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {579-584},
  KEYWORDS = {applic}}

E. Sandewall
Ideas about Management of LISP Data Bases
@inproceedings{Sandewall75IJ,
  AUTHOR = {E. Sandewall},
  TITLE = {Ideas about Management of LISP Data Bases},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {585-592},
  KEYWORDS = {applic}}

D. Skuce
An English-Like Language for Qualitative Scientific Knowledge
@inproceedings{Skuce75IJ,
  AUTHOR = {D. Skuce},
  TITLE = {An English-Like Language for Qualitative Scientific Knowledge},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {593-600},
  KEYWORDS = {applic}}

S.-A. Tärnlund
An Interpreter for the Programming Language Predicate Logic
@inproceedings{Taernlund75IJ,
  AUTHOR = {S.-A. T\"arnlund},
  TITLE = {An Interpreter for the Programming Language Predicate Logic},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {601-608},
  KEYWORDS = {applic}}

M. Weinstein
Structured Robotics
@inproceedings{Weinstein75IJ,
  AUTHOR = {M. Weinstein},
  TITLE = {Structured Robotics},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {609-615},
  KEYWORDS = {applic}}

M. R. Dunlavey
An Hypothesis-Driven Vision System
@inproceedings{Dunlavey75IJ,
  AUTHOR = {M. R. Dunlavey},
  TITLE = {An Hypothesis-Driven Vision System},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {616-619},
  KEYWORDS = {vision}}

H. Yoda and J. Motoike and M. Ejiri
Direction Coding Method and its Application to Scene Analysis
@inproceedings{Yoda:75IJ,
  AUTHOR = {H. Yoda and J. Motoike and M. Ejiri},
  TITLE = {Direction Coding Method and its Application to Scene Analysis},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {620-627},
  KEYWORDS = {vision}}

V. Gallo
A Program for Geometrical Pattern Recognition Based on the Linguistic Method of the Description and Analysis of Geometrical Structures
@inproceedings{Gallo75IJ,
  AUTHOR = {V. Gallo},
  TITLE = {A Program for Geometrical Pattern Recognition Based on the Linguistic Method of the Description and Analysis of Geometrical Structures},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {628-634},
  KEYWORDS = {vision}}

T. Ito
Color Picture Processing by Computer
@inproceedings{Ito75IJ,
  AUTHOR = {T. Ito},
  TITLE = {Color Picture Processing by Computer},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {635-642},
  KEYWORDS = {vision}}

V. M. Krol and L. I. Tannenholz
The Textural Analysis
@inproceedings{Krol:75IJ,
  AUTHOR = {V. M. Krol and L. I. Tannenholz},
  TITLE = {The Textural Analysis},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {643-636},
  KEYWORDS = {vision}}

O. V. Levashov
On a Possible Mechanism of Binocular Fusion
@inproceedings{Levashov75IJ,
  AUTHOR = {O. V. Levashov},
  TITLE = {On a Possible Mechanism of Binocular Fusion},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {647-649},
  KEYWORDS = {vision}}

L. Mero and Z. Vassy
A Simplified and Fast Version of the Hueckel Operator for Finding Optimal Edges in Pictures
@inproceedings{Mero:75IJ,
  AUTHOR = {L. Mero and Z. Vassy},
  TITLE = {A Simplified and Fast Version of the Hueckel Operator for Finding Optimal Edges in Pictures},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {650-655},
  KEYWORDS = {vision}}

E. L. Morofsky and A. K. C. Wong
Isolating and Identifying Objects in Line Drawings
@inproceedings{Morofsky:75IJ,
  AUTHOR = {E. L. Morofsky and A. K. C. Wong},
  TITLE = {Isolating and Identifying Objects in Line Drawings},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {656-663},
  KEYWORDS = {vision}}

R. J. Popplestone and C. M. Brown and A. P. Ambler and G. F. Crawford
Forming Models of Plane-and-Cylinder Faceted Bodies from Light Stripes
@inproceedings{Popplestone:75IJ,
  AUTHOR = {R. J. Popplestone and C. M. Brown and A. P. Ambler and G. F. Crawford},
  TITLE = {Forming Models of Plane-and-Cylinder Faceted Bodies from Light Stripes},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {664-668},
  KEYWORDS = {vision}}

F. Röcker and A. Kiessling
Methods for Analysing Three Dimensional Scenes
@inproceedings{Roecker:75IJ,
  AUTHOR = {F. R\"ocker and A. Kiessling},
  TITLE = {Methods for Analysing Three Dimensional Scenes},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {669-673},
  KEYWORDS = {vision}}

Y. Shirai
Edge Finding, Segmentation of Edges and Recognition of Complex Objects
@inproceedings{Shirai75IJb,
  AUTHOR = {Y. Shirai},
  TITLE = {Edge Finding, Segmentation of Edges and Recognition of Complex Objects},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {674-681},
  KEYWORDS = {vision}}

J. M. Tenenbaum and S. Weyl
A Region-Analysis Subsystem for Interactive Scene Analysis
@inproceedings{Tenenbaum:75IJ,
  AUTHOR = {J. M. Tenenbaum and S. Weyl},
  TITLE = {A Region-Analysis Subsystem for Interactive Scene Analysis},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {682-687},
  KEYWORDS = {vision}}

H. Wechsler and J. Sklansky
Automatic Detection of Rib Contours in Chest Radiographs
@inproceedings{Wechsler:75IJ,
  AUTHOR = {H. Wechsler and J. Sklansky},
  TITLE = {Automatic Detection of Rib Contours in Chest Radiographs},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {688-694},
  KEYWORDS = {vision}}

Y. Yakimovsky
Boundary and Object Detection in Real World Images
@inproceedings{Yakimovsky75IJ,
  AUTHOR = {Y. Yakimovsky},
  TITLE = {Boundary and Object Detection in Real World Images},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {695-704},
  KEYWORDS = {vision}}

M. G. Yegi and N. V. Zavalishin and R. L. Sheinin
Analysis of Three-Dimensional Scene Images on the Knowledge of their Texture Features
@inproceedings{Yegi:75IJ,
  AUTHOR = {M. G. Yegi and N. V. Zavalishin and R. L. Sheinin},
  TITLE = {Analysis of Three-Dimensional Scene Images on the Knowledge of their Texture Features},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {705-709},
  KEYWORDS = {vision}}

N. V. Zavalishin
Identification of Bodies in a Contour Image of a Three-Dimensional Scene
@inproceedings{Zavalishin75IJ,
  AUTHOR = {N. V. Zavalishin},
  TITLE = {Identification of Bodies in a Contour Image of a Three-Dimensional Scene},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {710-715},
  KEYWORDS = {vision}}

S. W. Zucker and A. Rosenfeld and L. S. Davis
General Purpose Models: Expectations about the Unexpected
@inproceedings{Zucker:75IJ,
  AUTHOR = {S. W. Zucker and A. Rosenfeld and L. S. Davis},
  TITLE = {General Purpose Models: Expectations about the Unexpected},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {716-721},
  KEYWORDS = {vision}}

N. M. Amosov and A. M. Kasatkin and L. M. Kasatkina
Active Semantic Networks in Robots with Independent Control
@inproceedings{Amosov:75IJa,
  AUTHOR = {N. M. Amosov and A. M. Kasatkin and L. M. Kasatkina},
  TITLE = {Active Semantic Networks in Robots with Independent Control},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {722-726},
  KEYWORDS = {vision}}

N. M. Amosov and E. M. Kussul and V. D. Fomenko
Transport Robot with Network Control System
@inproceedings{Amosov:75IJb,
  AUTHOR = {N. M. Amosov and E. M. Kussul and V. D. Fomenko},
  TITLE = {Transport Robot with Network Control System},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {727-730},
  KEYWORDS = {robot}}

V. V. Beletskii and T. S. Kirsanova and P. S. Tchudinov
Walking Control and Dynamics of a Systems with Two Legs
@inproceedings{Beletskii:75IJ,
  AUTHOR = {V. V. Beletskii and T. S. Kirsanova and P. S. Tchudinov},
  TITLE = {Walking Control and Dynamics of a Systems with Two Legs},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {731-736},
  KEYWORDS = {robot}}

R. T. Chien and V. C. Jones
Acquisition of Moving Objects and Hand-Eye Coordination
@inproceedings{Chien:75IJa,
  AUTHOR = {R. T. Chien and V. C. Jones},
  TITLE = {Acquisition of Moving Objects and Hand-Eye Coordination},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {737-741},
  KEYWORDS = {robot}}

R. T. Chien and W. Snyder
Visual Understanding of Hybrid Circuits via Procedural Models
@inproceedings{Chien:75IJb,
  AUTHOR = {R. T. Chien and W. Snyder},
  TITLE = {Visual Understanding of Hybrid Circuits via Procedural Models},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {742-748},
  KEYWORDS = {robot}}

L. S. Coles and A. M. Robb and P. L. Sinclair and M. H. Smith and R. R. Sobek
Decision Analysis for an Experimental Robot with Unreliable Sensors
@inproceedings{Coles:75IJ,
  AUTHOR = {L. S. Coles and A. M. Robb and P. L. Sinclair and M. H. Smith and R. R. Sobek},
  TITLE = {Decision Analysis for an Experimental Robot with Unreliable Sensors},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {749-757},
  KEYWORDS = {robot}}

R. Finkel and R. Taylor and R. Bolles and R. Paul and J. Feldman
An Overview of AL, a Programming System for Automation
@inproceedings{Finkel:75IJ,
  AUTHOR = {R. Finkel and R. Taylor and R. Bolles and R. Paul and J. Feldman},
  TITLE = {An Overview of AL, a Programming System for Automation},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {758-765},
  KEYWORDS = {robot}}

G. Gimelfarb and E. Kushner and V. Rybak
A ``Hand-Eye'' Robot-Simulating System
@inproceedings{Gimelfarb:75IJ,
  AUTHOR = {G. Gimelfarb and E. Kushner and V. Rybak},
  TITLE = {A ``Hand-Eye'' Robot-Simulating System},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {766-770},
  KEYWORDS = {robot}}

V. S. Gurfinkel' and A. Y. Shneider and E. V. Gurfinkel' and E. M. Kanaev and S. V. Fomin
Some Aspects of Sensory Instrumentation for Robots and Manipulators
@inproceedings{Gurfinkel:75IJ,
  AUTHOR = {V. S. Gurfinkel' and A. Y. Shneider and E. V. Gurfinkel' and E. M. Kanaev and S. V. Fomin},
  TITLE = {Some Aspects of Sensory Instrumentation for Robots and Manipulators},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {771-774},
  KEYWORDS = {robot}}

J. A. G. Hale and P. Saraga
Control of a PCB Drilling Machine by Visual Feedback
@inproceedings{Hale:75IJ,
  AUTHOR = {J. A. G. Hale and P. Saraga},
  TITLE = {Control of a PCB Drilling Machine by Visual Feedback},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {775-781},
  KEYWORDS = {robot}}

S. Iwata and S. Ishino and Y. Mishima
Heuristics in the Alloy Designing
@inproceedings{Iwata:75IJ,
  AUTHOR = {S. Iwata and S. Ishino and Y. Mishima},
  TITLE = {Heuristics in the Alloy Designing},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {782-788},
  KEYWORDS = {robot}}

E. I. Kugushev and V. S. Jaroshevskij
Problems of Selecting a Gait for an Integrated Locomotion Robot
@inproceedings{Kugushev:75IJ,
  AUTHOR = {E. I. Kugushev and V. S. Jaroshevskij},
  TITLE = {Problems of Selecting a Gait for an Integrated Locomotion Robot},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {789-793},
  KEYWORDS = {robot}}

A. S. Narinyani and V. P. Pyatkin and P. A. Kim and V. N. Dementyev
Walking Robot: A Non-Deterministic Model of Control
@inproceedings{Narinyani:75IJ,
  AUTHOR = {A. S. Narinyani and V. P. Pyatkin and P. A. Kim and V. N. Dementyev},
  TITLE = {Walking Robot: A Non-Deterministic Model of Control},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {794-797},
  KEYWORDS = {robot}}

D. E. Okhotsimsky and A. K. Platonov
Perceptive Robot Moving in 3D World
@inproceedings{Okhotsimsky:75IJ,
  AUTHOR = {D. E. Okhotsimsky and A. K. Platonov},
  TITLE = {Perceptive Robot Moving in 3D World},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {798-802},
  KEYWORDS = {robot}}

J. L. Potter
Scene Segmentation by Velocity Measurements Obtained with a Cross-Shaped Template
@inproceedings{Potter75IJ,
  AUTHOR = {J. L. Potter},
  TITLE = {Scene Segmentation by Velocity Measurements Obtained with a Cross-Shaped Template},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {803-810},
  KEYWORDS = {robot}}

S. Tsuji and A. Nakamura
Recognition of an Object in a Stack of Industrial Parts
@inproceedings{Tsuji:75IJ,
  AUTHOR = {S. Tsuji and A. Nakamura},
  TITLE = {Recognition of an Object in a Stack of Industrial Parts},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {811-818},
  KEYWORDS = {robot}}

M. Yachida and S. Tsuji
A Machine Vision for Complex Industrial Parts with Learning Capability
@inproceedings{Yachida:75IJ,
  AUTHOR = {M. Yachida and S. Tsuji},
  TITLE = {A Machine Vision for Complex Industrial Parts with Learning Capability},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {819-826},
  KEYWORDS = {robot}}

Y. A. Buchstab and S. S. Kamynin
``Question-Answer'': A Multipurpose Information System
@inproceedings{Buchstab:75IJ,
  AUTHOR = {Y. A. Buchstab and S. S. Kamynin},
  TITLE = {``Question-Answer'': A Multipurpose Information System},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {827-830},
  KEYWORDS = {}}

P. E. Hart
Progress on a Computer Based Consultant
@inproceedings{Hart75IJ,
  AUTHOR = {P. E. Hart},
  TITLE = {Progress on a Computer Based Consultant},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {831-841},
  KEYWORDS = {}}

A. Malhotra
Knowledge-Based English Language Systems for Management Support: An Analysis of Requirements
@inproceedings{Malhotra75IJ,
  AUTHOR = {A. Malhotra},
  TITLE = {Knowledge-Based English Language Systems for Management Support: An Analysis of Requirements},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {842-847},
  KEYWORDS = {}}

H. E. Pople and J. D. Myers and R. A. Miller
DIALOG: A Model of Diagnostic Logic for Internal Medicine
@inproceedings{Pople:75IJ,
  AUTHOR = {H. E. Pople and J. D. Myers and R. A. Miller},
  TITLE = {DIALOG: A Model of Diagnostic Logic for Internal Medicine},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {848-855},
  KEYWORDS = {}}

A. Rubin
The Role of Hypotheses in Medical Diagnosis
@inproceedings{Rubin75IJ,
  AUTHOR = {A. Rubin},
  TITLE = {The Role of Hypotheses in Medical Diagnosis},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {856-862},
  KEYWORDS = {}}

A. M. Tiro
The Use of Informal Calculus in Problems of Artificial Intellect
@inproceedings{Tiro75IJ,
  AUTHOR = {A. M. Tiro},
  TITLE = {The Use of Informal Calculus in Problems of Artificial Intellect},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {863-867},
  KEYWORDS = {}}

D. Waltz
Natural Language Access to a Large Data Base: An Engineering Approach
@inproceedings{Waltz75IJ,
  AUTHOR = {D. Waltz},
  TITLE = {Natural Language Access to a Large Data Base: An Engineering Approach},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {868-872},
  KEYWORDS = {n-l-p}}

R. K. Zaripov
Simulation of Functions of Composer and Musicologist on Electronic Computer
@inproceedings{Zaripov75IJ,
  AUTHOR = {R. K. Zaripov},
  TITLE = {Simulation of Functions of Composer and Musicologist on Electronic Computer},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {873-877},
  KEYWORDS = {n-l-p}}

R. Brooks
A Model of Human Cognitive Behavior in Writing Code for Computer Programs
@inproceedings{Brooks75IJ,
  AUTHOR = {R. Brooks},
  TITLE = {A Model of Human Cognitive Behavior in Writing Code for Computer Programs},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {878-884},
  KEYWORDS = {psych}}

A. M. Farley
Constructive Visual Imagery and Perception
@inproceedings{Farley75IJ,
  AUTHOR = {A. M. Farley},
  TITLE = {Constructive Visual Imagery and Perception},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {885-892},
  KEYWORDS = {psych}}

W. S. Faught
Affect as Motivation for Cognitive and Conative Processes
@inproceedings{Faught75IJ,
  AUTHOR = {W. S. Faught},
  TITLE = {Affect as Motivation for Cognitive and Conative Processes},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {893-899},
  KEYWORDS = {psych}}

D. H. Fredericksen
An Organization for a Dictionary of Senses
@inproceedings{Fredericksen75IJ,
  AUTHOR = {D. H. Fredericksen},
  TITLE = {An Organization for a Dictionary of Senses},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {900-906},
  KEYWORDS = {psych}}

J. Gips and G. Stiny
Artificial Intelligence and Aesthetics
@inproceedings{Gips:75IJ,
  AUTHOR = {J. Gips and G. Stiny},
  TITLE = {Artificial Intelligence and Aesthetics},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {907-911},
  KEYWORDS = {psych}}

R. Einulla and O. Hajiev
Experimental Studies of Human Decision-Making and its Simulation by Situation Control Technique
@inproceedings{Einulla:75IJ,
  AUTHOR = {R. Einulla and O. Hajiev},
  TITLE = {Experimental Studies of Human Decision-Making and its Simulation by Situation Control Technique},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {912-916},
  KEYWORDS = {psych}}

Y. I. Klykov and V. N. Pushkin
Semantic Language and the Problem of Goal Formation Modelling in Human Thinking
@inproceedings{Klykov:75IJ,
  AUTHOR = {Y. I. Klykov and V. N. Pushkin},
  TITLE = {Semantic Language and the Problem of Goal Formation Modelling in Human Thinking},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {917-920},
  KEYWORDS = {psych}}

I. A. Lubinsky and N. V. Pozin and L. A. Shmelev
Neuronal Mechanisms of Determination the Direction upon the Sound Source
@inproceedings{Lubinsky:75IJ,
  AUTHOR = {I. A. Lubinsky and N. V. Pozin and L. A. Shmelev},
  TITLE = {Neuronal Mechanisms of Determination the Direction upon the Sound Source},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {921-923},
  KEYWORDS = {psych}}

G. A. Goldin and G. F. Luger
Problem Structure and Problem Solving Behavior
@inproceedings{Goldin:75IJ,
  AUTHOR = {G. A. Goldin and G. F. Luger},
  TITLE = {Problem Structure and Problem Solving Behavior},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {924-931},
  KEYWORDS = {psych}}

O. K. Tikhomirov
Philosophical and Psychological Problems of Artificial Intelligence
@inproceedings{Tikhomirov75IJ,
  AUTHOR = {O. K. Tikhomirov},
  TITLE = {Philosophical and Psychological Problems of Artificial Intelligence},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {932-938},
  KEYWORDS = {psych}}

D. N. Zavalishina and B. F. Lomov and V. F. Rubachin
Levels of Decision Making and Certain Problems of Artificial Intellect
@inproceedings{Zavalishina:75IJ,
  AUTHOR = {D. N. Zavalishina and B. F. Lomov and V. F. Rubachin},
  TITLE = {Levels of Decision Making and Certain Problems of Artificial Intellect},
  YEAR = 1975,
  BOOKTITLE = {Proc. of the 4th IJCAI},
  ADDRESS = "Tiblisi, USSR",
  PAGES = {938-944},
  KEYWORDS = {psych}}



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

Send comments to herzog@acm.org