IJCAI 1975

148 papers

"QUESTION-ANSWER" - A Multipurpose Information System Y. Buchstab, S. Kamynin

A "Hand-Eye" Robot-Simulating System Georgy L. Gimel'farb, E. F. Kushner, V. I. Rybak

A Basis for the Acquisition of Procedures from Protocols M. Bauer

A Collective of Algorithms L. Rastrigin, R. Erenshtein

A Complete Unification Algorithm for Associative-Commutative Functions Mark E. Stickel

A Control Structure for a Question-Answering System P. Madama

A Database for A.I J. Quinton, A. Andrew

A Machine Vision for Complex Industrial Parts with Learning Capability Masahiko Yachida, Saburo Tsuji

A Model of Human Cognitive Behavior in Writing Code for Computer Programs Ruven E. Brooks

A Multi-Level Organization for Problem Solving Using Many, Diverse, Cooperating Sources of Knowledge Lee D. Erman, Victor R. Lesser

A New Mehtod for Proving Certain Presburger Formules W. W. Bledsoe

A Note on Deduction Rules with Negative Premises Ivan Kramosil

A Partial Taxonomy of Knowledge About Actions Eugene Charniak

A Problem Reduction Model for Non-Independent Subproblems Giorgio Levi, Franco Sirovich

A Program for Geometrical Pattern Recognition Based on the Linguistic Method of the Description and Analysis of Geometrical Structures V. Gallo

A Region-Analysis Subsystem for Interactive Scene Analysis Jay M. Tenenbaum, S. Weyl

A Representation for Robot Plans Patrick J. Hayes

A Simplified and Fast Version of the Huockel Operator for Finding Optimal Edges in Pictures László Méro, Z. Vassy

A Speech Understanding System Based upon a Co-Routine Parser James F. Allen

A Speech Understanding System with Learning Capability Renato de Mori, Silvano Rivoira, Angelo Serra

A Student-Oriented Natural Language Environment for Learning LISP R. Hart, Elliot B. Koffman

About the Solution of Combinatorical Problems with Problem Solving Methods H. Hagendori, W. Kolbe, E. Sommerfeld

Acquisition of Moving Objects and Hand-Eye Coordination H. Chien, V. Jones

Active Semantic Networks in Robots with Independant Control N. Amosov, A. Kasatkin, L. Kasatkina

Adaptive Production Systems Donald A. Waterman

Affect as Motivation for Cognitive and Conative Processes William S. Faught

An Adaptive Natural Language System That Listens, Asks, and Learns Perry Lowell Miller

An Automatically Compilable Recognition Network for Structured Patterns Frederick Hayes-Roth, D. Moslow

An English-like Language for Qualitative Scientific Knowledge Douglas R. Skuce

An Extension of Unification to Substitution with an Application to Automatic Theorem Proving J. van Vaalen

An Hypothesis-Driven Vision System M. Dunlavay

An Improved Di-Directional Heuristic Search Algorithm Dennis de Champeaux, Lenie Sint

An Interpreter for the Programming Languages Predicate Logic Sten-Åke Tärnlund

An Organization for a Dictionary of Senses D. Frederickson

An Overview of AL, a Programming System for Automation Raphael A. Finkel

Analysing Mathematical Proofs (Or Reading Between the Lines) Alan Bundy

Analysis of Three-Dimensional Scene Images on the Knowledge of Their Texture Features M. Yagl, N. Zavalishin, R. Shelnin

Answering Process Questions G. Scragg

Application of Methods of Adaptive Learning to the Problem of Automatic Decision Making Under Conditions of a Priori Uncertainty V. Akhutin, M. Ioffe, G. Kotler, A. Rats

Artificial Intelligence and Aesthetics James Gips, George Stiny

Association Memory Model Using the Notion of "Importance" M. Weinzweig

Automated Hypothesis Generation Using Extended Inductive Resolution Charles G. Morgan

Automatic Detection of Rib Contours in Chest Radiographs Harry Wechsler, Jack Sklansky

Automatic Program Synthesis from Example Problems Laurent Siklóssy, D. A. Sykas

Bargaining Between Goals Ira P. Goldstein

BEINGS: Knowledge as Interacting Experts Douglas B. Lenat

Boundary and Object Detection in Real World Images Yoram Yakimovsky

BRIBIP: A Bridge Bidding Program A. M. Stanier

Checking Proofs in the Metamathematics of First Order Logic Mario Aiello, Richard W. Weyhrauch

Color Picture Processing by Computer Takayasu Ito

Commenting Proofs James R. Geiser

