%A William R. Arnold
%A John S. Bowie
%T Artificial Intelligence: A Personal Commonsense Journey
%I Prentice Hall
%D 1986
%K AT15
%X 24.95, ISBN 0-13-148877-1 219 pages

%A Luc Steels
%A John A. Campbell
%T Progress in Artificial Intelligence
%D 1985
%K AT15

%A Rodney A. Brooks
%T Programming in Common Lisp
%I John Wiley and Sons
%D 1985
%K AT15 T01
%X ISBN 0-471-818888-7

%A Ajit Narayanan
%A Noel E. Sharkey
%T An Introduction to Lisp
%I Chichester: Ellis Horwood
%D 1985
%K AT15 T01
%X ISBN 0-470-20244-0 paperback

%A Alain Bonet
%T Artificial Intelligence: Promise and Performance
%I Prentice-Hall
%D 1985
%K AT15
%X 221 pages ISBN 0-13-048869-0

%A Wendy B. Rauch-Hindin
%T Artificial Intelligence in Business, Science and Industry, Volume I:
Fundamentals
%I Prentice-Hall
%D 1985
%X 331 pages ISBN-0-134-048893-3 $34.95

%A Wendy B. Rauch-Hindin
%T Artificial Intelligence in Business, Science and Industry, Volume II:
Applications
%I Prentice-Hall
%D 1986
%X 348 pages ISBN-0-134-048901-3 $34.95

%A Tim Johnson
%T Natural Language Computing: The Commercial Applications
%I Ovum Limited
%C London
%K AI02 AT04

%A B. K. Boguraev
%A K. S. Jones
%T A Framework for Inference in Natural Language Front Ends to Databases
%R Report No. 64
%I University of Cambridge Computer Laboratory
%D 1985
%K AI02 AA09

%A F. J. Damerau
%T An Interactive Customization Program for a Natural Language Database
Query System
%R Report No. 10411
%I IBM Research Division
%D 1984
%K AI02 AA09

%A F. J. Damerau
%T Problems and Some Solutions in Customization of Natural Language Data
Base Front Ends
%R Report No. 10872
%I IBM Research Divison
%D 1984
%K AI02 AA09

%A H. Enomoto
%T TELL: a Natural Language Based Software Development System
%R Report No. 67
%I Institute for New Generation Computer Technology
%D 1984
%K AI02

%A R. E. Frederking
%T Syntax and Semantics in Natural Language Parsers
%R Report No. 85-133
%I Carnegie-Melon University,
Department of Computer Science
%D 1985
%K AI02

%A P. S. Jacobs
%T PHRED: A Generator for Natural Language Interfaces
%R Report No. 85-198
%I University of California, Berkeley Computer Science Division
%D 1985
%K AI02

%A D. E. Johnson
%T Design of a Robust, Portable Natural Language Interface Grammar
%R Report No. 10867
%I IBM Research Division
%D 1984
%K AI02

%A J. K. Kalita
%T Generating Summary Responses to Natural Language Database
%R Report No. 84-9
%I University of Saskatchewan
%D 1984
%K AI02  AA09

%A E. Mays
%T A Modal Temporal Logic for Reasoning About Changing Database with
Applications to Natural Language Question Answering
%R Report No. 85-01
%I University of Pennsylvania, Moore School of Electrical Engineering.
Department of Computer Science
%D 1985
%K AI02 AI10 AA09

%A B. Neuamnn
%T Natural Language Descriptions of Time-Varying Scenes
%R Report No. 105
%I Universitaet Hamburg. Fachbereich Informatik
%D 1984
%K AI02 AI06

%A E. Orlowska
%T The Montague Formalization of Natural Language
%R Report No. 548
%I Polish Academy of Sciences, Institute of Computer Sciences
%D 1984
%K AI02

%A S. R. Petrick
%T Natural Language Database Query Systems
%R Report No. 10508
%I IBM Research Division
%D 1984
%K AI02

%A P. Saint-Dizier
%T An Approach to Natural Language Semantics in Logic Programming
%R Report No. 389
%I Institute National de Recherce en Informatique et en Automatique
%K AI02 AI10

%A L. F. Rau
%T The Understanding and Generation of Ellipses in a Natural Language
Systems.
%R Report No. 85-227
%I University of California Berkeley. Computer Science Division
%D 1984
%K AI02

%A Se-Young Oh
%A David E. Orin
%T  Dynamic Computer Simulation of Multiple Closed-Chain Robotic
Mechanisms
%B BOOK28
%K AI07

%A Steven D. Eppinger
%A Warren P. Seering
%T On Dynamic Models of Robot Force Control
%B BOOK28
%K AI07

%A Henry W. Stone
%A Arthur C. Sanderson
%A Charles P. Neuman
%T Arm Signature Identification

%A M B. Leahy Jr
%A K. P. Valavanis
%A G. N. Saridi
%T The Effects of Dynamic Models on Robot Control
%B BOOK28
%K AI07

%A Chae H. An
%A Christopher G. Atkeson
%A John M. Hollerbach
%T Experimental Determination of the Effect of Feedforward Control on
Trajectory Tracking Errors
%B BOOK28
%K AI07

%A K. B. Biggers
%A S. C. Jacobsen
%A G. E. Gerpheide
%T Low Level Control for the Utah/MIT Dextrous Hand
%B BOOK28
%K AI07

%A Sama Hayati
%T Hybrid Position/Force Control of Multi-Arm Cooperating
Robots
%B BOOK28
%K AI07

%A R. F. Richbourg
%T  Solving a Two Dimensional Path Planning Problem Using Topographical
Knowledge of the Environment and Capability Constraints
%B BOOK28
%K AI07

%A Ronald S. Fearing
%T Implementing a Force Strategy for Object Re-orientation
%B BOOK28
%K AI07

%A E. Freund
%A H. Hoyer
%T  On-Line Pathfinding in Multi-Robot Systems including Obstacles -
%B BOOK28
%K AI07

%A W. Thomas Miller III
%T Video Image Stereo Matching Using Phase-Locked Techniques
%B BOOK28
%K AI07 AI06

%A David B. Shu
%A  C. C. Li
%A Y. N. Sun
%T An Approach to 3-D Object Identification Using Range Images
%B BOOK28
%K AI07 AI06

%A Peter K. Allen
%T Sensing and Describing 3-D Structure
%B BOOK28
%K AI07 AI06

%A  N. Kehtarnavaz
%A R. J. P.de Figueiredo
%T A New Decomposition for Three-Dimensional
Contours Based on Curvature and Torsion
%B BOOK28
%K AI07 AI06

%A C. B. Lofgren
%T Soft Configuration in Automated Insertion
%B BOOK28
%K AI07 AA26 AA04

%A  Ram Akella
%T Part Dispatch in Multistage Card Lines
%B BOOK28
%K AA26

%A M. H. Han
%T Throughput Maximization in Short Cycle Automated Manufacturing
%B BOOK28
%K AA26

%A C. S. Tang
%T Job Scheduling Model for a Flexible Manufacturing Machine
%B BOOK28
%K AA26

%A U. Sungurtekin
%A H. B. Voecker
%T  Graphical Simulation and Automatic Verification of NC Maching Programs
%B BOOK28
%K AA26

%A W. P. Wang
%A  K. K. Wang
%T Real-time Verification of Multi-Axis NC Machining
Programs with Raster Graphics
%B BOOK28
%K AA26

%A  Alkan Donmez
%A Kang Lee
%A  C. Richard Liu
%A  Moshe M. Barash
%T Real-time Error Compensation System for A Computerized
Numerical Control Turning Center
%B BOOK28
%K AA26

%A T. C. Hsia
%T Adaptive Control of Robot Manipulators - A Review
%B BOOK28
%K AI07

%A  Albert Izaguirre
%A  Richard Paul
%T Automatic Generation of the Dynamic Equations of the Robot
Manipulators using a Lisp Program
%B BOOK28
%K AI07 T01

%A M. A. Peskin
%A A. C. Sanderson
%T Manipulation of a Sliding Object
%B BOOK28
%K AI07

%A Rajko Tomovic
%A George A. Bekey
%T Robot Control by Reflex Actions
%B BOOK28
%K AI07

%A M. Togai
%A O. Yamano
%T Learning Control and its Optimality: Analysis and its Applications to
Controlling Industrial Robots
%B BOOK28
%K AI07  AI04

%A Ataru Nakamura
%A Kang G. Shin
%A Neil D. McKay
%T Automatic Generation of Trajectory Planners for Industrial Robots
%B BOOK28
%K AI07

%A G. N. Saridis
%A K. P. Valavahnis
%T Mathematical Formulation of the Organization Level of an Intelligent Machine
%B BOOK28
%K AI07

%A Morikazu Takegaki
%A Tadashi Ohi
%T An Advanced Design Support System for Intelligent Robots
%B BOOK28
%K AI07

%A Ricard Cassinis
%T Automatic Resource Allocation in Industrial Multirobot Systems
%B BOOK28
%K AI07

%A Michael J. Swain
%A Joseph L. Mundy
%T Experiments in Using a Theorem Prover to Prove and Develop Geometrical
Theorems in Computer Vision
%B BOOK28
%K  AI06  AI11 AA13 AI14

%A W. Eric  L. Grimson
%T Disambiguating Sensory Interpretations Using Minimal Sets of Sensory
Data
%B BOOK28
%K AI06

%A H. S Yang
%A A. C. Kak
%T Determination of the Identity, Position and Orientation of the Topmost Object
in a Pile
%B BOOK28
%K AI06

%A Judith F. Silverman
%A David B. Cooper
%T Unsupervised Estimation of Polynomial Approximations to Smooth Surfaces
in Images or Range Data
%B BOOK28
%K AI06

%A P. J. Englert
%A P. K. Wright
%T  Applications of Artificial Intelligence in the Design of Fixtures
for Automated Manufacturing
%B BOOK28
%K AA26

%A Patrick Fitzhorn
%A Wade O. Troxell
%T A Dynamic Approach to the Robotic Design Cycle
%B BOOK28
%K AI07

%A M. Dado
%A A. H. Soni
%T A Generalized Approach for Forward and Inverse Dynamics of Elastic
Manipulators
%B BOOK28
%K AI07

%A R. Marino
%A S. Nicosia
%A A. Tornambe
%T Dynamic Modelling of Flexible Robot Manipulators
%B BOOK28
%K AI07

%A Gregory P. Starr
%T Edge Following with a PUMA 560 Manipulator Using VAL-II
%B BOOK28
%K AI07

%A M. Silva
%A L. Montano
%A P. Pardos
%T Terminal Controllers for Robots: Shooting and Optimal Control
%B BOOK28
%K AI07

%A Christopher Clark
%A Lawrence Stark
%T Cooperative Robot Control
%B BOOK28
%K AI07

%A Gerhard Hirzing
%A J. Dietrich
%T Multisensory Robots and Sensorbased Path Generators
%B BOOK28
%K AI07 AI06

%A E. G. Harokops
%T Optimal Learning Control of Mechanical Manipulators in Repetitive Motions
%B BOOK28
%K AI07 AI04

%A John Wen
%A Alan Desrochers
%T Sub-Time-Optimal Control Strategies for Robotic Manipulators
%B BOOK28
%K AI07

%A M. B. Leahy
%A George N. Saridis
%T The RAL Hierarchical Control System
%B BOOK28
%K AI07

%A Kang G. Shin
%A Neil D. McKay
%T Minimum Time Trajectory Planning for Industrial Robots with General
Torque Constraints
%B BOOK28
%K AI07

%A H. Kazerooni
%A P. E. K. Houpt
%A T. B. Sheridan
%T Robust Compliant Motion for Manipulators, Part I: The Fundamental Concept
of Compliant Motion; Part II: Design Methods
%B BOOK28
%K AI07

%A Mary M. Moya
%A William M. Davidson
%T Sensor Driven Factor Tolerant Control of a Maintenance Robot
%B BOOK28
%K AI07

%A Richard J. Grommes
%A Michael P. Hennessey
%A Warren J. Dick
%T Adaptive Intervehicle Positioning for Robotic Material Transfer
%B BOOK28
%K AI07

%A S. Thunborg
%T A Remote Maintenance Robot System for a Pulsed Nuclear Reactor
%B BOOK28
%K AI07

%A Nobuyoshi Yokobori
%A Pen-shu Yeh
%A Azriel Rosenfield
%T Sub-Pixel Geometric Correction of Pictures by Calibration and
Decalibration
%B BOOK28
%K AI06

%A Ichiro Masaki
%T Modular Multi-Resolution Vision Processor
%B BOOK28
%K AI06

%A Ronald Lumia
%T Rapid Hidden Feature Elimination Using an Octree
%B BOOK28
%K AI06

%A Nien-hu Chao
%A E. N. Schiebel
%T Inspection Assistant - A Knowledge-Based System for Piece Part Inspection
%B BOOK28
%K AI06

