.
German Research Center for Artificial Intelligence GmbH
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