Conceptual Overlays: A Mechanism for the Interpretation of Sentence Meaning in Context Charles J. Rieger Iii

Constructive Visual Imagery and Perception Arthur M. Farley

Control of a PCB Drilling Machine by Visual Feedback J. Hale, P. Saraga

Deadlock-Free Parallel Processing A. O. Hill, H. R. A. Townsend

Decision Analysis for an Experimental Robot with Unreliable Sensors I. Coles

Deductive Retrieval Mechanisms for State Description Models Richard Fikes

Definition Theory as Basis for a Creative Problem Solver T. Gorgely, Hajnal Andréka, István Németi

DIALOG: A Model of Diagnostic Logic for Internal Medicine Harry E. Pople, Jack D. Myers, Randolph A. Miller

Direction Coding Method and Its Application to Scene Analysis M. Ejirl, H. Yode, J. Motolke

Edge Finding, Segmentation of Edges and Recognition of Complex Objects Yoshiaki Shirai

Empirical Prediction Algorithm Nikolay G. Zagoruiko

Expanding the Utility of Semantic Networks Through Partitioning Gary G. Hendrix

Experimental Studies of Human Decision-Making and Its Simulation by Situation Control Technique R. Hajiev

Extending the Expressive Power of Semantic Networks Lenhart K. Schubert

Feature Extraction and Sentence Recognition Algorithm in Speech Input System Yoshiaki Shirai

Form Dynamic Programming to Search Algorithms with Functional Costs Alberto Martelli, Ugo Montanari

Forming Models of Plane-and-Cylinder Faceled Bodies from Light Stripes Robin J. Popplestone, Christopher M. Brown, A. Patricia Ambler, G. Crawford

General Purpose Models: Expectations About the Unexpected Steven W. Zucker, Azriel Rosenfeld, Larry S. Davis

Generating Hierarchical Semantic Networks Froma Natural Language Discourse Camilla Schwind

Gentzen-Type Formel System Representing Properties of Function and Its Implementation T. Nishimura, M. Nakanishi, M. Nogeta, Y. Iwamaru

Heuristics in the Alloy Designing S. Iwata, S. Ishino, V. Michima

How to Use What You Know Carl Hewitt

Ideas About Management of LISP Data Bases Erik Sandewall

Identification of Bodies in a Contour Image of a Three-Dimensional Scene N. Zavalishin

Induction of Concepts in the Predicate Calculus S. Vera

Inductive Inference Theory - A Unified Approach to Problems in Pattern Recognition and Artificial Intelligence R. Solomonott

Inferring LISP Programs from Examples David E. Shaw, William R. Swartout, C. Cordell Green

Interacting Goals and Their Use Austin Tate

Isolating and Identifying Objects in Line Drawings Edward L. Morofsky, Andrew K. C. Wong

Knowledge and Its Use in a Program for Going from One Place to Another Teiji Furugori

Knowledge and Reasoning in Program Synthesis Richard J. Waldinger, Zohar Manna

Knowledge Based English Language Systems for Management Support: An Analysis of Requirements A. Malhoira

Levels of Decision Making and Certain Problems of Artificial Intellect D. Zavalishina, B. Lomov, Y. Rubachin

LINGOL-A Progress Report V. Prati

LORD: LISP-Oriented Resolver and Data Base V. Briebrin, V. Serebriekov, V. Yufa

MAGMA-LISP: A "Machine Language" for Artificial Intelligence Carlo Montangero, Giuliano Pacini, Franco Turini

Method for the Best Solutions Search in Multiobjective Decision Problems V. Ozernoi, M. Gaft

Methods for Analyzing Three Dimensional Scenes F. Roecker, A. Kiessling

Microphonemes as Fundamental Segments of Speech Wave Primary Segmentation - Automatic Searching for Microphonemes A. Dziurnikowski

Natural Language Access to a Large Data Base: An Engineering Approach D. Walts

Negation and Focus in Man - Machine Communication Petr Sgall, Eva Hajicová

Neuronal Mechanisms of Determination the Direction upon the Sound Source I. Lubinsky, N. Pozin, L. Shmelev

On a Possible Mechanism of Binocular Fusion O. Levashov

On Methods to Decide Solvability of Transformation Problems P. Florath

On the Role of Mathematical Language Concept in the Theory of Intelligent Systems Hajnal Andréka, Tamás Gergely, István Németi

On the Storage Economy of Error-Tolerating Question-Answering Systems Judea Pearl

On the Structure of an Important Class of Exhaustive Problems and on Ways of Search Reduction for Them G. M. Adelson-Velskiy, Vladimir L. Arlazarov, M. V. Donskoy