%A Agostino Pl. M. Villa
%A Roberto Mosca
%A Giuseppe Murari
%T  Expert Control Theory: A Key for Solving
Production Planning Control Problem in Flexible Manufacturing
%B BOOK28
%K AA26

%A R. Ippolito
%A S. Rosseto
%A M. Vallauri
%A A. P. M. Villa
%T  The Emergence of Artificial Intelligence Applications in
Manufacturing
%B BOOK28
%K AA26

%A Caludio Boer
%T  Expert Control System Requirements for Manufacturing Process Control
%B BOOK28
%K AA26

%A Cynthia K. Whitney
%T Building "Expert Systems" When No Experts Exist
%B BOOK28
%K AA26 AI01

%A Alan A. Desrochers
%A Christopher M. Seaman
%T A Projection Method for Simplifying Robot Manipulator Models
%B BOOK28
%K AI07

%A Brian Armstrong
%A Oussama Khatib
%A Joel Burdick
%T The Explicit Dynamic Model and Intertial Parameters of the PUMA 560 ARM
%B BOOK28
%K AI07

%A M. B. Leahy Jr.,
%A L. M. Nugent
%A K. P. Valavanis
%A G. N. Saridis
%T Efficient Dynamics for  a PUMA 600
%B BOOK28
%K AI07

%A R. B. Kelley
%T Vertical Integration for Robot Assembly Cells
%B BOOK28
%K AI07

%A S. A. Cameron
%A R. K. Culley
%T Determining the Minimum Translational Distance Between Two Convex
Polyhedra
%B BOOK28
%K AI07 O06

%A Walter Meyer
%T Distance Between Boxes: Applications to Collision Detection and
Clipping
%B BOOK28
%K AI07

%A R. Alami
%A H. Chochon
%T  NNS, a Knowledge-Based On-Line System for an Assembly WorkCell
%B BOOK28
%K AI07

%A A. Rovetta
%A G. Frosi
%T  Logical Structure for Assembly with Robot
%B BOOK28
%K AI07

%A J. R. Stenstrom
%A C. I. Connolly
%T Building Wire Frames from Multiple Range Views
%B BOOK28
%K AI07  AI06

%A X. Zhuang
%A T. S. Huang
%T From Two-View Motion Equations to Three-Dimensional Motion Parameters
and Surface Structure: A Direct and Stable Algorithm
%B BOOK28
%K AI07

%A Giulio Sanino
%A Massimo Tistarelli
%T Analysis of Object Motion and Camera Motion in Real Scenes
%B BOOK28
%K   AI06

%A J. Amat
%A A. Casals
%A V. Llario
%T Improving Accuracy and Resolution of a Motion Stereo Vision System
%B BOOK28
%K AI06

%A B. Chernuschi-Frias
%A D. B. Cooper
%A P. N. Belhumeur
%T 3-D Object Position Estimation and Recognitions Based on Parameterized
Surfaces and Multiple Views
%B BOOK28
%K AI06

%A G. M. Acaccia
%A R. C. Michelini
%A R. M. Molfiono
%A P. A. Piaggio
%T  X-SIFIP: A Knowledge-based Special Purpose Simulator for the
Development of Flexible Manufacturing Cells
%B BOOK28
%K AA26

%A Andrew Kusiak
%T  FMS Scheduling: A Crucial Tool in an Expert Control Structure for
Production Planning
%B BOOK28
%K AA26 AI01

%A Jon D. Erickson
%A Aaron Cohen
%T  Autonomous Robotic Aspects of the Space Station Program
%B BOOK28
%K AI07 AA27

%A W. Kohn
%A K. Healy
%T  On-Line Task Interpreter for Astrobot
%B BOOK28
%K AI07 AA27

%A Scott Y. Harmon
%A Douglas W. Grange
%A Walter A. Aviler
%T Techniques for Coordinating Autonomous Robots
%B BOOK28
%K AI07

%A Mark A. Bronez
%A Margaret M. Clarke
%A Alberta Quinn
%T Requirements Development for a Free-Flying Robot -- The Robin
%B BOOK28
%K AI07  AA19

%A Jeffrey S. Schoenwald
%A Michael S. Balck
%A Gregory A. Arnold
%A Timonthy A. Allison
%T Improved Robot Trajectory from Acoustic Range Servo Control
%B BOOK28
%K AI07

%A Ljubomir T. Grujic
%T Tracking Analysis for Non-Stationary Non-Linar Discrete-Time System
%B BOOK28
%K AI07

%A Tomoaki Kubo
%A George Anwar
%A Masayoshi Tomizuka
%T Applications of Nonlinear Friction Compensation to Robot Arm Control
%B BOOK28
%K AI07

%A Daniel E. Whitney
%T Real Robots Don't Need Jigs
%B BOOK28
%K AI07 AA26

%A Margo K. Apostolos
%T Robot Choreography: An Aesthetic Application in User Acceptance of
a Robot Arm
%B BOOK28
%K AI07 AA25 O01

%A Stuart G. Stanley
%A Mansour Eslami
%T On Design of an Educational Robot
%B BOOK28
%K AI07 AT18

%A P. J. Becker
%T Sensor Information Processing in Robot Control Systems
%B BOOK28
%K AI07

%A Gerard Medioni
%A Yoshio Yasumoto
%T Corner Detection and Curve Representation Using Cubic B-Splines
%B BOOK28
%K AI06

%A Xueyin Lin
%A William G. Lee
%T SDFS: A New Strategy for the Recognition of Object Using Range
Data
%B BOOK28
%K AI06

%A Bir Bhanu
%A John C. Ming
%T Recognition of 2-D Occluded Objects using a Cluster-Structure Paradigm
%B BOOK28
%K AI06

%A Michael Magee Mitchell Nathan
%T A Theorem Proving Based Pattern Recognition System
%B BOOK28
%K AI06 AI11 AI14

%A Patricia McConail
%T Automation and CIMS in the Esprit Program
%B BOOK28
%K AA26

%A Ulrich Rembold
%A M. Vojnovic
%T  Operational Control for Robot Systems Integration into CIM
%B BOOK28
%K AA26 AI07

%A Lyle M. Jenkins
%T  Telerobotic Work System- Space Robotics Application
%B BOOK28
%K AI07  AA27

%A David L. Akin
%T Parametric Testing of Space Teleoperators through Neutral Buoyancy
Simulation
%B BOOK28
%K AI07 AA27

%A T. Sheridan
%T Human Supervisory Control of Robot System
%B BOOK28
%K AI07  O01

%A Jack Pennington
%T (I) Space Telerobotics: A Few More Hurdles
%B BOOK28
%K AI07 AA27

%A Fredrik Dessen
%T Coordinating Control of a Two Degrees of Freedom Universal Joint Structure
Driven by Three Servos
%B BOOK28
%K AI07

%A Chang-huan Liu
%A Yen-ming Chen
%T Multimicroprocessor-based Cartesian Space Control
%B BOOK28
%K AI07

%A Subbiah Mahalingam
%A Anand M. Sharan
%T The Optimal Balancing of the Robotic Manipulators
%B BOOK28
%K AI07

%A N. Sreenath
%A P. S. Krishnaprasad
%T DYNAMAN: A Tool for Manipulator Design and Analysis
%B BOOK28
%K AI07

%A Sanjeev R. Maddila
%T Motion Planning Algorithm for a Ladder Among Rectangular
Obstacles
%B BOOK28
%K AI07 O06

%A Michael Erdmann
%A T. Lozano-Perez
%T On Multiple Moving Objects
%B BOOK28
%K AI07

%A Michael Brady
%T Recent Advances Toward a Surface Primal Sketch
%B BOOK28
%K AI06

%A Martial Hebert
%A Takeo Kanade
%T Range Data Analysis of Outdoors Scenes
%B BOOK28
%K AI06

%A N. Ayache
%A O. D. Faugeras
%A B. Faverjon
%A F. Lustman
%T Building Visual Maps by Combining Noisy Stereo Measurements
%B BOOK28
%K AI06

%A T. Poggio
%A Michael Drumheller
%T Parallel Stereo
%B BOOK28
%K AI06 H03 Thinking Machines

%A S. Harmon
%A G. Bianchini
%A B. Pinz
%T Sensor Data Fusion Through a Distributed Blackboard
%B BOOK28
%K AI06

%A J. Crowley
%T Generalized Surface Patches: A Representation for Composite
Surface Modeling
%B BOOK28
%K AI06

%A K. Jo. Overton
%T Range Vision, Force, and Tactile Sensory Integration:
Issues and an Approach
%B BOOK28
%K AI06 AI07

%A H. Durrant-Whyte
%T Integration of Distributed Sensor Observation
%B BOOK28
%K AI06 AI07

%A Waj-Joon Lee
%A David E. Orin
%T The Kinematics of Legged Locomotion Over Uneven Terrain
%B BOOK28
%K AI07

%A U. Ozguner
%T Control of Quadruped Trot
%B BOOK28
%K AI07

%A Chi-Keng Tsai
%A David E. Orin
%T Using Proximity Sensing in Robot Leg Control
%B BOOK28
%K AI07

%A Jagdish Joshi
%A Alan A. Desrochers
%T Modeling and Control of a Mobile Robot Subject to
Disturbances
%B BOOK28
%K AI07

%A Hiroaki Kobayashi
%T Grasping and Manipulation of Objects by Articulated Hands
%B BOOK28
%K AI07

%A Steve Jacobsen
%A E. K. Iversen
%A D. F. Knutti
%A R. T. Johnson
%A K. B. Biggers
%T Machinery Issues in End Effector Design
%B BOOK28
%K AI07

%A Mark R. Cutosky
%A Pual K. Wright
%T Modeling Manufacturing Grips and Correlations with the Design of Robotic
Hands
%B BOOK28
%K AI07  AA26

%A J. C. Becker
%A N. V. Thakor
%A K. G. Gruben
%T A Study of Human Hand Tendon Kinematics with Applications to Robot Hand
Design
%B BOOK28
%K AI07

%A Michael A. Erdman
%A Matthew T. Mason
%T An Exploration of Sensorless Manipulation
%B BOOK28
%K AI07

%A Randy C. Brost
%T Automatic Grasp Planning in the Presence of Uncertainty
%B BOOK28
%K AI07  O04 AI09

%A Juan Juan
%A R. P. Paul
%T Model for Automatic Programming of Fine-Motion in Assemblies
%B BOOK28
%K AI07

%A Bruce R. Donald
%T Robot Motion Planning with Uncertainty in the Geometric Models of the
Robot Environment: A Formal Framework for Error Detection and Recovery
%B BOOK28
%K AI07 O04 AI09

%A Tsuji
%T Recent Advances Toward the Realization of a Flexible Mobile Vehicle
%B BOOK28
%K AI07 AA19

%A Allen M. Waxman
%A Jacqueline Le Moigne
%A Larry S. Davis
%A Eli Liang
%A Tharakesh Siddalingaiah
%T A Visual Navigation Systems
%B BOOK28
%K AI07 AI06

%A Y. Y. Huang
%A Z. L. Cao
%A E. L. Hall
%T Region Filling Operation for Mobile Robot Using Computer Graphics
%B BOOK28
%K AI07 AA19

%A Richard Wallace
%A Kichie Matsuzaki
%A Yoshimasa Goto
%A Jon Webb
%A Jill Crisman
%A Takeo Kanade
%T Progress in Robot Road Following
%B BOOK28
%K AI07 AA19

%A C. Thorpe
%A S. Shafer
%A A. Stentz
%T An Architecture for Data Fusion
%B BOOK28
%K AI06 sensors

%A M. Shimojo
%A O. Khatib
%T Intelligent Fusion of Tactile Sensor Data
%B BOOK28
%K AI07 AI06

%A D. Morley
%A S. Chiu
%A J. Martin
%T Sensor Data Fusion on a Parallel Processor
%B BOOK28
%K AI07 H03 AI06

%A E. W. Kent
%A M. Shneier
%A T. H. Hong
%T Building Representations from Fusions of Multiple Views
%B BOOK28
%K AI07 AI06

%A E. Bensana
%A M. Correge
%A G. Bel
%A D. Dubois
%T An Expert System Approach to Industrial Job Shop Scheduling
%B BOOK28
%K AI07  AA26 AA05 AI01

%A J. Erschler
%A P. Esquirol
%T Decision Aid in Job Shop Scheduling: A Knowledge Based Approach
%B BOOK28
%K AI07 AA26

%A Alexandre M. Parodi
%A John J. Nitao
%A Louis S. McTamaney
%T An Intelligent System for an Autonomous Vehicle
%B BOOK28
%K AI07 AA19

%A C. S. G. Lee
%A P. R. Chang
%T Efficient Parallel Algorithm for Robot Inverse Dynamics Computation
%B BOOK28
%K AI07  H03

%A Shgaheen Ahmad
%T Real-Time Multi-processor Based Robot Control
%B BOOK28
%K AI07

%A V. Dupourque
%A H. Guiot
%A O. Ischacian
%T Towards Multi-Processor and Multi-Robot Controllers
%B BOOK28
%K AI07  H03

%A John M. Hollerbach
%A John E. Wood
%T Finger Force Computation without the Grip Jacobian
%B BOOK28
%K AI07

%A John Jameson
%A Larry Leifer
%T Quasi-Static Analysis: A Method for Predicting Grasp Stability
%B BOOK28
%K AI07

%A Van-Duc Nguyen
%T The Synthesis of Stable Grasps in the Plan
%B BOOK28
%K AI07

%A James Barber
%A Richard A. Volz
%A Rajiv Desai
%A Ronitt Rubenfeld
%A Brian Schipper
%A Jan Wolter
%T Automatic Two-Fingered Grip Selection
%B BOOK28
%K AI07

%A Dinesh K. Pai
%A M. C. Leu
%T INEFFABELLE - An Environment for Interactive Computer
Graphic Simulations of Robotic Applications
%B BOOK28
%K AI07

%A S. A. Hutchinson
%A A. C. Kak
%T FProlog: A Language to Integrate Logic and Functional Programming
for Automated Assembly
%B BOOK28
%K AI07 T02 AI10

%A Mitchell S. Steffen
%A Timothy J. Greene
%T An Application of Hierarchical Planning and Constraint-directed Search
to Scheduling Parallel Procesors
%B BOOK28
%K AI07 H03 AI09

%A John T. Fedema
%A Shaheen Ahmad
%T Determining a Static Robot Grasp for Automated Assembly
%B BOOK28
%K AI07

%A Thomas F. Knoll
%A Ramesh C. Jain
%T Recognizing Partially Visible Objects Uising Feature Indexed Hypotheses
%B BOOK28
%K AI07   AI06

%A Stephen J. Gordon
%A Warren P. Seering
%T Accuracy Issues in Measuring Quantized Images of Straight Line Features
%B BOOK28
%K AI07

%A C. K. Cowan
%A R. C. Bolles
%A M. J. Hannah
%A J. A. Herson
%T Edge Chain Analysis for Object Verification
%B BOOK28
%K AI06

%A Rashpal S. Ahluwalia
%A Lynn M. Fogwell
%T A Modular Approach to Visual Servoing
%B BOOK28
%K AI07

%A Melvin Montemerlo
%T  NASA's Robotics and Automation Technology Development Program
%B BOOK28
%K AI07  AA27

%A Chung Fong
%A A. K. Bejczy
%A R. Dotson
%T  Distributed Microcomputer Control System for Advanced Teleoperators
%B BOOK28
%K AI07  AA27 H03

%A Bernard Espiau
%T  An Integrated Experiment in Advanced Nuclear Teleoperation
%B BOOK28
%K AI07

%A Fumio Miyazaki
%A shigaki Matsubayashi
%A Takashi Yoshimi
%A Suguru Arimoto
%T A New Control Methodology toward Advance Teleoperation of Master
Salve Robot Systems
%B BOOK28
%K AI07

%A K. Youcef-Toumi
%A H. Asada
%T The Design of Open Loop Manipulator Arms with Decoupled and Configuration
Invariant Inertia Tensors
%B BOOK28
%K AI07

%A B. W. Mooring
%A T. J. Pack
%T Determination and Specification of Robot Repeatability
%B BOOK28
%K AI07

%A Vincent Hayward
%T Fast Collision Detection Scheme by Recursive Decomposition of a Manipulator
Workspace
%B BOOK28
%K AI07

%A Vladimir J. Lumesky
%T Continuous Path Planning for a Three-Dimensional Cartesian Robot Arm
%B BOOK28
%K AI07 AI09

%A Martin Herman
%T Fast, Three-Dimensional, Collision-Free Motion Planning
%B BOOK28
%K AI07  AI09

%A R. K. Culley
%A K. G. Kempf
%T A Collision Detection  Algorithm Based on Velocity and Distance
Bounds
%B BOOK28
%K AI07

%A Richard E. Smith
%A Maria Gini
%T Robot Tracking and Control Issues in an Intelligent Error Recovery System
%B BOOK28
%K AI07

%A Marco Somalvico
%T  The Role of White Collar Robots Real-Time Expert Systems with Multi-Media
Sensory Systems
%B BOOK28
%K AI07 AI01 O03

%A V. Dupourque
%T Using Abstraction Mechanisms to Solve Complex Tasks Programming in Robotics
%B BOOK28
%K AI07

%A M. L. Hornick
%A B. Ravani
%T  Data Structure and Database Design for Model Driven Robot Programming
%B BOOK28
%K AI07

%A John W. Roach
%A Jeff S. Wright
%T Spherical Dual Images: A 3D Representation Method for Solid Objects
that Combines Dual Space and Gaussian Spheres
%B BOOK28
%K AI07

%A Erick P. Krotkov
%A Jean Paul Martin
%T Range From Focus
%B BOOK28
%K AI06

%A Christopher Bania
%A James C. Lin
%T Theory and Implementation of a High Capacity 3-D Recognition System
%B BOOK28
%K AI06

%A A. Robert de Saint Vincent
%T  A 3D Perception System for the Mobile Robot Hilare
%B BOOK28
%K AI07 AA19 AI06

%A Michael J. Smith
%T  Sociotechnical Considerations in Robotics and Automation
%B BOOK28
%K AI07 O05

%A George Burri
%A Martin G. Helander
%T  Case Studies of Human Factors/Ergonomic Design in Robotics and
Automation at IBM
%B BOOK28
%K AI07 O01

%A Olov Ostberg
%T  A European Perspective on Human Factors Aspects of Robotics and
Automation
%B BOOK28
%K AI07 O01 GA03

%A Dennis Bering
%T  Supervisory Interface with Expert Systems for Semi-Autonomous Walking
Robots
%B BOOK28
%K AI07 O01 AI01

%A S. V. Nageswara Rao
%A S. S. Iyengar
%A C. C. Jorgenson
%A C. R. Weisbin
%T Concurrent Algorithms for Autonomous Robot
Navigation in an Unexplored Terrain
%B BOOK28
%K AI07 AI06 AA19 H03

%A J. L. Olivier
%A F. Ozguner
%T A Navigation Algorithm for an Intelligent Vehicle with a Laser Rangefinder
%B BOOK28
%K AI07 AI06 AA19

%A Alberto Elfes
%T A Sonar-Based Mapping and Navigation System
%B BOOK28
%K AI07 AI06 AA19

%A Shriar Negahdaripour
%T Direct Passive Navigation: Analytical Solutions for Planes and
Curves Surfaces
%B BOOK28
%K AI07  AI06

%A Kye Y. Lim
%A Masour Eslami
%T Robust Adaptive Controller Designs for Robot Manipulator Systems
%B BOOK28
%K AI07

%A Steven Fortune
%A Gordon Wilfgong
%A Chee Yap
%T Coordinated Motion of Two Robot Arms
%B BOOK28
%K AI07

%A Pierre Tournassoud
%T A Strategy for Obstacle Avoidance and its Application to Multi-Robot
Systems
%B BOOK28
%K AI07

%A Yuan F. Zheng
%A Fred R. Sias,\ Jr.
%T Multiple Robot Arms in Assembly
%B BOOK28
%K AI07 AA26

%A Sohail S. Houssani
%A David E. Jakopac
%T Multiple Manipulators and Robotic Workcell Coordination
%B BOOK28
%K AI07 AA26

%A Matt Barth
%A Srinivasan Parthasarathy
%A Jing Wang
%A Evelyn Hu
%A Susan Hackwood
%A Gerardo Beni
%T A Color Vision System for Microelectronics: Application to Oxide
Thickness Measurements
%B BOOK28
%K AI07 AI06

%A Ren C. Luo
%A Wen-Hsiang Tsai
%T Object Recognition Using Tactile Image Array Sensors
%B BOOK28
%K AI07  AI06

%A Kenneth J. Overton
%A Vivek V. Badami
%T Tactile Sensors for Robotic Touch
%B BOOK28
%K AI07  AI06

%A M. R. Driels
%T Pose Estimation Using Tactile Sensor Data for Assembly Operation
%B BOOK28
%K AI07

%A J. Schneiter
%A T. B. Sheridan
%T Optimal Strategy for Object Recognition by Tactile Sensing
%B BOOK28
%K AI07

%A P. Dario
%A M. Bergamasco
%A A. Fiorillo
%A R. Di Leonardo
%T Geometrical Optimization and Design Criteria for Tactile Sensing Patterns
%B BOOK28
%K AI07

%A S. A. Stansfield
%T Primitives, Features and Exploratory Procedures: Building a Robot Tactile
Perception System
%B BOOK28
%K AI07 AI06

%A R. E. Ellis
%T A Multiple-Scale Measure of Static Tactile Texture
%B BOOK28
%K AI07

%A David Siegel
%A Inaki Garabieta
%A John M. Hollerbach
%T An Integrated Tactile and Thermal Sensor
%B BOOK28
%K AI07

%A J. Vranish
%T (I) Magneto-Inductive Skin for Robots
%B BOOK28
%K AI07

%A T. Tsumura
%T  Survey of Automated Guided Vehicle Use in Japanese Factories
%B BOOK28
%K AI07  GA01 AA26  AA19

%A T. Tsumura
%A M. Hashimoto
%T  Positioning and Guidance of Ground Vehicle by use of Laser and
Corner Cube
%B BOOK28
%K AI07 AA19

%A K. Nishide
%A M. Hanawa
%T  Automatic Position Findings of Vehicle by means of Laser
%B BOOK28
%K AI07 AA19

%A T. Takeda
%T Automated Vehicle Guidance using Video-Camera/spot Mark System
%B BOOK28
%K AI07  AA19

%A Kenneth Salisbury
%T  Teleoperator Hand Design Issues
%B BOOK28
%K AI07

%A Jeffrey R. Kerr
%T  Special Grasping Configurations with Dextrous Hands
%B BOOK28
%K AI07

%A Van-Duc Nguyen
%T  Constructing Force-Closure Grasps
%B BOOK28
%K AI07

%A Peter W. Taylor
%T  Design and Implementation of a Multi-Variable Programmable Controller
for a 9-axis General Purpose Gripper
%B BOOK28
%K AI07

%A J. Y. S. Luh
%A Y. F. Zheng
%T Compliance and Coordinated Control of Two Moving Robots
%B BOOK28
%K AI07

%A O. Khatib
%T A Unified Approach for Motion and Force Control: The Operational Space
Formulation
%B BOOK28
%K AI07

%A J. J. E. Slotine
%T Robustness and Adaptation in Compliant Motion Control
%B BOOK28
%K AI07

%A Tsuneo Yashikawa
%T Dynamic Hybrid Position/Force Control of Robot Manipulators:
Description of Hand Constraints and Calculation of Joint Driving Force
%B BOOK28
%K AI07

%A Freidrich Pfeiffer
%A Ranier Johanni
%T A Concept for Manipulator Trajectory Planning
%B BOOK28
%K AI07

%A Bernard Faverjon
%T Object Level Programming of Industrial Robots
%B BOOK28
%K AI07

%A Bruce H. Krogh
%A Charles E. Thorpe
%T Integrated Path Planning and Dynamic Steering Control for Autonomous
Vehicles
%B BOOK28
%K AA19

%A D. Gaw
%A A. Meystel
%T Minimum Time Navigation of an Unmanned Mobile Robot in a 2 1/2 D World
with Obstacles
%B BOOK28
%K AA19 AI09

%A A. Meystel
%A A. Guez
%A G. Hillel
%T Planning of Minimum Time Motion Among Obstacles
%B BOOK28
%K AI07 AI09 AA19

%A J. Bradley Chen
%A Ronald S. Fearing
%A Brian S. Armstrong
%A Joel W. Burdick
%T NYMPH: A Multiprocessor for Manipulation Applications
%B BOOK28
%K AI07 H03

%A Christopher G. Atkenson
%A Joe McIntyre
%T Robot Trajectory Learning Through Practice
%B BOOK28
%K AI07 AI04

%A Sanjiv Singh
%A Meghanad D. Wagh
%T Robot Path Planning Using Intersecting Convex Shapes
%B BOOK28
%K AI07 AI09

%A D. M. Lyons
%T Tagged Potential Fields: An Approach to Specification of Complex Manipulator
Configurations
%B BOOK28
%K AI07

%A B. John Oommen
%A Irwin Reichstein
%T On the Problem of Translating an Elliptic Object Through a Workspace of
Elliptic Obstacles
%B BOOK28
%K AI07

%A James H. Graham
%A John H. Meegher
%A Stephen J. Derby
%T A Safety and Collision Avoidance System for Industrial Robots
%J IEEE Transactions on Industry Applications
%V 22
%N 1
%D January-February 1986
%K AI07