On the System of Concepts Relations and Outline of the Natural Language System Sho Yoshida

Perceptive Robot Moving in 3D World D. E. Okhotsimsky, A. K. Platongy

Philosophical and Psychological Problems of Artificial Intelligence O. Tikhomirov

Picnics, Kittens and Wigs: Using Scenarios for the Sentence Competition Task C. Bullwinkle

Planner-BESM-6 Systems Implementation Methods V. Pilshikov

Planning and Execution in Incompletely Specified Environments Robert T. Chien, Steven J. Weissman

Planning the Activity of Robot with Artificial Intelligence E. Kuzin, G. Pozdnyak, I. Fominykh

Pragmatics in Speech Understanding Bertram C. Bruce

Predicting the Length of Solutions to Problems J. Ross Quinlan

Preliminary Report on a Program for Generating Natural Langugage D. McDonald

Problem Solving Approach in Data Management William D. Haseman, Andrew B. Whinston

Problem Structure and Problem Solving Behavior George F. Luger, G. Goldin

Problems of Selecting a Galt for an Integrated Locomotion Robot E. Kugushev, V. Jaroshevskij

Progress on a Computer Based Consultant Peter E. Hart

Recognition of an Object in a Stack of Industrial Parts Saburo Tsuji, Akira Nakamura

RITA - An Experimental Man-Computer System on a Natural Language Basis A. Ershov, A. Nariniany, I. Mel'chuk

Scene Segmentation by Velocity Measurements Obtained with a Cross-Shaped Template J. Potter

Scripts, Plans and Knowledge Roger C. Schank, Robert P. Abelson

Semantic Language and the Problem of Goal Formation Modelling in Human Thinking Yu. Klykov, V. Pushkin

Semantic Networks and the Generation of Context John Mylopoulos, Philip R. Cohen, Alexander Borgida, Laszlo Sugar

Semantic Resolution for Horn Sets Lawrence J. Henschen

Semiotic Models in Artificial Intelligence Problems D. Poepolov

Simulation of Functions of Composer and Musicologist on Electronic Computer R. Zarlpov

Some Aspects of Sensory Instrumentation for Robots and Manipulators V. S. Gurfinkel, A. Yu. Shneider, E. Gurfinkel, E. Kanaov, S. Fomin

Some Considerations Concerning the Problem Base of Purposeful Systems V. Lozovsky

Some Principles of Artificial Learning That Have Emerged from Examples J. Knapman

Some Rules for the Automatic Synthesis of Programs C. Cordell Green, David R. Barstow

Some Thoughts About Representing Knowledge in Instructional Systems Joachim H. Laubsch

Structured Robotics M. Weinstein

Synthesis of LISP Functions from Examples Steve Hardy

The 2 PAK Language: Goals and Descriptions L. Melli

The Application of Artificial Intelligence of Data Base Management R. Gerrilsan

The Description and Control of Changing Pictures G. Pfinter

The Heuristic Search and the Game of Chess - A Study of Quiescene, Sacrifices, and Plan Oriented Play Larry R. Harris

The Influence of Nonuniformity in the Models of Automate Collective Behaviour M. Goeze-Rapopori, V. Zekharov, Dmitri A. Pospelov

The Nonlinear Nature of Plans Earl D. Sacerdoti

The Representation of Concepts in OWL L. Hawkinson

The Role of Hypothesis in Medical Diagnosis A. Rubin

The Textural Analysis V. Krol, L. Tannenholz

The Use of Informal Calculus in Problems of Artificial Intellect A. Tiro

The Vocal Speech Understanding System Stephen E. Levinson

Time-Domain, Digital Segmentation of Connected Natural Speech W. Hoss

TORUS - A Natural Language Understanding System for Data Management John Mylopoulos

Toward a Multiple Environments Model of Natural Language Janusz Stanislaw Bien

Toward a State Based Conceptual Representation Nick Cercone, Lenhart K. Schubert

Transport Robot with Network Control System N. M. Amosov, E. M. Kussul, V. D. Fomenko

TULIPS - Teachable, Understanding Natural Language Input Problem-Solver Michael G. Malkovsky

Visual Understanding of Hybrid Circuits via Procedural Models Robert T. Chien, W. Snyder

Walking Control and Dynamics of a Systems with Two Legs V. Beletskii, P. Tchudinov, T. Kirsanova

Walking Robot: A Non-Deterministic Model of Control Alexander S. Narin'yani, V. P. Pyatkin, P. A. Kim, V. N. Domentyev