%A K. Piasecki
%T On the Bayes Formula for Fuzzy Probability Measures
%J Fuzzy Sets and Systems
%V 18
%N 2
%D March 1986
%K O04

%A I. A. Kalynev
%T A Decentralized System for Planning and Controlling the Activity
of a Team of Mobile Robots
%J Cybernetics
%V 21
%N 4
%D July-August 1984
%P 533-538
%K AI07 AI09

%A B. R. Boyce
%T Questions Natural Language Examples in Caduceus
%J OnLine
%V 10
%N 2
%D March 1986
%P 54-76
%K AA01 AI01 AI02 AA14

%A B. S. Thompson
%A C. K. Sung
%T The Design of Robots and Intelligent Manipulators Using Modern Composite
Materials
%J MAG24
%P 471-482
%K AI07

%A S. M. Song
%A K. J. Waldron
%A G. L. Kinzel
%T Computer-Aided Geometric Design of Legs for a Walking Vehicle
%J MAG24
%P 587-596
%K AI07

%A N. Nandhakumar
%A J. K. Aggarwal
%T The Artificial Intellgience Approach to Pattern Recognition -
A Perspective and an Overview
%J MAG25
%P 383-390
%K AI06

%A J. H. Justice
%A D. J. Hawkins
%A G. Wong
%T Multidimensional Attribute Analysis and Pattern Recognition for Seismic
Interpretation
%J MAG25
%P 391-408
%K AI06  AA03

%A P. L. Love
%A M. Simaan
%T Segmentation of a Seismic Section Using Image Processing and Artificial
Intelligence Techniques
%J MAG25
%P 409-420
%K AI06 AA03

%A K. Y. Huang
%A K. S. Fu
%T Syntactic Pattern Recognition for the Recognition of Bright Spots
%J MAG25
%P 421-428
%K AI06

%A K. Y. Huang
%A K. S. Fu
%A T. H. Sheen
%A S. W. Cheng
%T Image Processing of Seismograms: (A) Hough Transformation for the Detection
of Seismic Patterns (B) Thinning Processing in the Seismogram
%J MAG25
%P 429-440
%K AI06 AA03

%A R. F. Kubichek
%A E. A. Quincy
%T Statistical Modeling and Feature Selection for Seismic Pattern Recognition
%J MAG25
%P 441-448
%K AI06 AA03

%A R. F. Kubicheck
%A E. A. Quincy
%T Identification of Seismic Stratigraphic Traps Using Statistical Pattern
Recognition
%J MAG25
%P 449-458
%K AI06 AA03

%A H. H. Liu
%T A Rule-Based System for Automatic Seismic Determination
%J MAG25
%P 459-464
%K AI06 AA03

%A J. C. Hassab
%A C. H. Chen
%T On Constructing An Expert System for Contact Localization and Tracking
%J MAG25
%P 465-474
%K AI06 AA03 underwater acoustics

%A R. C. Hughes
%A J. N. Maksym
%T Acoustic Signal Interpretation: Reasoning with Nonspecific and Uncertain
Information
%J MAG25
%P 475-484
%K AI06 AA03 O04

%A C. H. Chen
%T Recognition of Underwater Transient Patterns
%J MAG25
%P 485-490
%K AI06

%A B. Bentz
%T Automatic Programming System for Signal Processing Applications
%J MAG25
%P 491
%K AA08 AI06

%A Shigemi Nagata
%A Tohio Matsura
%A Hidachi Endo
%T Automatic Recognition System for Logic Circuit Diagrams
%J Fujitsu Scientific and Technical Journal
%V 21
%N 4
%D August 1985
%P 408-420
%K AI06 AA04

%A Yishai A. Feldman
%T A Decidable Propositional Dynamic Logic with Explicit Probabilities
%J MAG26
%P 11-38
%K O04 AI11

%A David Harel
%A Dexter Kozen
%T A Programming Language for the Inductive Sets and Applications
%J MAG26
%P 118

%A R. I. Phelps
%T Artificial Intelligence-An Overview of Similarities with O. R.
%J MAG27
%P 13-20

%A M. J. Russell
%A R. K. Moore
%A M. J. Tomlinson
%T Dynamic Programming and Statistical Modeling in Automatic Speech Recognition
%J MAG27
%P 21-30
%K AI05

%A Michael Tso
%T Network Flow Models in Image Processing
%J MAG27
%P 31-34
%K AI06

%A Jon Warwick
%A Bob Phelps
%T An Application of Dynamic Programming to Pattern Recognition
%J MAG27
%P 35-40
%K AI06

%A T. J. Grant
%T Lessons for O. R. from A. I.: A Scheduling Case Study
%J MAG27
%P 41-48
%K AA05

%A V. G. Sigillito
%T Artificial Intelligence Research at the APL Research Center: An Overview
%J MAG28
%P 15-18

%A B. F. Kim
%A J. Bohandy
%A V. G. Sigillito
%T A Hierarchical Computer Vision Programming
%J MAG28
%P 19-22
%K AI06

%A B. I. Blum
%A V. G. Sigillito
%T An Expert system for Designing Information Systems
%J MAG28
%P 23-30
%K AI01 AA08

%A B. W. Hamill
%A R. L. Stewart
%T Modeling the Acquisition and Representation of Knowledge for Distributed
Tactical Decision Making
%J MAG28
%P 31-38
%K AA18 H03

%A Zuo L. Cao
%A Sung J. Oh
%A Ernest L. Hall
%T Dynamic Omnidirectional Vision for Mobile Robots
%J MAG29
%P 5-18
%K AI06 AI07

%A Wei-Chung Lin
%A Joseph B. Ross
%A Michelle Ziegler
%T Semiautomatic Calibration of Robot Manipulator for Visual Inspection Task
%J MAG29
%P 19-40
%K AI06 AI07

%A K. C. Gupta
%A G. J. Carlson
%T On Certain Aspects of the Zero Reference Position Method and its Application
to an Industrial Manipulator
%J MAG29
%P 41-58
%K AI07

%A T. H. Chiu
%A A. J. Koivo
%A R. Lewczyk
%T Experiments on Manipulator Gross Motion Using Self-tuning Controller and Visu
al
Information
%J MAG29
%P 59-70
%K AI07 AI06

%A A. A. Goldenberg
%A A. Bazerghi
%T Contribution to Synthesis of Manipulator Control
%J MAG29
%P 71-104
%K AI07

%A Shuhei Aida
%A Mitsuhiko Hasegawa
%A Taizo Ueda
%T Technology and Corporate Culture of Industrial Robots in Japan
%J MAG29
%P 105
%K AI07 GA01 O05

%A A. Micho
%T Developments in Expert Systems by M. J. Coombs
%J Proceedings of the IEEE
%V 74
%N 3
%D March 1986
%P 52
%K AT07 AI01

%A J. O. Eklundh
%A L. Kjelidahl
%T Computer Graphics and Computer Vision -- Some
Unifying and Discriminating Features
%J Computer and Graphics
%V 9
%N 4
%D 1985
%P 339-350
%K AI06

%A John Sandor
%T Octree Data Structures and Perspective Imagery
%J Computers and Graphics
%V 9
%N 4
%D 1985
%K AI06

%A Joseph Y. Halpern
%A Yoram Moses
%T Toward a Theory of Knowledge and Ignorance (Preliminary Report)
%B BOOK36
%P 459-476
%K AI16

%A Asher Peres
%T Reversible Logic and Quantum Computers
%J Physics Reviews A
%V 32
%N 6
%D 1985
%P 3266-3276

%A G. G. Ananiashviii
%A Z. I. Mundzhishvii
%A N. N. Bichashvii
%T Word Identification in a Natural Language in Interactive Systems
%J Soobshch. Akad. Nauk. Gruzin. SSR
%V 116
%N 3
%D 1984
%P 497-500
%K AI02
%X in Russian with English and Georgian Summaries

%A Dumitru Dumitrescu
%T Hierarchical Classification with Fuzzy Sets
%R Reprint 84-5
%I Univ. Babes-Bolyai
%C Cluj-Napoca
%D 1984
%K O04 O06
%X also appeared in Seminar of Models, Structures and Information Processing,
Cluj-Napoca

%A V. V. Krasnoproshin
%A V. A. Obratsov
%T Two-Level Models of Pattern Recognition Algorithms
%J Zh. Vychisl. Mat. i. Mat. Fiz
%V 25
%N 10
%D 1985
%P 1534-1546, 1582
%K AI06
%X (in Russian)

%A A. M. Slinko
%T Some Algebraic Operations Over Classification Algorithms and Their
Application
%J Zh. Vychisl. Mat. i. Mat. Fiz.
%V 25
%N 10
%D 1985
%P 1547-1546
%K O06
%X (in Russian)

%A Ronald R. Yager
%T Aggregating Evidence Using Quantified Statements
%J Inform. Sci
%V 36
%N 1-2
%D 1985
%P 179-206
%K O04

%A A. S. Dzyuba
%T Mean Deviation of the Frequency of Incorrect Pattern Recognition from
the Probability
%J Zh. Vychisl. Mat. i. Mat. Fiz.
%V 25
%N 10
%D 1985
%P 1547-1546
%K AI06
%X (in Russian)

%A D. M. Gabbay
%T Theoretical Foundations for Nonmonotonic Reasoning in Expert Systems
%B BOOK36
%P 439-457
%K AI15 AI16

%A Brian R. Gaines
%A Mildred L. G. Shaw
%T Logic, Algebra and Databases
%S Computers and Their Applications
%V 29
%I Ellis Horwood
%C Chichester
%K AT15  AA09
%X 294 pages ISBN 0-85312-709-3

%A H. Guggenheimer
%T Optical Flow for General Transformations
%S Polytechnic Notes on Artificial Intelligence
%V 1
%I Polytechnic Institute of New York, Division of Computer Science
%C Farmingdale, NY 1985
%K AI06
%X 19 pages

%A Abraham Lempel
%A Jacob Ziv
%T Compression of Two-Dimensional Images
%B BOOK37
%P 141-154
%K AI06

%A Can Isik
%A Alexander Meystel
%T Decision Making at a Level of a Hierarchical Control for Unmanned Robot
%B BOOK28
%K AI07

%A Marcin Banachiewicz
%T MSL: Robotic Sensor/Effector Programming Language
%B BOOK28
%K AI07

%A Michael K. Brown
%T On Ultrasonic Detection of Surface Features
%B BOOK28
%K AI07 AI06

%A B. A. Auld
%A A. J. Bahr
%T A Novel Multifunctional Robot Sensor
%B BOOK28
%K AI07

%A P. P. Lin
%A P. Datseris
%T Development of a Position and Force Sensor for Robotic Applications
%B BOOK28
%K AI07

%A F. W. Sinden
%A R. A. Bole
%T A Planar Capactive Force Sensor with Six Degrees of Freedom
%B BOOK28
%K AI07

%A William I. Bullers
%T Logic Programming for Manufacturing System Specification
%B BOOK28
%K  AI10 AA26

%A Rodger Cliff
%T Meta-Architectural Issues of the ALV: Developing a Paradigm for Intelligent
System Engineering
%B BOOK28
%K AI07 AA19

%A David Payton
%T A Reflexive Control Approach to Autonomous Vehicle Navigation
%B BOOK28
%K AI07 AA19

%A Daryl T. Lawton
%A Tod Levitt
%A Jay Glicksman
%T Terrain Modeling and Recognition for an Autonomous Lank Vehicle (sic)
%B BOOK28
%K AI07 AA19 AI06

%A Don Shapiro
%A Ted Linden
%A Jay Glicksman
%A Daryl Lawton
%T Object Based Planning for an Autonomous Land Vehicle
%B BOOK28
%K AI07 AA19 AI09

%A W. W. W. Cimino
%A G. R. Penrock
%T Workspace of a Six Revolute Decoupled Robot Manipulator
%B BOOK28
%K AI07

%A Bayliss McInnis
%A Chen-Kang Liu
%T Coordinate Frames, Transformations and Inverse Functions for Joint Variables
in Robotics: A Tutorial Based Upon Classical Concepts
%B BOOK28
%K AI07

%A Dieter W. Wloka
%T Simulation of Robots Using CAD-System Robsim
%B BOOK28
%K AI07

%A Chi-hau Wau
%A Herando Valenco
%T Trajectory Feasibility Study Based on Cartesian Workspace Geometry for
Robot Manipulators
%B BOOK28
%K AI07

%A J. Korein
%A R. Taylor
%A G. Maier
%A L. Durfee
%T A Configurable Environment for Motion Programming and Control
%B BOOK28
%K AI07

%A Richard Paul
%A Hang Zhang
%T A Force and Motion Server for Distributed Robot Control
%B BOOK28
%K AI07 H03

%A D. Siegel
%A S. Narasimhan
%A K. Biggers
%A G. Gerpheide
%T Implementation of Control Methodologies on the Computational
Architecture for the Utah/MIT Hand
%B BOOK28
%K AI07

%A Robert D. Gaglianello
%A Howard P. Katseff
%T A Distributed Computing Environment for Robotics
%B BOOK28
%K AI07

%T Large-Dictionary, On-Line Recognition of Spoken Words
%R PB84-214246/CAO
%I Helsinki Univ. of Technology
%D 1983
%K AI02
%X NTIS price, PC$11.50/MF$6.50

%T LispKit Manual. Volume 1
%R PB84-204874/CAO
%I Oxford University
%D 1983
%K T01
%X NTIS price PC $17.50/MF $17.50

%T LispKit Manual. Volume 2 (Sources)
%R PB84-204882/CAO
%I Oxford University
%D 1983
%K T01
%X NTIS price PC$17.50/MF $17.50

%T Verification of Secure Systems
%R PB84-138718/CAO
%I Newcastle upon Tyne Univ.
%D 1982
%K AA08
%X NTIS price PC$13.50/MF$13.50

%T Designing Automated Systems -- Need Skill Be Lost
%R PB84-232297/CAO
%I University of Manchester Institute of Science and Technology
%D August 1983
%K O05
%X NTIS price PC $9.50/MF $9.50

%T Robot Manipulators: Program Control 1975- SEPT 1984
%R PB 84-875384/CAO
%I NTIS
%K AI07 AT09
%X NTIS prices PC $40.00/MF$40.00  contains over 300 references extracted
from the INSPEC database

%T Robotic Technology: An Assessment and Forecast
%R AD-A146 672/CAO
%I DHR, Inc.
%C Washington, DC
%D July 1984
%K AI07
%X NTIS price PC $17.50 MF $4.50

%T Robotic Safety
%R DE84-012237/CAO
%I Sandia National Labs
%C Alburquerque, NM
%D May 1984
%K AI07
%X NTIS prices PC $7/MF$4.50

%A Chanderjit Bajaj
%T An Efficient Parallel Solution for
Euclidean Shortest Paths in Three Dimensions
%B BOOK28
%K O06

%A P. Morasso
%A F. A. Mussa-Ivaldi
%T The Role of Physical Constraints in Natural and Artificial Manipulation
%B BOOK28
%K AI07

%A S. Dubowsky
%A M. A. Norris
%A Z. Shiller
%T Time Optimal Trajectory Planning for Robotic Manipulators with Obstacle
Avoidance: A CAD Approach
%B BOOK28
%K AI07 AI09

%A E. Dombre
%A A. Fournier
%A C. Quaro
%A P. Borrel
%T Trends in CAD/CAM Systems for Robotics
%B BOOK28
%K AI07

%A A. L. Pai
%A K. Lee
%A K. Palmer
%A D. G. Selvidge
%T Automated Visual Inspection of Aircraft Engine Combustor Assemblies
%B BOOK28
%K AI06 AA26

%A Thomas M. Kisko
%A Eginhard J. Muth
%T Multiple-Stage Assembly of Personal Computers in Robotic Workcells
with Vision Support
%B BOOK28
%K AI07 AI06 AA26

%A E. B. Silverman
%A R. K. Simmons
%A F. E. Gelhaus
%A J. Lewis
%T Surveyor: A Remotely Operated Mobile Surveillance System
%B BOOK28
%K AI07 AI06 AA19 AA04

%A Edward N. Scheibel
%A Henry R. Busby
%A Kenneth J. Waldron
%T Design of a Mechanical Proximity Sensor
%B BOOK28
%K AI07

%A Corinne C. Ruokangas
%A Michael S. Black
%T Integration of Multiple Sensors to Provide Flexible Control Strategies
%B BOOK28
%K AI07 AI06

%A Keishi Hanahara
%A Tsugito Maruyama
%A Takashi Uchiyama
%T High-Speed Hough Transform Processor and its Applications to Automatic
Inspection and Measurement
%B BOOK28
%K AI06

%A H. D. Cheng
%T VLSI Architecture for Dynamic Time-Warp Recognition of Hand-Written Symbols
%B BOOK28
%K AI06

%A E. Hu
%A S. Mangiaracina
%A M. Peters
%A A. Harkin
%A S. Hackword
%A G. Beni
%T Inference in Intelligent Machines: Applications to a Thermal Evaporator
%B BOOK28
%K  AA05 AI01

%A Zixing Cai
%A K. S. Fu
%T Robot Planning Expert Systems
%B BOOK28
%K AI07 AI01

%A Zixing Cai
%T Some Research Works on Expert Systems in AI Course at Purdue
%B BOOK28
%K AI01 AT18

%A Jean Patrick Tsang
%A Yves Lagoude
%T Representation and Manipulation of Process Plans in Generic Expert Systems
%B BOOK28
%K AI01 AA05 AI09

%A Mark Thomas
%T ALV Reasoning Systems
%B BOOK28
%K AA19

%A David Morgenthaler
%T ALV Perception System
%B BOOK28
%K AA19 AI06

%A Jim Lowrie
%A R. Douglass
%T Autonomous Road Following
%B BOOK28
%K AI07 AA19 AI06

%A T. Kanade
%T Panel Discussion: Possibilities in ALV Research
%B BOOK28
%K AA19

%A Joseph Y. Halpern
%T Reasoning About Knowledge: An Overview
%B BOOK38
%K AA16

%A Joseph Y. Halpert
%T Theoretical Aspects of Reasoning About Knowledge
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1986
%K AA16 AT15
%X ISBN 0-934613-0404 $18.95

%A Ryszard S. Michalski
%A Jaime G. Carbonell
%A Tom M. Mitchell
%T Machine Learning : An Artificial Intelligence Approach, Volume II
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1986
%K AI04 AT15
%X ISBN 0-934613-00-1  $39.95 738 pages

%A Ronald J. Brachman
%A Hector J. Levesque
%T Readings in Knowledge Representation
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1986
%K AA16 AT15
%X ISBN 0-934613-01-X $26.95 571 pages

%A Perry L. Miller
%T A Critiquing Approach to Expert Computer Advice: Attending
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1984
%K AI01 AA01 anesthesiology O01 AT15 O01
%X ISBN 0-273-08665-0 $19.95 112 pages

%A Richard Korf
%T Learning to Solve Problems by Searching for Macro-Operators
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1985
%K AI09 AI04 AT15
%X ISBN 0-273-08690-1 $22.95

%A Pual R. Cohen
%T Heuristic Reasoning About Uncertainty An Artificial Intelligence
Approach
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1985
%K O06 AT15
%X ISBN 0-273-08667-7 $22.95

%A Andrew J. Palay
%T Searching with Probabilities
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1985
%K AT15 chess AI03 AA17 O04
%X ISBN 0-273-08664-2 $22.95 192 pages

%A Yuichi Ohta
%T Knowledge-Based Interpretation of Outdoor Natural Color Scenes
%I Morgan Kaufman Publishers, Inc.
%C Palo Alto, CA
%D 1985
%K AT15 AI06
%X ISBN 0-273-08673-1  $19.95

%A Susanne P. Graf
%A J. Sifakis
%T From Synchronization Tree Logic to Acceptance Model Logic
%B BOOK35
%P 128-142
%K AA08

%A A Sam Kamin
%T A FASE specification of FP
%B BOOK35
%P 143-152
%K AA08

%A R. Koymans
%A R. K. Shyamasundar
%A W. P. de Roever
%A R. Gerth
%A S. Arun-Kumar
%T Compositional Semantics for Real-Time Distributed
computing
%B BOOK35
%P 167-189
%K AA08

%A F. Kroger
%T On Temporal Program Verification Rules
%J RAIRO Inform. Theor
%V 19
%N 3
%D 1995
%P 261-280
%K AA08

%A J. L. Lassez
%A Michael John Maher
%T Optimal Fixed Points of Logic Programs
%J Theoretical Computer Science
%V 39
%N 1
%D 1985
%P 15-25
%K AI10

%A Daniel Leivant
%T Partial-Correctness Theoreis as First-Order Theories
%B BOOK35
%P 190-195
%K AA08 AI11

%A Albert R. Meyer
%A Mitchell Wand
%T Continuation Semantics in Typed Lambda-Calculi
%B BOOK35
%K AA08

%A B. Mishra
%A E. Clarke
%T Hierarchical Verification of Asynchronous Circuits Using
Temporal Logic
%B BOOK35
%K AA04

%A Eugene C. Freuder
%T A Sufficient Condition for Backtrack-Bounded Search
%J JACM
%V 32
%N 4
%D 1985
%P 755-761
%K AI03

%A Irina Bercovici
%T Unsolvable Terms in Typed Lambda Calculus with Fixed
Point Operators
%B BOOK35
%P 16-22
%K AA08

%A Val Breazu-Tannen
%A Albert R. Meyer
%T Lambda Calculus with Constrained Types
%B BOOK35
%P 23-40
%K AA08

%A Stephen D. Brookes
%T An Axiomatic treatment of a Parallel Programming
Language
%B BOOK35
%P 41-60
%K AA08

%A A A. Ya Dikovskii
%T Solution in Linear Time of Algorithmic Problems
Connected with Synthesis of Nonlooping Programs
%J Programmirovanie
%V 1985
%N 3
%P 38-49
%K AA08
%X in Russian

%A E. Allen Emerson
%T Automata, Tableaux and Temporal Logics
%B BOOK35
%P 79-88
%K AA08

%A Nissim Francez
%A Orna Grumberg
%A Shmuel Katz
%A Amir Pnueli
%T Proving Termination of Prolog Programs
%B BOOK35
%P 89-105
%K AA08 O02

%A J. Padget
%T Current Developments in Lisp
%B BOOK39
%P 45-57
%K T01

%A A. W. Biermann
%T Algorithmic Methods in Automatic Programming
%B BOOK39
%P 124-135
%K AA08

%A G. Kreisel
%T Proof Theory and the Synthesis of Progrmas - Potentials and Limitations
%B BOOK39
%P 136-150
%K AA08

%A T. Coquand
%A G. Huet
%T Constructions - A Higher Order Proof System for Mechanizing Mathematics
%B BOOK39
%P 151-184
%K AA13

%A C. A. R. Hoare
%T The Mathematics of Programming
%B BOOK40
%P 1-18
%K AA08

%A G. Agha
%A C. Hewitt
%T Concurrent Programming Using Actors - Exploiting Large-Scale Parallelism
%B BOOK40
%P 19-40
%K H03

%A C. Ghezzi
%A D. Mandrioli
%A A. Tecchio
%T Program Simplification via Symbolic Interpretation
%B BOOK40
%P 116-128
%K AA08

%A J. Hsiang
%A M. Srivas
%T PROLOG Based Inductive Theorem Proving
%B BOOK40
%P 129-149
%K T02 AI11

%A J. Veenstra
%A N. Ahuja
%T Deriving Object Octree from Images
%B BOOK40
%P 196-211
%K AI06

%A Z. Manna
%A R. Walding
%T Deduction with Relation Matching
%B BOOK40
%P 212-224
%K AI14 AI11

%A F. V. Jensen
%A K. G. Larsen
%T Recursively Defined Domains and their Induction Principles
%B BOOK40
%P 225-245
%K AA08

%A G. Venkatesh
%T A Decision Method for Temporal Logic Based on Resolution
%B BOOK40
%P 272-289
%K AI11 AI14

%A A. Chandra
%T Who Needs to Verify Programs if you Can Test Them
%B BOOK40
%P 346
%K AA08

%A V. A. Saraswat
%T Partial Correctness Semantics for CP [Down-and]
%B BOOK40
%P 347-368
%K AA08

%A E. W. Stark
%T A Proof Technique for Rely Guarantee Properties
%B BOOK40
%P 369-391
%K AA08 AI11

%A G. Winskel
%T A Complete Proof System for SCCS with Modal Assertions
%B BOOK40
%P 392-410
%K AA08

%A R. D. Schraft
%A J. Schuler
%T Robot Applications in FMS
%B Flexible Manufacturing Systems
%E H. J. Warnecke
%E R. Steinhilper
%I Springer-Verlag
%C Berlin
%D 1985

%A A. A. Goldenberg
%A A. Bazerghi
%T Synthesis of Robot Control for Assembly Processes
%J Mechanism and Machine Theory
%V 21
%N 1
%D 1986
%P 43-62
%K AI07 AA26

%A H. J. Warnecke
%A B. Frankenhauser
%T Assembly of Flexible Parts with Industrial Robots
%J MAG30
%P 8-11
%K AI07 AA26

%A P. Nicolaisen
%T Improved Worker Safety in the Programming of Industrial Robots
%J MAG30
%P 12-14
%K AI07

%A K. H. Wurst
%A M. Bauder
%T Control Structures and Information Exchange for Linked Industrial
Robots
%J MAG30
%P 15-17
%K AI07 H03

%A Jeffrey Kerr
%A Bernard Roth
%T Analysis of Multifingered Hands
%J MAG31
%P 3-17
%K AI07

%A Mark L. Hornick
%A Bahram Ravani
%T Computer Aided Off-Line Planning and Programming of Robot Motion
%J MAG31
%P 18-31
%K AI07

%A John Hopcroft
%A Gordon Wilfgong
%T Motions of Objects in Contact
%J MAG31
%P 32-46
%K AI07

%A Katsutoshi Kuribayashi
%T A New Actuator of a Joint Mechanism Using TiNi Alloy Wire
%J MAG31
%P 47-58
%K AI07

%A Jorge Angeles
%T Iterative Kinematic Inversion of General Five-Axis Robot Manipulators
%J MAG31
%P 59-70
%K AI07

%A James P. Trevelyan
%A Peter D. Kovesi
%A Michael Ong
%A David Elford
%T ET: A Wrist Mechanism without Singular Positions
%J MAG31
%P 71
%K AI07

%A K. G. Kempf
%T Manufacturing and Artificial Intelligence
%B BOOK41
%P 1-20
%K AA26

%A P. Raulefs
%T Knowledge Processing Expert Systems
%B BOOK41
%P 21-32
%K AI01

%A W. Wahlster
%T Cooperative Access Systems
%B BOOK41
%P 33-46
%K AI16

%A C. W. Burckhardt
%T The Next Generation of Robots - Increased Flexibility Through the
Use of Sensors
%B BOOK41
%P 47-50
%K AI07

%A B. Neumann
%T Vision Systems - State of the Art and Prospects
%B BOOK41
%P 51-62
%K AI06

%A G. Albers
%T Expert Systems and Knowledge Engineering - Robotics and
Intelligent Interfaces - Summary of Discussions
%B BOOK41
%P 63-66
%K AI01 AI07

%A B. Rees
%T Artificial Intelligence in a Large-Scale Enterprise - the
Experience of Digital Equipment Corrporation
%B BOOK41
%P 67-76

%A D. Sagalowicz
%T Expert Systems in Service Sectors - Use of Expert Systems in 6
Sample Cases
%B BOOK41
%P 77-80
%K AA06 AI01

%A H. Thompson
%T Office Automation - A Field for Applied Artificial Intelligence
%B BOOK41
%P 81-86
%K AA06

%A C. J. Jenny
%T Requirements on Expert Systems as Seen by an Insurance Company
%B BOOK41
%P 87-96
%K AI01 AA06

%A G. Eibl
%T Current Work on Expert Systems and Natural Language Processing
at Siemens
%B BOOK41
%P 97-106
%K AI01 AI02

%A W. Sieber
%T Computer Assisted Synthesis - a Project of the Chemical Industry
%B BOOK41
%P 107-110
%K AA16 AA05

%A R. L. Langley
%T A Case Study of the Dipmeter Advisor Development
%B BOOK41
%P 111-118
%K AA03 AI01

%A S. E. Savory
%T FF - A Nixdorf Expert System for Fault-Finding and Fault
Finding - An Outline Description
%B BOOK41
%P 119-128
%K AI01 AA21

%A J. F. Hery
%T A Prototype Expert System in PWR Power Plant Conducting
%B BOOK41
%P 129-134
%K AA05

%A H. Marchand
%T Knowledge Engineering in CAE - First Industrial Experiences
%B BOOK41
%P 135-142
%K AA05

%A J. C. Latombe
%T Advanced Information Processing in Robotics
%B BOOK41
%P 143-160
%K AA05

%A D. C. Schwartz
%T The Lisp Machine Architecture
%B BOOK41
%P 161-168
%K H02

%A K. Wiig
%T Market Trends in Artificial Intelligence in the United
States and Japan
%B BOOK41
%P 169-184
%K GA01 GA02  AT04

%A A. W. Pearson
%T Speculations on the Future of Knowledge Engineering in Europe I,II
%B BOOK41
%P 185-188
%K GA03

%A H. W. Husch
%A E. Staudt
%T The Influence of Artificial Intelligence on Organizational Structure and Rati
onalization
%B BOOK41
%P 189-200
%K O05

%A T. Bernold
%T Possibilities and Limitations of Artificial Intelligence
%B BOOK41
%P 205-208
%K AI16

%A S. A. Cerri
%T Problems of the Infrastructure - the Bottlenecks in Research and Training
%B BOOK41
%P 209-212
%K AT19

%A B. Oakley
%T Research Policy of Administrations - Great Britain (ALVEY)
%B BOOK41
%P 213-218
%K AT19 GA03

%A H. Gallaire
%A W. Bibel
%A B. Oakley
%T Cooperation Between University, Government and Industry
%B BOOK41
%P 217-220
%K AT10

%A M. Boden
%T Artificial Intelligence and Natural Man
%B BOOK41
%P 221
%K AI16 O05

%A Benjamin W. Wah
%A Guo-Jie Li
%T Tutorial: Computers for Artificial Intelligence Applications
%I IEEE Computer Society
%D May 1986
%K AT15
%X list price $49.00 member price $36.00 order no CZ706
ISBN 0-8186-0706-8 648 pages

%A A C. S. George Lee
%A R. C. Gonzalez
%A K. S. Fu
%T Tutorial: Robotics (Second Edition)
%I IEEE Computer Society
%D APRIL 1986
%K AI07 AT15
%X Order NO. CZ658, ISBN 0-8186-0658-4 list price $70.00
member price $39.00 744 pages

%A Rama Chellappa
%A Alexander A. Sawchuk
%T Tutorial: Digital Image Processing and Analysis
Volume 2: Digital Image Analysis
%I IEEE Computer Society
%D December 1985
%K AI06 AT15
%X ISBN 0-8186-0666-5 Order No. CZ666 list price
$66.00 member price $36.00, 680 pages

%A Rama Chellappa
%A Alexander A. Sawchuk
%T Tutorial: Digital Image Processing and Analysis
Volume I: Digital Image Processing
%I IEEE Computer Society
%D June 1985
%K AI06 AT15
%X ISBN 0-8186-0665-7 order No.  CZ665
list price $66.00 member price $36.00 736 pages

%A J. Gauvin
%T Robots 10 Stresses Integration
%J MAG32
%P 53-58
%K AI07

%A J. P. Ziskovsky
%T Robots - A Piece of the Automation Pie
%J MAG32
%P 14
%K AT12 AA26 AI07

%A N. S. Rajaram
%T Artificial Intelligence: Its Impact on the Process Industries
%J MAG33
%P 33-44
%K AA20 AA16

%A G. Allmendinger
%T AI: Can Performance Match the Promise?
%J MAG33
%P 45-50
%K AA16

%A R. S. Shirley
%A D. A. Fortin
%T Developing an Expert System for Process Fault Detection
and Analysis
%J MAG33
%P 51-56
%K AA05 AA20 AA21 AI01

%A A. E. Nisenfeld
%A M. A. Turk
%T Batch Reactor Control: Could an Expert Advisor Help?
%J MAG33
%P 57
%K AA05 AA20 AI01

%A G. Spur
%A G. Seliger
%A T. V. Diep
%T Sensor Based Assembly System
%J MAG34
%P 3-8
%K AI07 AA26
%X (in German)

%A U. Vongunten
%A C. W. Burckhardt
%T Sensors for Robots - Searching, Touching, Grasping
%J MAG34
%P 9-16
%K AI07 AI06
%X (in German)

%A G. Zimmer
%A B. Hosticka
%T Integration of Sensors Using VLSI Technologies
%J MAG34
%P 17-26
%K AI07
%X (in German)

%A W. Weber
%A H. Britwieser
%T Control of Servomanipulator by the Inverse Model
%J MAG34
%P 27-36
%K AI07
%X (in German)

%A U. Ahrens
%A G. Drunk
%A A. Langen
%T Sensor Interfaces of Robot Control Systems
%J MAG34
%P 37-46
%K AI07
%X (in German)

%A G. Pritschow
%A G. Gruhler
%T Sensors for Geometry and Processing of Sensor Data for Automatical Robot
Programming
%J MAG34
%P 47-54
%K AI07 AI06
%X (in German)

%A T. J. Doll
%T Non-Tactile Sensors for Robots and Planning of Sensor Application
%J MAG34
%P 55
%K AI07 AI06
%X (in German)

%A M. C. Wanner
%T Industrial Robots in Japan in 1984
%J MAG34
%P 54
%K AI07 GA01
%X (in German)

%T VAl-II, a New Robot Programming Language
%J MAG34
%P 63
%K AI07
%X (in German)

%A L. A. Walils
%A A. Bendell
%T Human Factors and Sampling Variation in Graphical Identification and
Estimation for the Weibull Distribution
%J Reliability Engineering
%V 13
%N 3
%D 1985
%K AI08

%A C. A. J. Braganca
%A P. Sholl
%T Val-II, A Language for Hierarchical Control of a Robot-Based Automated
Factory
%J MAG35
%P 265-272
%K AI07 AA26

%A P. T. Rayson
%T A Review of Expert Systems Principles and Their Role in Manufacturing
Systems
%J MAG35
%P 279
%K AI07 AA26 AT08

%A W. E. Red
%A Hung-Viet Truong-Cao
%T Configuration Maps for Robot Path Planning in Two Dimensions
%J MAG36
%P 292-298
%K AI07 AI09

%A O. Z. Maimon
%A S. Y. Nof
%T Coordination of Robots Sharing Assembly Tasks
%J MAG36
%P 299-307
%K AI07 AA26

%A S. N. Singh
%A A. A. Schy
%T Robust Trajectory Following Control of Robotic Systems
%J MAG36
%P 308-315
%K AI07

%A A. J. Kolvo
%T Self-Tuning Manipulator Control in Cartesian Base Coordinate Systems
%J MAG36
%P 316-323
%K AI07

%A G. W. Kohler
%T Power Manipulators
%J MAG37
%P 195-202
%K AI07

%A U. Ahrens
%T Possibilities and Problems in Application of Airborne Ultrasonic
Sensors in Assembly Systems and Handling Systems
%J MAG37
%P 203-210
%K AI06 AI07 AA26

%A D. Wloka
%A K. Blug
%T Simulation of Robot Dynamics with the Method of Kane
%J MAG37
%P 211-216
%K AI07

%A M. C. Wanner
%A K. Baumeister
%A G. W. Kohler
%A H. Walze
%T Robotics in Civil Engineering
%J MAG37
%P 227-236
%K AI07 AA05

%A C. Blume
%A B. Heck
%T Analysis of Inherent Concurrency in High Level Programming Languages
for Industrial Robots
%J MAG37
%P 237-230
%K AI07 H03

%A P. Nitezki
%T Experience with SPIDER- A Portable Subroutine Library for Image Processing
%J MAG37
%P 231-233
%K AI06

%A R. Dillmann
%A M. C. Wanner
%T The Esprit Project in the Area of Robotics
%J MAG37
%P 234
%K GA03 AI07

%A Robert L. Stewart
%A Douglas R. Ousborne
%T An Experimental Expert Weapon Detection System
%J Naval Engineers Journal
%V 98
%N 3
%D May 1986
%P 24-34
%K AA18 AI01

%A M. Raghaven
%A S. I. Mehta
%A U. Pathie
%A K. V. Vaishampayan
%T Mechanical Design of an Industrial Robot
%J Indian Journal of Technology
%V 24
%N 3
%D March 1986
%P 149-152
%K AI07

%A Mark Wynott
%T Close-Up: Artificial Intelligence Provides Real-Time Control of Material
Handling Process
%J Industrial Engineering
%V 18
%N 4
%D April 1986
%P 34-46
%K AA26 AA05 O03

%A M. C. Golumbic
%A M. Markovich
%A S. Tsur
%A U. J. Schild
%T A Knowledge Based Expert System for Student Advising
%J IEEE Transactions on Education
%V 29
%N 2
%D May 1986
%P 120-124
%K AA06 AI01

%A A. B. Ritter
%A W. Braun
%A A. Stein
%A W. Duran
%T Visualization of the Coronary Microcirculation Using Digital Image
Processing
%J Computers in Biology and Medicine
%V 15
%N 6
%D 1985
%P 361-375
%K AI06 AA10

%A D. Umphress
%A G. Williams
%T Identity Verification Through Keyboard Characteristics
%J MAG38
%P 263-274
%K AI06

%A R. J. Baron
%T Visual Memories and Mental Images
%J MAG38
%P 275-312
%K AI08

%A B. A. Julstrom
%A R. J. Baron
%T A Model of Mental Imagery
%J MAG38
%P 313
%K AI08

%A J. Bajon
%A M. Cattoen
%A S. D. Kim
%T A Concavity Characterization Method for Digital Objects
%J Signal Processing
%V 9
%N 3
%D October 1985
%K AI06

%A V. M. Kushkov
%T Improving the Reliability of Flexible Manufacturing Systems
%J MAG19
%K AA26

%A V. N. Abrarov
%T Investigation of the Limiting Characteristics of Electrostatic
Gripping Devices in Robot Technology
%J MAG19
%K AI07

%A D. R. Kritskii
%A V. Ya Naimanov
%T A Simulation Model for Assessing the Positioning Time of a Robot
%J MAG19
%P 45-49
%K AI07

%A V. G. Ostapchuk
%T The Use of Image Recognition Systems for Automatic Workpiece Gauging
%J MAG19
%P 40-41
%K AI07

%A Kit Grindley
%T Applying Expert Principles to Computer Systems Development
%J MAG20
%P 10-14
%K AI01 AA08

%A Russell Jones
%T European Expert Systems Projects for Systems Developers
%J MAG20
%P 15-17
%K AA08 AI01 GA03

%A Sol J. Greenspan
%A Alexander Borgida
%A John Mylopoulos
%T A Requirements Modeling Language and its Logic
%J MAG21
%P 9-24

%A Jose Fiadeiro
%A Amilcar Sernadas
%T The INFOLOG Linear Tense Propositional Logic of Events and
Transactions
%J MAG21
%P 61-86

%A S. E. Fahlman
%T Parallel Processing in Artificial Intelligence
%J Parallel Computing
%V 2
%N 3
%D December 1985
%P 283-286
%K H03

%A F. Neilson
%T Abstract Interpretation of Denotational Definitions (A Survey)
%B BOOK29
%P 1-20
%K AA08

%A E. A. Emerson
%A C. L. Lei
%T Temporal Reasoning Under Generalized Fairness Constraints (Extended
Abstract)
%B BOOK29
%P 21-36
%K AA08

%A M. A. N. Abdallah
%T Ions and Local Definitions in Logic Programming
%B BOOK29
%P 73-86
%K AI10

%A Adrian Walker
%T Knowledge Systems: Principle and Practice
%J MAG22
%P 2-13
%K AT08

%A R. L. Ennis
%A J. H. Griesmer
%A S. J. Hong
%A M. Karnaugh
%A J. K. Kastner
%A D. A. Klein
%A K. R. Milliken
%A M. I. Schor
%A H. M. Van Woerkom
%T A Continuous Real-Time Expert System for Computer Operations
%J MAG22
%P 14-28
%K AA08 O03

%A P. Hirsch
%A W. Katake
%A M. Meier
%A S. Snyder
%A R. Stillman
%T Interfaces for Knowledge-Base Builders' Control Knowledge
and Application-Specific Procedure
%J MAG22
%P 29-38

%A Franz Guenthner
%A Hubert Lehmann
%A Wolfgang Schonfel
%T A Theory for the Representation of Knowledge
%J MAG22
%P 39-56

%A John F. Sowa
%A Eileen C. Way
%T Implementing a Semantic Interpreter Using Conceptual Graphs
%J MAG22
%P 57-69

%A Jean Fargues
%A Marie-Claude Landau
%A Anne Dugourd
%A Laurent Catach
%T Conceptual Graphs for Semantics and Knowledge Processing
%J MAG22
%P 70-79

%A Ghica van Emde Boas
%A Peter van Emde Boas
%T Storing and Evaluating Horn-Caluse Rules in a Relational
Database
%J MAG22
%P 80-92
%K AA09 AI10

%A William F. Eddy
%A Gabriel P. Pei
%T Structures of Rule-Based Belief Functions
%J MAG22
%P 93-101
%K AI01

%A H. Diel
%A N. Lenz
%A H. M. Welsch
%T An Experimental Computer Architecture Supporting Expert
Systems and Logic Programming
%J MAG22
%P 102
%K AI01 AI10

%A T. Williams
%T Image Processors Allow Hardware Reconfiguration to Match
Applications
%J MAG23
%P 46-54
%K AI06

%A W. E. Suydam
%T AI Becomes the Soul of the New Machines
%J MAG23
%P 55-62

%A D. A. Gewirtz
%T Artificial Intelligence As a System Component
%J MAG23
%P 63-64

%A A. D. Jacobson
%T The Challenges Facing Expert Systems Technology
%J MAG23
%P 65-67

%A R. Moore
%T AI Must Cater to Nonexperts
%J MAG23
%P 68-76
%K O01

%A P. Haley
%A C. Williams
%T Expert System Development Requires Knowledge Engineering
%J MAG23
%P 83-90
%K AI01

%A R. D. Schraft
%A J. Schuler
%T Robot Applications in FMS
%B Flexible Manufacturing Systems: International Trends
in Manufacturing Technology
%E H. J. Warnecke
%E R. Steinhilper
%I Springer Verlag
%K AA26 AI07
%X $54.00 ISBN 0-903608-95-2

%A B. Buchberger
%T Basic Features and Development of the Critical Pair Completion Procedure
%B BOOK30
%P 1-45
%K AI14

%A H. T. Zhang
%A J. L. Remy
%T Contextual Rewriting
%B BOOK30
%P 46-62
%K AI14

%A R. V. Book
%T Thue Systems as Rewriting Systems
%B BOOK30
%P 63-94
%K AI14

%A F. Otto
%T Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser
Thue Systems
%B BOOK30
%P 95-106
%K AI14

%A S. S. Cosmadakis
%A P. C. Kanellakis
%T 2 Applications of Equational Theories to Database Theory
%B BOOK30
%P 107-123
%K AI14 AA09 AI11

%A N. D. Jones
%A P. Sestoft
%A H. Sondergaard
%T An Experiment in Partial Evaluation - The Generation of a Compiler Generator
%B BOOK30
%P 124-140
%K AA08

%A P. Rety
%A C. Kirchner
%A H. Kirchner
%A P. Lescanne
%T Narrower- A New Algorithm for Unification and its Application to Logic
Programming
%B BOOK30
%P 141-157
%K AI10

%A H. Aitkaci
%T Solving Type Equations by Graph Rewriting
%B BOOK30
%P 158-179
%K AI14 AA08

%A N. Dershowitz
%T Termination
%B BOOK30
%P 180-224
%K AI14

%A M. Rusinowitch
%T Path of Subterms Ordering and Recursive Decomposition Ordering
Revisited
%B BOOK30
%P 225-240
%K AI14

%A L. Bachmair
%A D. A. Plaisted
%T Associative Path Orderings
%B BOOK30
%P 241-254
%K AI14

%A D. Detlefs
%A R. Forgaard
%T A Procedure for Automatically Proving the Termination of a Set of Rewrite
Rules
%B BOOK30
%P 255-270
%K AI14 AI11

%A C. Choppy
%A C. Johnen
%T Petrireve
Proving Petri Net Properties with Rewriting Systems
%B BOOK30
%P 271-286
%K AI14 AI11 AA08

%A S. Porat
%A N. Francez
%T Fairness in Term Rewriting Systems
%B BOOK30
%P 287-300
%K AI14

%A J. Hsiang
%T Two Results in Term Rewriting Theorem Proving
%B BOOK30
%P 301-324
%K AI14 AI11

%A L. Fribourg
%T Handling Function Definitions Through Innermost Superposition and
Rewriting
%B BOOK30
%P 325-344
%K AI14 AI11 AA08

%A A. Kandrirody
%A D. Kapur
%A P. Narendran
%T An Ideal-Theoretic Approach to Word Problems and Unification Problems over
Finitely Presented Commutative Algebras
%B BOOK30
%P 345-364
%K AI14 AI11

%A K. Yelick
%T Combining Unification Algorithms for Confined Regular Equational Theories
%B BOOK30
%P 365-380
%K AI14 AI11

%A A. Fortenbacher
%T An Algebraic Approach to Unification Under Associativity and Commutativity
%B BOOK30
%P 381-397
%K AI14 AI11

%A S. Arnborg
%A E. Tiden
%T Unification Problems with One-Sided Distributivity
%B BOOK30
%P 398-406
%K AI14 AI11

%A P. W. Purdom
%A C. A. Brown
%T Fast Many-to-One Matching Algorithms
%B BOOK30
%P 407-416
%K AI14 AI11

%A D. Benanav
%A D. Kapur
%A P. Narendran
%T Complexity of Matching problems
%B BOOK30
%P 417-429
%K AI14 AI11

%A M. Zaionc
%T The Set of Unifiers in Typed Lambda-Calculus as Regular Expression
%B BOOK30
%P 430
%K AI14 AI11 AA08

%A Mohan M. Trivedi
%A John Gilmore
%T Guest Editorial: Applications of AI
%J MAG24
%P 331-332
%K AI16

%A David M. McKeown
%A Clifford A. McVay
%A Bruce D. Lucas
%T Stereo Verification in Aerial Image Analysis
%J MAG24
%P 333-346
%K AI06

%A W. A. Perkins
%A T. J. Laffey
%A T. A. Nguyen
%T Rule-based Interpreting of Aerial Photographs Using the Lockheed
Expert System
%J MAG24
%P 356-362
%K AI01 AI06 AA18 T03

%A Leonard P. Wesley
%T Evidential Knowledge-Based Computer Vision
%J MAG24
%P 363-379
%K AI06

%A Amar Mitiche
%A J. K. Aggarwal
%T Multiple Sensor Intergration/Fusion Through Image
Processing: a Review
%J MAG24
%P 380-386
%K AI06 AT08

%A S. M. Haynes
%A Ramesh Jain
%T Event Detection and Correspondence
%J MAG24
%P 387-393
%K AI06

%A Robert N. Nelson
%A Tzay Y. Young
%T Determining Three-Dimensional Object Shape and Orientation from
a Single Perspective View
%J MAG24
%P 394-401
%K AI06

%A Arthur V. Forman
%A J. Ronald Clark
%T Robot Vision System for Depalletizing Steel Cylindrical Billets
%J MAG24
%P 402-408
%K AI06 AI07 AA26

%A Larry S. Davis
%A Todd R. Kushner
%A Jacqueline J. Le Moigne
%A Allaen M. Waxman
%T Road Boundary Detection for Autonomous Vehicle Navigation
%J MAG24
%P 409-414
%K AA19 AI06 AI07

%A John F. Gilmore
%A Antonio C. Semico
%T Knowledge-Based Approach Toward Developing an Autonomous
Helicopter System
%J MAG24
%P 415-427
%K AA19

%A Julius T. Tou
%T Software Architecture of Machine Vision for Roving Robots
%J MAG24
%P 428-435
%K AI06 AI07

%A George R. Cross
%T Tools for Constructing Knowledge-Based Systems
%J MAG24
%P 436-444

%A Viswanath Subramanian
%A Gautam Biswas
%A James C. Bezdek
%T Document Retrieval Using a Fuzzy Knowledge Based System
%J MAG24
%P 445-455
%K AA14 O04

%A S. L. Hardt
%A J. Rosenberg
%T Developing an Expert Ship Message Interpreter: Theoretical and
Practical Conclusions
%J MAG24
%P 456-464
%K AI01

%A S. W. Thomas
%A R. L. Griffith
%A W. R. McDonald
%T Improvements in Avalanche-Transistor Sweep Circuitry for Electro-Optic
Streak Cameras
%J MAG24
%P 465-470
%K AI06

%A R. W. Austin
%T Spectral Dependence of the Diffuse Attenuation Coefficient of Light in
Ocean Waters
%J MAG24
%P 471-479
%K AI06

%A R. L. Cohoon
%A C. S. Wright
%A W. J. Wiley
%A Peter S. Guilfoyle
%A E. L. Ligeti
%T Acousto-Optic Convolver for Digital Pulses
%J MAG24
%P 480-489
%K AI06

%A O. Kafri
%A B. Ashkenazi
%T Line Thinning Algorithm for Nearly Straight Moire Fringes
%J MAG24
%P 495-498
%K AI06

%A John A. Saghri
%A Hsieh S. Hou
%A Andrew G. Tescher
%T Personal Computer Based Image Processing with Halftoning
%J MAG24
%P 499-504
%K AI06 H01

%A N. S. Kopeika
%A A. N. Sidman
%A Its'hak Dinstein
%A C. Tarnasha
%A R. Amir
%A Y. Biton
%T How Weather Affects Seeing Through the Atmosphere
%J MAG24
%P 505
%K AI06

%A Quan Quan Gao
%T Prolog-F System
%J Chinese Journal of Computing
%V 8
%N 2
%D 1985
%P 152-155
%K T02
%X (in chinese)

%A V. N. Vapnik
%A T. G. Glazkova
%A V. A. Koscheev
%A A. I. Mikhal'skii
%A A. Ya Chervonenkis
%T Algorithms and Programs for Reconstructing Dependencies
%J Nauka
%D 1984
%X (in Russian)

%A Bernd Kramer
%T Stepwise construction of Nonsequential Software Systems
Using a Net-Based Specification Language
%B Advances in Petri Nets
%S Lecture Notes in Computer Science
%V 188
%I Springer-Verlag
%C Berlin-Heidelberg-New York
%D 1985
%P 307-330
%K AA08

%A U. W. Lipeck
%T Specifying Admissibility of Dynamic Database
Behavior Using Temporal Logic
%B Information Systems: Theoretical and Formal Aspects
%I North-Holland
%C Amsterdam-New York
%D 1985
%P 145-157
%K AA08 AI10

%A Udo Pletat
%T A Graph Theoretic Semantics for Semantic Data Models
%B Information Systems: Theoretical and Formal Aspects
%I North-Holland
%C Amsterdam-New York
%D 1985
%P 95-108
%K AI16

%A L. I. Rozonoer
%T Supplement to the Paper: "Proving Contradictions in Formal Theories. I"
%J Avtomat. i Telemekh.
%N 4
%D 1985
%P 172
%K AI11
%X (in Russian)

%A L. I. Rozonoer
%T Proving Contradictions in Formal Theories
%J Automat. Remote Control
%V 44
%N 6
%D 1983
%P 781-790
%K AI11

%A V. A. Antonyuk
%A N. V. Bulygina
%A P. Yu Pyt'ev
%T Methods of Morphological Analysis in a Problem of Distinguishing
Objects
%B BOOK31
%P 83-91
%K AI06
%X (in Russian)

%A V. A. Bazhanov
%T Godel's Theorem and the Problem of the Relation Between Natural
and Artificial Intelligence
%B BOOK32
%P 49-59
%K AI16
%X (In Russian)

%A Henryk Biesiada
%T Modification of Methods for Computing the Growth Function of a
Developmental System in the Case of a Complex Start Chain
%J Podstawy Sterowania
%V 15
%N 1-2
%D 1985
%P 113-135

%A Agneta Eriksson
%A Anna Lena Johansson
%T Computer Based Synthesis of Logic Programs
%B BOOK33
%P 105-115
%K AA08 AI10 O02

%A T. I. Ibragimov
%T Cybernetics and Natural Languages
%B BOOK32
%P 59-73
%K AI02
%X (in russian)

%A I. M. Israilov
%T Formulas for Calculating Estimates in Algorithms with
Complex Systems of Support Sets
%J Zh. Vyschisl. Mat. i. Mat. Fiz
%V 25
%N 8
%D 1985
%P 1268-1272
%K AI16
%X (in Russian)

%A D. I. Panyushev
%A D. K. Tkhabisimov
%A D. A. Usikov
%A N. G. Chebotarev
%T Mathematical Bases for the Construction of Systems
of Invariant Criteria in a Pattern Recognition Problem
%B BOOK31
%P 11-23
%K AI06
%X (in Russian)

%A Marco Belia
%A Pierpaolo Degano
%A Giorgio Levi
%A Enrico Dameri
%A Maurizio Martelli
%T Applicative Communicating Processes in First Order Logic
%B BOOK33
%P 1-14
%K AA08 AI11

%A Ernesto J. F. Costo
%T Automatic Program Transformation Viewed as Theorem Proving
%B BOOK33
%P 37-46
%K AA08 AI11

%A Yu. P. Pyt'ev
%T Problems of Morphological Analysis of Images
%B BOOK31
%P 41-83
%K AI06

%A E. L. Lawler
%T The Traveling Salesman Problem
%I John Wiley and Sons
%C Somerset, NJ
%K AT15
%X $64.95 1-90413-9 465 pages

%A J. Gold
%T Do-It-Your-Self Expert Systems
%J Computer Decisions
%V 18
%N 2
%D January 14, 1986
%K AI01

%A D. Harel
%A R. Sherman
%T Propositional Dynamic Logic of Flowcharts
%J Information and Control
%V 64
%N 1-3
%D January-March 1985
%P 119-135
%K AA08 AI11

%A Esko Ukkonen
%T Algorithms for Approximate String Matching
%J Information and Control
%V 64
%N 1-3
%D January-March 1985
%P 100-118

%A E. M. Scharf
%A N. J. Mandic
%T The Application of a Fuzzy Controller to the Control of a
Multi-Degree-of-Freedom Robot Arm
%B BOOK34
%P 41-62
%K AI07 O04

%A O. Yagishita
%A O. Itoh
%A M. Sugeno
%T Application of Fuzzy Reasoning to the Water Purification
Process
%B BOOK34
%P 19-40
%K O04 AA05

%A M. Sugeno
%A K. Murakami
%T An Experimental Study on Fuzzy Parking Control Using
a Model Car
%B BOOK34
%P 125-138
%K O04 AA19

%A K. Matsushima
%A H. Sugiyama
%T Human Operators Fuzzy Model in Man-Machine System with a
Nonlinear Controlled Object
%B BOOK34
%P 175-186
%K O04 AI08

%A H. Zhao
%A M. C. Ma
%T The Application of Fuzzy and Artificial Intelligence Methods
in the Building of a Blast Furnace Smelting Process Model
%B BOOK34
%P 241
%K O04 AA05

%A Immo O. Kerner
%T Logical Programming. History and Present Usage
%J Elektron. Informationsverarb. Kybernet
%J 21
%N 7-8
%D 1985
%P 355-361
%K AI10

%A B. J. Oommen
%A M. A. L. Thathachar
%T Multiaction Learning Automata Possessing Ergodicity  of the Mean
%J Information Science
%V 35
%N 3
%P 183-198
%K AI12 AI04

%A Ewa Orlowska
%T Logic Approach to Information Systems
%J Fund. Inform.
%V 8
%N 3-4
%D 1985
%P 359-378
%K AA08 AI10

%A Wen Jun Wu
%T Some Remarks on Mechanical Theorem-proving in Elementary Geometry
%J Acta Math. Sci (English Ed.)
%V 3
%N 4
%D 1983
%P 357-360
%K AI11 AA13

%A Vladimir Batagelj
%T Notes on the Dynamic Clusters Method
%B IV Conference on Applied Mathematics
%D 1985
%P 139-146
%X Univer. Split, Split 1985

%A Mirko Khvanek
%T A Note on the Computational Complexity of Hierarchical Overlapping
Clustering
%J Apl. Mat.
%V 30
%N 6
%D 1985
%P 453-460

%A E. Yu Kandrashina
%T Means of Representing Temporal Information in Knowledge Bases
%J Engineering Cybernetics
%V 22
%N 6
%D 1985
%P 89-95
%K AI16

%A George J. Klir
%T Architecture of Systems Problem Solving
%I Plenum Press
%C New York-London
%D 1985
%K AT15
%X 540 pages ISBN 0-306-41867-3

%A D. V. Kochetkov
%T Construction of Correct Pattern Recognition Algorithms in Quasicomplete
Models
%J Trudy Inst. Vychisl. Mat. Akad. Nauk Gruzin SSR
%V 25
%N 2
%D 1985
%P 35-44
%K AI06
%X (in Russian)

%A V. E. Vol'fengagen
%A V. Ya Yatsuk
%T Models and Methods for Representing Knowledge Algebra on Knowledge-
Manipulation Frames
%J Engineering Cybernetics
%V 22
%N 6
%D 1985
%P 79-88
%K AI16

%A V. V. Zadorozhnyi
%T Algorithms for Calculating Estimates for Pattern Recognition
%J Kibernetika (Kiev)
%V 1
%D 1985
%P 103-107
%K AI06
%X (in Russian with English Summary)

%A A. N. Chetaev
%T Neural Nets and Markov Chains
%I Nauka
%C Moscow
%D 1985
%K AI12 AT15
%X (in Russian with English Summary)

%A Irwin R. Goodman
%A Hung T. Nguyen
%T Uncertainty Models for Knowledge Based Systems.  A Unified
Approach to the Measurement of Uncertainty
%I North Holland
%C Amsterdam-New York
%D 1985
%K AT15 O01

%A Eugene C. Freuder
%T A Sufficient Condition for Backtrack-Bounded Search
%J JACM
%V 32
%N 4
%D 1985
%P 755-761
%K AI03

%A J. L. Lassez
%A Michael John Maher
%T Optimal Fixed-Points of Logic Programs
%J Theoretical Computer Science
%V 39
%N 1
%D 1985
%P 15-25
%K AI10

%A Rama Chellapa
%A Shankar Chatterjee
%T Classification of Textures using Gaussian Markov Random Fields
%J IEEE Transactions Acoust. Speech Signal Process.
%V 33
%N 4
%D 1985
%P 959-363
%K AI06

%A I. N. Krupka
%A Yu. I. Petunin
%A M. Yu Petunina
%T Determination of the Similarity of Two Graphic Images by Menas of the
Hausdorff Distance
%J Kibernetika (Kiev)
%N 3%V 1
%D 1985
%P 118-120
%K AI06
%X Russian. English Summary

%A V. A. Nepomnyaschii
%T Elimination of Loop Invariants in Program Verification
%J Programmirovanie
%N 3
%D 1985
%P 3-13
%K AA08
%X in Russian

%A Van Nguyen
%A Alan Demers
%A David Gries
%A Susan Owicki
%T Behavior: a Temporal Approach to Process Modeling
%B BOOK35
%P 237-254
%K AA08

%A Van Nguyen
%T The Incompleteness of Misra and Chandy's Proof Systems
%J Information Processing Letters
%V 21
%N 2
%D 1985
%P 93-96
%K AA08

%A Rohit Parikh
%A Ashok Chandra
%A Joe Halpern
%A Albert Meyer
%T Equations Between Regular Terms and an Application
to Process Logic
%J SIAM J. Computers
%V 4
%N 4
%D 1985
%P 935-985
%K AI10

%A Alex Pelin
%T A Formalism for Treating Equivalence of Recursive Procedures
%J RAIRO Inform. Theor.
%V 19
%N 3
%D 1985
%P 293-313
%K AI10

%A Paul Walton Purdom
%A Cynthia A. Brown
%T The Pure Literal Rule and Polynomial Average Time
%J SIAM J. Comput
%V 14
%N 4
%D 1985
%P 943-953
%K AI14

%A I. Sain
%T The Reasoning Powers of Burstall's (Modal Logic) and
Pneueli's (Temporal Logic) Program Verification Methods
%B BOOK35
%P 302-319
%K AA08 AI10 AI11

%A A. E. Serik
%T Some Exact and Approximate Algorithms for Solution of Some
Sequencing Problems with Constraints
%J Kibernetika (Kiev)
%N 3
%D 1985
%P 29-33
%K AI16
%X (Russian with English Summary)

%A Kurt Sieber
%T A Partial Correctness Logic for Procedures
%B BOOK35
%P 320-342
%K AA08

%A A. E. K. Sobel
%A N. Soundararajan
%T A Proof System for Distributed Processes
%B BOOK35
%P 343-358
%K AA08

%A Robert S. Streett
%T Fixpoints and Progam Looping:
Reductions from the Propositional Mu-Calculus into
Propositional Dynamic Logics of Looping
%B BOOK35
%P 359-372
%K AA08 AI11

%A S. F. Shapiro
%T Electronic Assembly Becoming Dependent on Robotic Tools
%J Computer Design
%V 25
%N 3
%D February 1, 1986
%K AI07 AA04 AA26

%A Douglas C. Willson
%T Current Research, Applications Foreshadow AI's Future Impact
%J Data Management
%V 24
%N 2
%D February 1986
%P 18-19

%A Paul V. Besl
%A Ramesh C. Jain
%T Invariant Surface Characteristics for 3D Object Recognition in Range
Images
%J Computer Vision, Graphics and Image Processing
%V 33
%N 1
%D January 1986
%P 33-80
%K AI06

%A Marloes L. P. Van\ Lierop
%T Geometrical Transformations on Pictures Represented by Leaf Codes
%J Computer Vision, Graphics and Image Processing
%V 33
%N 1
%D January 1986
%P 81-98
%K AI06

%A Eric P. Krotkov
%T Visual Hyperacuity: representation and Computation of High Precision
Position Information
%J Computer Vision, Graphics and Image Processing
%V 33
%N 1
%D January 1986
%K AI06

%A G. Eichmann
%A L. M. Royfman
%T New Algorithm for Transient Suppression for Images Due to Incomplete or
Partial Boundary Data
%J IEE Proceedings G: Electronic Circuits
%V 133
%N 1
%D February 1986
%P 27-29
%K AI06

%A L. F. Huggins
%A J. R. Burrettt
%A D. D. Jones
%T Expert Systems - Concepts and Opportunities
%J Agricultural Engineering
%V 67
%N 1
%D January-February 1986
%P 21-23
%K AA23 AA05 AI01

%A D. A. Lowther
%A C. M. Saldhana
%A G. Choy
%T The Applications of Expert Systems to CAD in Electromagnetics
%J IEEE Transactions on Magnetics
%V 21
%N 6
%D 1985
%P 2559-2563
%K AA04 AI01