%A D. M. C. Francesetti
%T Expert Systems and DSS for Strategic Planning
%B Managing Advanced Manufacturing Technology
%E A. Voss
%I IFS Publications Limited
%D 1986
%P 319-326
%K AA26

%A T. Chart
%T Human Versus Machine - A Comparison of a Computer Expert System with
Human Experts in the Diagnosis of Vaginal Discharge
%J International Journal of Bio-Medical Computing
%V 20
%N 1-2
%D January 1987
%P 71-78
%K AA01 AI01

%A A. Bouckaert
%T Medical Diagnosis - Are Expert Systems Needed
%J International Journal of Bio-Medical Computing
%V 20
%N 1-2
%D January 1987
%P 123-134
%K AA01 AI01

%A H. W. Glaser
%A P. Thompson
%T Lazy Garbage Collection
%J Software Practice and Experience
%V 17
%N 1
%D January 1987
%P 1-4
%K T01

%A R. Ballard
%T Prospects for Expert Systems in Quality Management
%J CME The Chartered Mechanical Engineer
%V 34
%N 1
%P 16-18
%K AI01 AA05

%A S. Tan
%A D. Juvin
%T ???
%B Proceedings of the Sixth International Conference on Robot Vision and
Sensory Controls
%I IFS Publications Limited
%C Kempston
%D 1986
%P 49-60
%K AA26 AI06

%A W. J. Bogers
%T Circular Array Sensor, Control Algorithm and Hardware for Fast Tracking of
Planar Contours
%B Proceedings of the Sixth International Conference on Robot Vision and
Sensory Controls
%I IFS Publications Limited
%C Kempston
%D 1986
%P 69-80
%K AA26 AI06 AI07

%A G. W. Davis
%T Classifying and Coping with Lighting Variation
%B Proceedings of the Sixth International Conference on Robot Vision and
Sensory Controls
%I IFS Publications Limited
%C Kempston
%D 1986
%P 89-90
%K AA26 AI06

%A G. Nicolas
%A J. P. Hermann
%T Inspection of Moulds by 3-Dimensional Vision
%B Proceedings of the Sixth International Conference on Robot Vision and
Sensory Controls
%I IFS Publications Limited
%C Kempston
%D 1986
%P 99-106
%K AA26 AI06

%A A. R. Desaintvincent
%T 3-Dimensional Perceptory Systems for Autonomous Mobile Robots
%B Proceedings of the Sixth International Conference on Robot Vision and
Sensory Controls
%I IFS Publications Limited
%C Kempston
%D 1986
%P 127-138
%K AA19 AI07 AI06

%A M. Guichard
%A A. Renault
%T Industrial Use of Ultrasonic Ranging Sensors in Robotics
%B Proceedings of the Sixth International Conference on Robot Vision and
Sensory Controls
%I IFS Publications Limited
%C Kempston
%D 1986
%P 157-164
%K AI06 AI07

%A S. R. Ruocoo
%T The Design of a 3D Vision Sensor for Robot Multisensory Feedback
%B Proceedings of the Sixth International Conference on Robot Vision and
Sensory Controls
%I IFS Publications Limited
%C Kempston
%D 1986
%P 187-196
%K AI06 AI07

%A A. Michel
%T The Quantification of Qualitative Aspects - A Problem of Perception and
Communication
%B Proceedings of the Sixth International Conference on Robot Vision and
Sensory Controls
%I IFS Publications Limited
%C Kempston
%D 1986
%P 209-216
%K AI08 AI16 AI06

%A Y. Li
%A L. Wu
%A D. H. Chen
%T A Study on Direct Vision Sensor for Welding Visual Sensing
%B Proceedings of the Sixth International Conference on Robot Vision and
Sensory Controls
%I IFS Publications Limited
%C Kempston
%D 1986
%P 245-248
%K AI06 AA26

%A B. S. Barclay
%T Sensing Techniques Applied to Electronics Assembly
%B Proceedings of the Sixth International Conference on Robot Vision and
Sensory Controls
%I IFS Publications Limited
%C Kempston
%D 1986
%P 249-266
%K AA26 AI06 AI07

%A J. C. Perez
%T Holography and Image Analysis to Test IBM Modules Airproofness
%B Proceedings of the Sixth International Conference on Robot Vision and
Sensory Controls
%I IFS Publications Limited
%C Kempston
%D 1986
%P 267
%K AA26 AA04 AI06

%A Michael J. Hudak
%A Daniel H. Marcellus
%T Demon-Based Associative Memories
%J Cybernetics and Systems
%V 17
%N 4
%D 1986
%P 249-276

%A Amedeo Capelli
%A Gianni Caracoglia
%A Lorenzo Moretti
%T Chunking Mechanism for a Knowledge Representation System
%J Cybernetics and Systems
%V 17
%N 4
%D 1986
%P 277-288
%K AI16

%A Germano Rosconi
%T Applications of GSLT (General System Logical Theory) to Control in
Transformation Systems
%J Cybernetics and Systems
%V 17
%N 4
%D 1986
%P 289
%K AI16 AI10

%A L. Wood
%T Out of the Ivory Tower - The Major AI Software Developers Are Leaving the
Lab and Attending to the Real World Demands of Corporate MIS
%J Computer Decisions
%V 19
%N 2
%D January 26, 1987
%K AI16 AA06

%A B. H. Rudall
%T Contemporary Cybernetics (Automation; Behavioural Systems; Business
Cybernetics;  Innovations in Cybernetics; Legged Locomotion Study; Machine
Intelligence; Machine Vision; Medical Cybernetics; Software Developments)
%J Kybernetes
%V 16
%N 1
%D 1987
%P 1-10
%K AI16 AT08

%A Guy Jumarie
%T New Decision Rules in Statistical Pattern Recognition
%J Kybernetes
%V 16
%N 1
%D 1987
%K AI06 O04

%A E. Andreewsky
%A V. Rosenthal
%A D. Bourcier
%T Preliminary Phase of Language Comprehension: Outline of a Systems Model
%J Kybernetes
%V 16
%N 1
%D 1987
%P 27-32
%K AI02

%A Khaled M. Bugrara
%A Cynthia A. Brown
%T On the Average Case Analysis of Some Satisfiability Model Problems
%J Inform. Sci
%V 40
%N 1
%D 1986
%P 21-37
%K AI03

%A Mao Kang Wu
%T The Problem of No Relationship Between PI-Clash and the Order of
Electrons in Mechanical Theorem Proving
%J Shanghai Keji Daxue Xuebao
%V 1986
%N 1
%P 99-106
%K AI11
%X Chinese with English summary

%A V. V. Zadorozhnyi
%T A Method for Synthesis of a Correct Pattern Recognition Algorithm
for a Given Control Sample
%J Zh. Vychisl. Mat. i. Mat. Fiz
%V 26
%N 10
%P 1559-1566
%K O06 AI06
%X in Russian

%A Sudarshan K. Dhall
%A S. Lakshmivarahan
%T Effect of Data Organization in A System of Interleaved Memories on
the Performance of Parallel Search
%J Inform. Sci
%V 39
%N 3
%D 1986
%P 219-246
%K H03 AI03

%A Hoang Klem
%A Pham Ngoc Khoi
%T Some Aspects of Image Coding Based on Run Length Codes and Chain Codes
%J Elektron. Informationsverarb. Kybernet.
%V 22
%N 7-8
%D 1986
%P 411-421
%K O06 AI06

%A G. Gottlob
%T Subsumption and Implication
%J Information Processing Letters
%V 24
%N 2
%D January 30, 1987
%P 109-112
%K AI11

%A B. Ackland
%T Flute - An Expert Floorplanner for Full Custom VLSI Design
%J IEEE Design and Test
%V 4
%N 1
%D February 1987
%P 32-41
%K AA04 AI01

%A A. Kusiak
%T Artificial Intelligence and Operations Research in Flexible Manufacturing
Systems
%J Infor
%V 25
%N 1
%D February 1987
%P 2-12
%K AA26

%A Jia-Huai You
%A P. A. Subrahmanyam
%T E-Unification Algorithms for a Class of Confluent Term Rewriting Systems
%B Automata, Languages and Programming (Rennes 1986)
%V 226
%S Lecture Notes in Computer Science
%I Springer-Verlag
%C Berlin-Heidelberg-New York
%D 1986
%P 454-463
%K AI11

%A Wen Jun Wu
%T A Mechanization Method of Geometry. I Elementary Geometry
%J Chinese Quart. J. Math
%V 1
%N 1
%D 1986
%P 1-14
%K  AA13 AI11

%A S. G. Vorob'ev
%T Applications of Conditional Systems of Permutations of Terms in
Program Verification
%J Programmirovanie
%V 1986
%N 4
%D 1986
%P 3-14
%K AI11 AA08
%X in Russian

%A G. von Trzebiatowski
%A B. Bank
%T On the Convergence of the Fuzzy Clustering Algorithm "Fuzzy Isodata"
%J Z. Agew. Math. Mech
%V 66
%N 6
%D 1986
%P 201-208
%K O04 O06

%A Egidijus Ostasevicius
%T Recognition of Random Processes Described by a Mixture of Normal
Distributions
%J Statist. Problemy Upravieniya No. 71
%D 1985
%P 9-18
%K O06  AA12

%A Heikki Mannila
%A Esko Ukkonen
%T The Set Union Problem with Backtracking
%B Automata, Languages and Programming (Rennes 1986)
%V 226
%S Lecture Notes in Computer Science
%I Springer-Verlag
%C Berlin-Heidelberg-New York
%D 1986
%P 236-246
%K AI03

%A Neil V. Murray
%T On Deleting Links in Semantic Graphs
%B Automata, Languages and Programming (Rennes 1986)
%V 226
%S Lecture Notes in Computer Science
%I Springer-Verlag
%C Berlin-Heidelberg-New York
%D 1986
%P 404-415
%K AI16

%A Sarit Kraus
%A Daniel J. Lehmann
%T Knowledge, Belief and Time
%B Automata, Languages and Programming (Rennes 1986)
%V 226
%S Lecture Notes in Computer Science
%I Springer-Verlag
%C Berlin-Heidelberg-New York
%D 1986
%P 186-195
%K AI16

%A Giorgio Levi
%T Logic Programming: The foundations, the Approach and the Role of
Concurrency
%B Current Trends in Concurrency (Noordwijkerhout, 1985)
%V 224
%I Lecture Notes in Computer Science
%I Springer-Berlin-New York
%D 1986
%P 396-441
%K AI11 H03 AA08

%A Mikulas Hermann
%A Igor Privara
%T On Nontermination of of Knuth-Bendix Algorithm
%B Automata, Languages and Programming (Rennes 1986)
%V 226
%S Lecture Notes in Computer Science
%I Springer-Verlag
%C Berlin-Heidelberg-New York
%D 1986
%P 146-156
%K AI14 AI11

%A L. Fribourg
%T A Strong Restriction of the Inductive Completion Procedure
%B Automata, Languages and Programming (Rennes 1986)
%V 226
%S Lecture Notes in Computer Science
%I Springer-Verlag
%C Berlin-Heidelberg-New York
%D 1986
%P 105-115
%K AI14 AI11

%A Antonio Di Nola
%A Witold Pedrycz
%A Salvatore Sessa
%T Coping with Uncertainty for Knowledge Acquisition and Inference
%J Kybernetes
%V 15
%N 4
%D 1986
%P 243-249
%K AI16 O04

%A Hirofumi Yokouchi
%T Retraction Map Categories and Their Applications to the Construction
of Lambda Calculus Models
%J Inform. and Control
%V 71
%N 1-2
%D 1986
%P 33-86
%K T01

%A Colin Stirling
%T A Compositional Reformulation of Owicki-Grie's Partial Correctness
Logic for a Concurrent While Language
%B Automata, Languages and Programming (Rennes 1986)
%V 226
%S Lecture Notes in Computer Science
%I Springer-Verlag
%C Berlin-Heidelberg-New York
%D 1986
%P 407-415
%K AA08

%A A. Pnueli
%T Applications of Temporal Logic to the Specification and Verification
of Reactive Systems: A Survey of Current Trends
%B Automata, Languages and Programming (Rennes 1986)
%V 226
%S Lecture Notes in Computer Science
%I Springer-Verlag
%C Berlin-Heidelberg-New York
%D 1986
%P 510-584
%K AA08 AI16 AI11

%A Ernst-Rudiger Olderog
%T Process Theory: Semantics, Specification and Verification
%B Current Trends in Concurrency (Noordwijkerhout, 1985)
%V 224
%I Lecture Notes in Computer Science
%I Springer-Berlin-New York
%D 1986
%P 442-509
%K AA08

%A Ketan Mulmuley
%T Fully Abstract Submodels of Typed Lambda Calculi.  Twenty-Fifth
Annual Symposium on Foundations of Computer Science (Singer Island, Fla.)
%J J. Comput. System Sci.
%V 33
%N 1
%D 1986
%P 3-46
%K AA08 T01

%A Jozef Hooman
%A Wiullem P. De Roever
%T The Quest Goes on: A Survey of Proofsystems for Partial Correctness of
CSP
%B Current Trends in Concurrency (Noordwijkerhout, 1985)
%V 224
%I Lecture Notes in Computer Science
%I Springer-Berlin-New York
%D 1986
%P 343-395

%A M. Coppo
%A M. Dezani-Ciancaglini
%A M. Zacchi
%T Type Theories, Normal Forms, and $D sub inf$ Lambda models
%J Information and Computation
%V 72
%N 2
%D February 1987
%P 85-116
%K AA08

%A C. D. Hurt
%T Conceptual Citation Differences in Science, Technology and Social
Sciences Literature
%J Information Processing and Management
%V 23
%N 1
%D 1987
%P 1-6
%K AA14

%A Jorge Moser
%A Richard Christoph
%T Management Expert Systems (M. E. S.): A Framework for Development
and Implementation
%J Information Processing and Management
%V 23
%N 1
%D 1987
%K AA06 AI01

%A  Marcia J. Bates
%T Interaction in Information Systems: A Review of Research from Document
Retrieval to Knowledge Based Systems by N. J. Belkin and A. Vickery
%J Information Processing and Management
%V 23
%N 1
%D 1987
%K AT07 AA14

%A D. H. Freedman
%T AI Meets Corporate Mainframe
%J Infosystems
%V 34
%N 2
%D February 1987
%P 32-37
%K AA06

%A S. A. Kurtz
%A M. J. O'Donnell
%A J. S. Royer
%T How to Prove Representation-Independent Independence Results
%J Information Processing Letters
%V 24
%N 1
%D January 15, 1987
%P 5-10
%K AI16

%A R. S. Bird
%A J. Hughes
%T An Alpha Beta Algorithm: An Exercise in Program Transformation
%J Information Processing Letters
%V 24
%N 1
%D January 15, 1987
%P 53-58
%K AA08 AI03

%A Yaser S. Abu-Mostafa
%A Demetri Psaltis
%T Optical Neural Computers
%J Scientific American
%V 256
%N 3
%D March 1987
%K AI06 AI12

%A Yu. N. Zhuravlev
%A I. V. Sergienko
%A V. I. Artemenko
%A A. M. Chernyakova
%T The Use of Classification Theory for Automated Selection of Algorithms
in Program Packages
%J Cybernetics
%V 22
%N 3
%D May-June 1986
%P 270-278
%K AA08

%A N. I. Galagan
%A Z. L. Rabinovich
%T Intelligent Problem Solvers
%J Cybernetics
%V 22
%N 3
%D May-June 1986
%P 279-289
%K AI16

%A I - A. A. Voronkov
%A A. I. Degtyarev
%T Automatic Theorem Proving
%J Cybernetics
%V 22
%N 3
%D May-June 1986
%P 290-297
%K AI11

%A A. I. Degtyarev
%A A. A. Voronkov
%T Equality Control Methods in Machine Theorem Proving
%J Cybernetics
%V 22
%N 3
%D May-June 1986
%P 298-307
%K AI11

%A R. G. Bukharaev
%A D. Sh. Suleimanov
%T Development of Computer-Assisted Instruction Systems with Intelligent
Capabilities
%J Cybernetics
%V 22
%N 3
%D May-June 1986
%P 308-317
%K AA07

%A V. I. Vasil'ev
%A F. P. Ovsyannikova
%T Learning Pattern Recognition with Prespecified Confidence
%J Cybernetics
%V 22
%N 3
%D May-June 1986
%P 318-326
%K AA06

%A A. S. Dolgopolov
%T Automatic Spelling Correction
%J Cybernetics
%V 22
%N 3
%D May-June 1986
%P 332-339
%K AA15

%A V. M. Bondarovskaya
%A L. A. Bogush
%A I. Yu Kirichenko
%T Development of Action-Planning Systems on the Basis of Psychological
Studies of the Process of Solving Situation Transformation Problems
%J Cybernetics
%V 22
%N 3
%D May-June 1986
%P 391-398
%K AI08 AI09 AA11

%A G. M. Zarakovskii
%A S. L. Rysakova
%A P. S. Turzin
%T Psychophysiological Optimization of the Set of Signs for Man-Machine
Communication
%J Cybernetics
%V 22
%N 3
%D May-June 1986
%P 399
%K AI08 AA11 AA15

%A J. H. M.ter Brake
%T The AI Development Environment POPLLOG
%B Proceedings of Expert Systems: Available Hard- and Software
%C Mol. Belgium
%D 18-19 July 1986
%K T01 T02 T03
%X describes POPLOG which is an integrated combination of POP-11, PROLOG
and Common LISP and Expert System development tools.

%A J. H. Arbeter
%T A Multi-Dimensional Video Imaging Processing Architecture
%B Proc. SPI Int. Soc. Opt. Eng. (USA)
%V 564
%D 1985
%P 81-86
%K AI06
%X This system is designed for the interpretation of TV systems in
real-time.

%A R. F. Bessler
%T A Video Real-Time Pyramid Processor
%B Proc. SPI Int. Soc. Opt. Eng. (USA)
%V 564
%D 1985
%P 81-86
%K AI06 H03
%X This system simulates the human visual system and interpretes NTSC video at
30 frames per second.

%A G. Y. Tang
%T Expert System Makes Image Processing Easier
%B Proc. SPIE Int. Soc. Opt. Engineering
%V 635
%P 119-123
%K AI06 AI01
%X This system assists a user of image processing software.

%A K. H. Feng
%A K. Sugihara
%A N. Sugie
%T A Method for Extracting Three-Dimensional Information Using Cone-Shaped
Beams of Light
%J Syst. & Comput. Jpn. (USA)
%V 17
%N 8
%P 70-9
%K AI06
%X Texture information is generated from a scene by using several point
sources of light at different location.

%A D. E. Guyer
%A G. E. Miles
%A M. M. Schreiber
%A O. R. Mitchell
%A V. C. Vanderbilt
%T Machine Vision and Image Processing for Plant Identification
%J Transactions of the ASAE
%V 29
%N 6
%D November-December 1986
%P 1500-1507
%K AI06 AA23

%A A. Fanni
%A A. Mura
%T Artificial Intelligence and Expert Systems - Developments in the
Electrotechnical and Electronic Fields
%J L'Elettrotecnica
%V 73
%N 12
%D December 1986
%K AA04 AI01
%X in Italian

%A J. L. A. Van de Snepscheut
%T "Algorithms for on-the-fly garbage collection" revisited
%J Information Processing Letters
%V 24
%N 4
%D March 2, 1987
%K T01

%A M. W. Kurzynski
%T Diagnosis of Acute Abdominal Pain Using a Three-Stage Classifier
%J Computers in Biology and Medicine
%V 17
%N 1
%D 1987
%P 19-28
%K AI01 AA01

%A Patrick Cavanagh
%T Reconstructing the Third Dimension: Interactions Between Color, Texture,
Motion, Binocular Disparity and Shape
%J Computer Vision, Graphics and Image Processing
%V 37
%N 2
%D February 1987
%P 171-195
%K AI06

%A Steven W. Zucker
%A Lee Iverson
%T From Orientation Selection to Optical Flow
%J Computer Vision, Graphics and Image Processing
%V 37
%N 2
%D February 1987
%P 196-220
%K AI06

%A Julian Hochberg
%T Machines Should Not See as People Do, but Must Know How People See
%J Computer Vision, Graphics and Image Processing
%V 37
%N 2
%D February 1987
%P 221-237
%K AI06 AI08

%A Kent A. Stevens
%A Allen Brookes
%T Detecting Structure by Symbolic Constructions on Tokens
%J Computer Vision, Graphics and Image Processing
%V 37
%N 2
%D February 1987
%P 238-260
%K AI06

%A Deborah Walters
%T Selection of Image Primitives for General-Purpose Visual Processing
%J Computer Vision, Graphics and Image Processing
%V 37
%N 2
%D February 1987
%P 261-298
%K AI06

%A Jacob Beck
%A Anne Sutter
%A Richard Ivry
%T Spatial Frequency Channels and Perceptual Grouping in Texture
Segregation
%J Computer Vision, Graphics and Image Processing
%V 37
%N 2
%D February 1987
%P 299-330
%K AI06

%A Bean-Arie Jezekiel
%A A. Zvi Meiri
%T 3D Objects Recognition by Optimal Matching Search of Multinary Relations
Graphs
%J Computer Vision, Graphics and Image Processing
%V 37
%N 3
%D March 1987
%P 331-344
%K AI06

%A Michael Kass
%A Andrew Witkin
%T Analyzing Oriented Patterns
%J Computer Vision, Graphics and Image Processing
%V 37
%N 3
%D March 1987
%P 362-385
%K AI06

%A Lawrence O'Gorman
%A Arthur C. Sanderson
%T A Comparison of Methods and Computation for Multi-Resolution Low-and-Band-
Pass Transforms for Image Processing
%J Computer Vision, Graphics and Image Processing
%V 37
%N 3
%D March 1987
%P 386-401
%K AI06

%A L. Brevdo
%A S. Sideman
%A R. Beyar
%T A Simple Approach to the Problem of 3-d Reconstruction
%J Computer Vision, Graphics and Image Processing
%V 37
%N 3
%D March 1987
%P 420-427
%K AI06

%A F. Golferini
%A P. Facchin
%T Computer Diagnosis of Primary Headaches in Children
%J Computer Vision, Graphics and Image Processing
%V 37
%N 3
%D March 1987
%P 55-63
%K AI01 AA01

%A Gerhard X. Ritter
%A Paul D. Gader
%T Image Algebra Techniques for Parallel Image Processing
%J Journal of Parallel and Distributed Computing
%V 4
%N 1
%D February 1987
%P 7-44
%K AI06 H03

%A Eric B. Hinkle
%A Jorge L. C. Sanz
%A Anil K. Jain
%A Dragutin Petkovit
%T $P sup 3 E$: New Life for Projection-Based Image Processing
%J Journal of Parallel and Distributed Computing
%V 4
%N 1
%D February 1987
%P 45-78
%K AI06 H03

%A T. N. Mudge
%A T. S. Abdel-Rahman
%T Vision Algorithms for Hypercube Machines
%J Journal of Parallel and Distributed Computing
%V 4
%N 1
%D February 1987
%P 79-94
%K AI06 H03

%A Quentin F. Stout
%T Supporting Divide-and-Conquer Algorithms for Image Processing
%J Journal of Parallel and Distributed Computing
%V 4
%N 1
%D February 1987
%P 95
%K AI06 H03 O06

%A Charles J. Malmborg
%A Marvin H. Agee
%A Gene R. Simons
%A J. V. Choudry
%T Articial Intelligence Series, Part 4: A Prototype Expert System for
Industrial Truck Type Selection
%J Industrial Engineering
%V 19
%N 3
%D March 1987
%K AA05 AI01

%A S. K. Debray
%T Towards Banishing the Cut from Prolog
%B Proceedings of the IEEE Computer Society - 1986 International
Conference on Computer Languages (Miami Florida, October 27-30 1986)
%I IEEE Computer Society
%D 1986
%P 2-12
%K T02

%A S. S. Epstein
%T A Logic Programming Language with Descriptions
%B Proceedings of the IEEE Computer Society - 1986 International
Conference on Computer Languages (Miami Florida, October 27-30 1986)
%I IEEE Computer Society
%D 1986
%P 13-23
%K AI10

%A H. H. Chen
%A I. P. Lin
%A C. P. Wu
%T LOGFOL- A Prolog-Based Frame-Oriented Language
%B Proceedings of the IEEE Computer Society - 1986 International
Conference on Computer Languages (Miami Florida, October 27-30 1986)
%I IEEE Computer Society
%D 1986
%P 24-33
%K T02

%A B. Jayaraman
%A F. S. K. Silbermann
%A G. Gupta
%T Equational Programming - A Unifying Approach to Functional and Logic
Programming
%B Proceedings of the IEEE Computer Society - 1986 International
Conference on Computer Languages (Miami Florida, October 27-30 1986)
%I IEEE Computer Society
%D 1986
%P 47-61
%K AI10 AI11

%A T. Murata
%A D. Zhang
%T A High-Level Petri Net Model for Parallel Interpretation of Logic Programs
%B Proceedings of the IEEE Computer Society - 1986 International
Conference on Computer Languages (Miami Florida, October 27-30 1986)
%I IEEE Computer Society
%D 1986
%P 123-135
%K H03 AI10

%A F. Y. Zhu
%A S. D. Bedrosian
%T Monochrome Images: An Approach to Choosing Fuzzy Distributions
%J Journal of the Franklin Institute
%V 322
%N 5-6
%D November-December 1986
%P 103-112
%K AI06 O04

%A Markus Lusti
%T Knowledge Based Systems in Education - An Example From Financial Analysis
%J Angewandte Informatik
%N 1
%D January 1987
%P 12-19
%K AA07 AA06

%A N. Nansalmaa
%T Application of the Rule of Inference in Informal Mathematical Proofs
%J Cybernetics
%V 22
%N 4
%D July-August 1986
%P 518-521
%K  AA13

%A P. W. Woods
%A C. J. Taylor
%A D. H. Cooper
%A R. N. Dixon
%T The Use of Geometric and Grey-Level Models for Industrial Inspection
%J Pattern Recognition Letters
%V 12
%N 1
%D January 1987
%P 11-18
%K AA05 AI06

%A F. Klein
%A O. Kubler
%T Euclidean Distance Transformations and Model-Guided Image Interpretation
%J Pattern Recognition Letters
%V 12
%N 1
%D January 1987
%P 19-30
%K AI06

%A D. Cruse
%A A. Wright
%T The Use of Segmentation and Shape Recognition Techniques in Synthetic
Aperture Radar Images
%J Pattern Recognition Letters
%V 12
%N 1
%D January 1987
%P 41-48
%K AI06  AA18

%A H. Shvaytser
%A S. Peleg
%T Inversion of Picture Operators
%J Pattern Recognition Letters
%V 12
%N 1
%D January 1987
%P 49-62
%K AI06

%A P. Grossmann
%T Depth From Focus
%J Pattern Recognition Letters
%V 12
%N 1
%D January 1987
%P 63-70
%K AI06

%A T. J. Fountain
%A M. Postranecky
%A G. K. Shaw
%T The CLIP4S System
%J Pattern Recognition Letters
%V 12
%N 1
%D January 1987
%P 71-80
%K AI06

%A H. H. S. Ip
%A D. J. Potter
%T Comparison of 2-D Gel Electrophoresis Images
%J Pattern Recognition Letters
%V 12
%N 1
%D January 1987
%P 81-86
%K AA10 AI06

%A D. B. Sharman
%A T. S. Durrani
%T Goal Driven Parameter Evaluation for the Detection of Objects in SAR Data
%J Pattern Recognition Letters
%V 12
%N 1
%D January 1987
%P 87
%K AI06 AA18

%A V. Lacroix
%T Pixel Labeling in a Second Order Markov Mesh
%J Signal Processing
%V 12
%N 1
%D January 1987
%P 59-82
%K AI06

%A K. J. Kokjer
%T The Information Capacity of the Human Fingertip
%J IEEE Transactions on Systems, Man, and Cybernetics
%V 17
%N 1
%D January-February 1987
%P 100-101
%K AA10 AI08 AI06

%A P. J. Werbos
%T Building and Understanding Adaptive Systems: A Statistical/Numerical Approach
to Factory Automation and Brain Research
%J IEEE Transactions on Systems, Man, and Cybernetics
%V 17
%N 1
%D January-February 1987
%P 7-20
%K AI08 AA05

%A G. Henrion
%A R. Henrion
%A H. J. Lunk
%A V. Reidel
%T Combination of Non-Supervised and Supervised Pattern Recognition Methods for
Classification of Tungsten Materials
%J Chemische Technik
%V 38
%N 12
%D December 1986
%P 525-527
%K AA05 AI06
%X Article in German, Abstract in English and German

%A D. I. Blockley
%A J. F. Baldwin
%T Uncertain Inference in Knowledge Based Systems
%J Journal of Engineering Mechanics ASCE
%V 113
%N 4
%D April 1987
%P 467-481
%K AA05 O04

%A Zilla Sinuany-Stern
%A Meir J. Rosenblatt
%T Budgeting in Hierarchical Systems Under Uncertainty
%J IIE Transactions
%V 19
%N 1
%D March 1987
%P 2-12
%K  AI13 O04

%A L. A. Marks
%T Digital Enhancement of the Peripheral Admittance Plethysmogram
%J IEEE Transactions on Biomedical Engineering
%V 34
%N 3
%D March 1987
%P 192-198
%K AI06 AA01

%A R. S. Prasad
%A T. M. Srinivasan
%T An Image Processing Method for Cardiac Motion Analysis
%J IEEE Transactions on Biomedical Engineering
%V 34
%N 3
%D March 1987
%P 244-246
%K AA01 AI06

%A M. A. Bickel
%T Automatic Correction to Misspelled Names - A Fourth Generation Language
Approach
%J Communications of the ACM
%V 30
%N 3
%D March 1987
%P 224-228
%K AA15

%A Lowell Jacobson
%A Harry Wechsler
%T Derivation of Optical Flowing a Spatiotemporal-Frequency Approach
%J Computer Vision, Graphics and Image Processing
%V 38
%N 1
%D April 1987
%P 29-64
%K AI06

%A Robert A. Hummel
%A B. Kimia
%A Stephen W. Zucker
%T Deblurring Gaussian Blur
%J Computer Vision, Graphics and Image Processing
%V 38
%N 1
%D April 1987
%P 66-80
%K AI06

%A George Harauz
%A Richard Gordon
%A Marin Van Heel
%T Oblique Sampling of Projections for Direct-Three-Dimensional Reconstruction
%J Computer Vision, Graphics and Image Processing
%V 38
%N 1
%D April 1987
%P 81-89
%K AI06

%A H. Westphal
%A H. H. Nagel
%T Exploiting Reflectance Properties to Analyze Images of Moving Objects
Needs Local Constraints
%J Computer Vision, Graphics and Image Processing
%V 38
%N 1
%D April 1987
%P 90
%K AI06

%A R. Moskowitz
%T MIS Hedges on the AI Gamble
%J Computer Decisions
%V 19
%N 5
%D March 9, 1987
%P 58
%K AA06

%A Luis Pastor
%A Jose Maria Sebastian
%T A Least-Squares Algorithm for Interframe Displacement Estimation.
Application to Stereo Vision
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 101-108
%K O06 AI06
%X ISBN 0931215129

%A Zhong-Rong Li
%A Da-peng Zhang
%T An Intelligent Vision System for Robot
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 119-128
%K AA27 AI07 AI06 satellite landsat geosensing
%X ISBN 0931215129
.br
br
Describes having a satellite for landsat type applications only send relevant
material rather than transmit all the data for the purpose of reducing use
of bandwidth in communication between ground and satellite.
The proposed system uses region growing as well as a variety of convolution
operators as well as special purpose hardware.  The system achieved 97%
accuracy in recognition of type of area (farmfield, mountain, shadow, etc.)

%A K. K. Ong
%A R. E. Seviora
%A P. Dasiewicz
%T Knowledge-Based Position Estimation for a Multisensor House Robot
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 119-130
%K AI06 AI07  AA19 blackboard
%X ISBN 0931215129
.br
br
A Hero-I robot containing a cheap light sensor and a sonar sensor was
interfaced to an IBM-PC containing a Hearsay-like system for determining
which room the robot was in.  This system achieved an 87% success rate.

%A W. L. Whitaker
%A B. Motazed
%T Interpretation of Pipe Networks by Magnetic Sensing
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 131-139
%K AA05 AI06
%X ISBN 0931215129
.br
br
Describes system to interpret magnetic sensor readings for such as
evaluating the position of iron reinforcements within concrete
and locating underground pipes.

%A W. T. Keirouz
%A D. R. Rehak
%A I. J. Oppenheim
%T Object-Oriented Domain Modelling of Constructed Facilities for Robotic
Operations
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 141-150
%K AI07 AI16 AA05
%X ISBN 0931215129
.br
br
describes goals and methods for organizing data  structures to manage
robots in a construction site.

%A Nancy E. Orlando
%T Interfacing Intelligent Software to Robotic Peripherals
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 151-162
%K AA10 AA27 AI07 satellite Langley
%X ISBN 0931215129
.br
br
draws analogies between animal behavior and robotic systems.  Also discusses
research at Nasa Langley Research Center which include simulation systems
and attempts to get robots to perform removal and replacement of a module
on a satellite as well as refueling of satellites.

%A Michel Bidoit
%A Francesca Losavia
%T Automatic Programming Techniques Applied to Software Development An
Approach Based on Exception Handling
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 165-178
%K AA08 digital telephony
%X ISBN 0931215129
.br
br
Describes a system for generation of ADA program in telephony systems.

%A Hirooaki Saito
%A Masaru Tomita
%T On Automatic Composition of Stereotypic Documents in Foreign Languages
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 179-192
%K AI02
%X ISBN 0931215129
.br
br
Describes a system that will take input for various standard situations
such as a move and prepare a letter in the appropriate language including
all politeness type sentences appropriate for the target language.

%A Meng Li-Ming
%T Natural Language Interface to Relational Data Base Systems
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 193-200
%K AI02 AA09
%X ISBN 0931215129
.br
br
Description of the overall architecture of a system that they built.

%A J. Korn
%A J. D. Cumbers
%A F. Huss
%T Computer Aided Systems Modelling
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 202-213
%K AI02 T02
%X ISBN 0931215129
.br
br
discusses the design of a system to read text with an example given
from an newspaper article about the sale of public woodlands to private
investors in Britain.

%A Kingsley Harrop-Williams
%T Artificial Intelligence in Soil Exploration
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 229-237
%K AA05 AI04 O04 AI06
%X ISBN 0931215129
.br
br
This system interprets cone penetrometer data in a geotechnical survey.
It uses learning techniques and interprets information as readings
are taken so as to allow decisions on which readings to take next to be
influenced by the interpretation of those already taken in the past.
Pattern recognition techniques are used to separate the M soil types
from the observed measurement vectors and fuzzy techniques are used
to represent various beliefs about the characteristics of the site.

%A Rense Lange
%T Stat: A Probabilistic Knowledge Based Induction Program for Building
Expert Systems
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 239-246
%K AI04 AI01
%X ISBN 0931215129
.br
br
Describes a clustering system of the Michalski type with applications
to expert systems.

%A Felix S. Wong
%A Weimin Dong
%T Fuzzy Information Processing in Engineering Analysis
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 247-260
%K O04 AI01 AA05 AT08
%X ISBN 0931215129
.br
br
discussion of fuzzy logic techniques

%A John J. Granacki
%A Alice C. Parker
%T A Natural Language Interface for Specifying Digital Systems
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 215-226
%K AA04 AI02
%X an interface to the VLSI design system ADAM using Conceptual
Dependencies.  New Conceptual Dependencie classes were created
for digital design in such a manner that the system developed will
work with any CD based Natural Language design system.

%A W. M. Dong
%A H. C. Shah
%A A. C. Boissonnade
%T Treatment of Vague Information in the Development of a Risk
Evaluatin System - Application to Seismic Risk Analysis
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 247-260
%K O04 AA05 AI01
%X Fuzzy rules are used to represent various socio-economic considerations
in measuring the impact of an earthquake while more structured rules
are used to represent various analysis tools for earthquake engineering.

%A C. C. Thiel
%A A. C. Boissonnade
%T System Identification and Information Processing in Seismic Vulnerability
Analysis of Structures
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 277-285
%K AA05 O04
%X The use of fuzzy modelling and cascading models in generating earthquake
vulnerability assessments

%A Adele Howe
%A Paul Cohen
%A John Dixon
%A Melvin Simmons
%T Dominic: A Domain-Independent Program for Mechanical Engineering Design
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 289-299
%K AA05
%X an optimization system for evaluate and redesign engineering.
The emphasis is on "parameter selection" for a system whose basic configuration
is known.  I. E. in a belt and pulley system, the exact sizes and locations
of the pulleys would be chosen when the configuration of what belt is
attached to which pulley has been predetermined.

%A Farrokh Mistree
%A H. M. Karandikar
%A Saiyid Kamal
%T Rule-Based Post Solution Analysis of Decision Support Problems: Some
Preliminary Results
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 302-315
%K linear programming sensitivity analysis optimization AI01
%X describes methods for assisting the user in analyzing the results
of a linear programming run.  Examples of changes that can be examined
are changes in the coefficients of the constraints or the inclusion
of a new variable.

%A Bertrand Neveu
%A Pierre Haren
%T SMECI: An Expert System for Civil Engineering Design
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 317-325
%K AA05 AI01
%X an expert system for harbor and breakwater design.

%A Michael G. Dyer
%A Margot Flowers
%A Jack Hodges
%T Edison: An Engineering Design Invention System Operating Naively
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 327-342
%K AI03 AA05 AI01
%X A system to handle naive physical reasoning in connection with simple
physical objects such as can openers and transmission systems.
The system works in brainstorming mode (to discover new devices ala Lenat)
and problem solving mode.

%A J. S. Gero
%A M. Balachandran
%T Knowledge and Design Decision Processes
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 343-352
%K Pareto optimality optimization NISE
%X design under conditions of Pareto optimality, that is with multiple
items that need to be "optimized."  Rules are used to reduce the time
to compute the Pareto optimal set and to determine the shape of the
optimal set qualitatively.

%A D. Sriram
%A M. L. Maher
%T The Representation and Use of Constraints in Structural Design
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 355-368
%K AA05 AI01 AI16
%X discussion of some of the knowledge engineering and constraint
representation issues in the HI-RISE and ALL-RISE building design
systems

%A Navin Chandra
%A David H. Marks
%T Intelligent Use of Constraints for Activity Scheduling
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 369-382
%K operations research scheduling AI01 AI03
%X A rule-based scheduling system and a language for representing
constraints in a scheduling system

%A  David C. Brown
%A Robert Breau
%T Types of Constraints in Routine Design Problem-Solving
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 383-390
%K AA05 package design AI16 AI01
%X discusses the work of those designing packaging for computer terminals
and other equipment.  Reviews observations on real engineers doing this
work, various types of constraints that exist and methods used in
failure handling to backtrack.

%A Robert Milne
%T Constraint Drive Distribution Scheduling
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 391-399
%K AI01 AA18
%X describes expert systems
to handle the fielding of equipment to large organizations including the
handling of priorities of which group gets which equipment first and
the disposition of old equipment being replaced.

%A Bernt A. Bremdel
%A Svein Kristiansen
%T Concept Definition in Marine System Design
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 403-421
%K AA03 AI01 AA05
%X describes goals of expert systems for the overall design of offshore
oil drilling systems and the systems and plans to lift equipment onto
an offshore structure being constructed.

%A S. C. Y. Lu
%A C. R. Blattner
%T A Knowledge-Based Expert System for Drilling Station Design
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 423-443
%K IDRILL AI01 AA26
%X An expert system for the design of drilling stations in large
scale manufacturing transfer lines is described.

%A Jack Aldridge
%A John Cerutti
%A Willard Draisin
%A Michael Steuerwalt
%T Expert Assistants for Design
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 445-455
%K AI01 nuclear weopon AA05 AA26 AA18  AA28 PROCON APPRENTICE
%X these systems provide an interface to simulation systems and although
of general use, have been applied to nuclear warhead design.  APPRENTICE
provides graphical input and assists the engineer in designing.

%A K. G. Swift
%A A. Matthews
%A C. Syan
%T The Application of IKBS in Design for Assembly and Surface Treatment
Selection
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 459-471
%K  AA26 AA05 AI01
%X The coating system chooses polymeric coatings for objects.
It has achieved an error rate of 5% compared to human error rate of 3%.
.br
br
The assembly system is resident
in the CAD workstation and presents its data as annotations and proposed
revisions

%A Paul J. Nolan
%T An Intelligent Assistant for Control System Design
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 473-481
%K AA05 AI01
%X This expert system designs linear time-invariant control systems
and includes the simplification into block diagrams or signal flow
graphs to canonical form, selection of compensator type and analysis/
synthesis approach.

%A B. S. Lim
%A J. A. G. Knight
%T Holdex - Holding Device Expert System
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 483-493
%K AA26 AA05 AI01
%X A system for tooling design in manufacturing.  The discussion emphasizes
the type of drilling to be used.  It also appears that there is an interface
to PADL for getting geometric information about the part to be manufactured.

%A Jacques Calmet
%A Denis Lugiez
%T A Knowledge-Based System for Computer Algebra
%J SIGSAM Bulletin
%V 21
%N 1
%D February 1987
%P 7-13
%K AA15 AI14
%X outline of such a system, includes a description of software engineering
aspects as well.

%A Monique Grandbastien
%A Jean Maroldt
%T Towards an Expert System for Troubleshooting Diagnosis in Large Industrial
Plants
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 503-511
%K AA20 AA21 AA05 AI01
%X A demonstration expert system for a gas blast furnace was  developed
with emphasis on the gas analysis aspects.  A complete expert system
is being prototyped.

%A A. DiLeva
%A P. Giolito
%T Data Models and Process Models for Computer Integrated Manufacturing
Systems
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 513-526
%K AA26 AA21 AA05 AI01 AA09 AI16 petri net entity relation model
%X The Entity Relation Model for Databases and a Transaction Definition
Language as well as Petri Nets are used to represent manufacturing systems.

%A P. J. Nolan
%A M. A. McCarthy
%T AI Frame-Based Simulation in System Dynamics
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 527-538
%K AA11 AA28 continuous system simulation CSMP dynamo frame
%X This system provides a representation for common components of
social and biological
continuous system simulations such as simple inventory system, time delay
population model, and summing junction.  This provides a way for
the user to specify DYNAMO and CSMP simulations at a higher level.

%A D. L. Crandall
%T Automated Valve Expertise Capture
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 539-544
%K AI01 AA05 component selection
%X This system is used in experimental energy production equipment
design for the selection of valves.  In addition to comparing the
valve request with a data base, it invokes special features for
special problems in valve selection such as high temperature requirements.

%A W. A. Taylor
%T Development of a Knowledge Based System for Process Planning in
Welding
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 545-562
%K metallurgy hardenability steel AI01 AA05 AA26 offshore oil wells
%X  This rule based expert system develops appropriate welding
procedures for arc welding a specific range of steel grades.

%A H. C. Brockelsby
%A D. L. Crandall
%T Information Processing in the Non-Homogenous Environment
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 563-572
%K AA05
%X describes the engineering functions at Idaho National
Engineering Laboratory and how they can be served by an integrated
engineering automation system which would probably include AI
components.

%A D. E. Reynolds
%A C. B. Boulton
%A S. C. Martin
%T AI Applied to Real Time Control: A Case Study
%B Applications of Artificial Intelligence in Engineering Problems
%E D. Sriram
%E R. Adey
%V 1
%I Computational Mechanics Publications
%C Woburn, Massachussetts
%D 1986
%P 573-583
%K  AI01 AI09 AI06 AA19 AA18
%X Applications to the control of a mine hunting surface ship
which typifies problems
in which standard multi-variable control theory can be used but
different control strategies must be used at various times while
the system is running.  The system uses "plan scripts" to structure
the database of actions and uses signal interpretation to determine
what state it is in.

%A N. V. Murray
%A E. Rosenthal
%T Theory Links
%R 86-3
%I State University of New York at Albany, Department of Computer Science
%K AI11
%X We develop the notiton of theory link, which is a generalization of ordinary
link to a set of literals that are simultaneously unsatisfiable relative
to a given set of clauses.  We show that theory links may be 'activated' in
much the same manner as ordinary links when inferencing with respect to the
given set of clauses.  Several link deletion results are shown to hold for
theory links, and several examples, including Schubert's Steamroller,
are presented using first-order theory links.

%A N. V. Murray
%A E. Rosenthal
%T Path     Dissolution for Propositional Logic
%R 86-6
%I State University of New York at Albany, Department of Computer Science
%K AI10 Prawitz matrix reduction   semantic graphs   path resolution
Noetherean

%A M. Balaban
%A N. V. Murray
%T Logic Programming with LOGLISP
%R 86-9
%I State University of New York at Albany, Department of Computer Science
%K AT08 AI11 T01

%A M. Balaban
%T The Generalized-Concept Approach to Knowledge Representation: A Frame
Like Interface to Logic
%R 86-12
%I State University of New York at Albany, Department of Computer Science
%K Generalized-Concept Model AI10 AI16  AA25
%X see Tech Report 86-13 for extended version of the same paper

%A M. Balaban
%A N. V. Murray
%T A First Order Calculus for Temporal Knowledge
%R 86-26
%I State University of New York at Albany, Department of Computer Science
%K  AI10 AI16

%A M. Balaban
%T The Generalized-Concept (G-C) Formalism- An Object Oriented, Logic
Framework for Knowledge Representation in AI
%R 86-27
%I State University of New York at Albany, Department of Computer Science
%K AI10 AI16

%A A. Ginsberg
%A S. M. Weiss
%A P. Politakis
%T Automatic Knowledge Base Refinement for Classification Systems
%R CBM-TR-148
%I Rutgers University
%K SEEK SEEK2 AI03 AI01
%X system to refine knowledge bases automatically

%A C. V. Apte
%A S. M. Weiss
%T An Expert Systems Methodology for Control and Interpretation of
Applications Software
%R CBM-TR-149
%I Rutgers University
%K AA03 AI01 AA15
%X System for the Control and Interpretation of interactive software systems

%A A. Van der Mude
%T Some Formal Properties of Version Spaces
%R DCS-TR-201
%I Rutgers University
%K AI04 AI16 Inductive Inference
%X Version Spaces are a method for learning a general model which describes some
input data, by keeping track of a number of equally likely alternative
models (versions) consistent with the data, while deleting unacceptable
models and adding new versions as the need arises

%A T. Imielinski
%T Complexity of Query Processing in the Deductive Databases with Incomplete
Information
%R DCS-TR-206
%I Rutgers University
%K AA09 AI10
%X The Query Processing problem on relation databases with intensions
built from Linear Horn clauses, prefixes of the type all, some, all and
conjunctive queries.  Two properties are described which determine
the decidability of query processes.  A query is given which has exponential
lower bound.

%A T. Imielinski
%T Domain Abstraction and Limited Reasoning
%R DCS-TR-207
%I Rutgers University
%K O04 AI10 AI11
%X Approximate reasoning methods for first order logic

%A R. M. Keller
%T The Role of Explicit Contextual Knowledge in Learning Concepts to Improve
Performance
%R ML-TR-7
%I Rutgers University
%K AI03 AI01
%Y $15.00
%X Difficulties in using concept learning methods to improve an existing
systems performance.

%A W. Ludwell Harrison
%T Compiling Lisp for Evaluation on a Tightly Coupled Multiprocessor
%R CSRD Report No. 565
%I Center for Supercomputing Research and Development, University of Illinois
%D March 1986
%K T01 H03
%X 281 pages

%A Santosh Abraham
%A J. Patel
%T Parallel Garbage Collection on a Virtual Memory System
%R 620
%I Center for Supercomputing Research and Development, University of Illinois
%D August 1987
%K T01 H03
%X to appear in 1987 International Conference on Parallel Processing

%A W. Marek
%A M. Truszyczynski
%T Incompleteness of Information in Rule-Based Systems: The
Role of Minimal Sets
%R 87-87
%I Department of Computer Science, University of Kentucky
%K AI01 AI16

%A W. Marek
%T A Natural Semantics for Modal Logic Over Databases
%R 88-87
%I Department of Computer Science, University of Kentucky
%K AA09 AI10

%A Tom Altman
%A Suresh Easwar
%T Rotation-Invariant Enclodings for Linear-Time Shape Matching Algorithms
%R 89-87
%I Department of Computer Science, University of Kentucky
%K AI06 O06

%A W. Marek
%A M. Truszyczynski
%T Forcing Autoepistemic Statements
%R 90-87
%I Department of Computer Science, University of Kentucky
%K AI16

%A Robert Cartwright
%T Types as Intervals
%R TR84-5
%I Department of Computer Science, Rice University
%D November 1984
%Y $2.50
%K AI16  AI15
%X To accommodate polymorphic data types and operations, several computer
scientists - most notably MacQueen, Plotkin, and Sethi -- have proposed
formalizing types as ideas.  Although this approach is intuitively
appealing, the resulting type system is both complex and restrictive
because the type constructor that creates function types in [sic] not
monotonic, and hence not computable.  As a result, types cannot be
treated as data values, precluding the formalization of type constructors
and polymorphic program modules (where types are values) as higher order
computable functions.  Moreover, recursive definitions of new types do not
necessarily have solutions.
.sp
This paper proposes a new formulation of types -- called intervals-- that
subsumes the theory of types as ideals, yet avoids the pathologies caused
by non-monotonic type constructors.  In particular, the set of interval
types contains the set of ideal types as a proper subset and all the
primitive type operations on intervals are extensions of the corresponding
operations on ideas.  Nevertheless, all of the primitive interval type
constructors including the function type constructor and type quantifiers
are computable operations.  Consequently, types are higher order data
values that can be freely manipulated within programs.

%A Robert Hood
%T Efficient Applicative Operations on Recursive Data Structures
%R TR 85-515
%I Department of Computer Science, Rice University
%D February 1985
%K T01
%Y $1.20
%X Gives O(1) time and space functions in Pure Lisp for a given set of
operations to manipulate recursive data structures such as LISP's S
expressions including array-like selection.

%A Hans Boehm
%A Alan Demers
%A James Donahue
%T A Programmers' Introduction t0o Russel
%R TR 85-16
%I Department of Computer Science, Rice University
%D March 1985
%Y $1.95
%X Russell is a programming language based on the view that a data type
is simply a collection of operations which can itself be manipulated.
This permits compile-type checking with the flexibilities of languages
supporting dynamic typing.

%A William G. Golson
%T A Complete Proof System for an Acceptance Refusal Model of CSP
%R TR 85-19
%I Department of Computer Science, Rice University
%D April 1985
%K AA09 Concurrent Sequential Processes Hoare
%Y $2.25

%A Paul Besl
%A Ramesh Jain
%T An Overview of Three-Dimensional Object Recognition
%R RSD-TR-19-84
%I Robot Systems Division, University of Michigan
%K AI06
%Y $4.50

%A Paul Besl
%A Ramesh Jain
%T Surface Characterization for Three-Dimensional Object Recognition in
Depth Maps
%R RSD-TR-20-84
%I Robot Systems Division, University of Michigan
%K AI06
%Y $5.00

%A I. K. Sethi
%A Ramesh Jain
%T Finding Trajectories of Point in Monocular Image Sequence
%R RSD-TR-3-85
%I Robot Systems Division, University of Michigan
%K AI06
%Y $2.50
%X finding the same physical point in more than one dimension, formulated
as an optimization problem for the case of several nonrigid objects
in a scene.

%A Richard A. Volz
%A Tony C. Woo
%A Jan D. Wolter
%T Optimal Algorithms for Symmetry Detection in Two and Three Dimensions
%R RSD-TR-5-85
%I Robot System Division, University of Michigan
%K O06
%Y $2.50
%X Algorithms for finding rotational and involutional symmetries in point
sets, polygons nad polyhedrons.  Time is O(n) for polygons and O(nlogn) for
two and three-dimensional point sets.  Polyhedra with planar connected surface
graphs can be done in O(n) time.

%A Mubarak Shah
%A Arun Sood
%A Ramesh Jain
%T Pulse and Staircase Models for Detecting Edges at Multiple Resolution
%R RSD-TR-7-85
%I Robot Systems Division, University of Michigan
%K AI06
%Y $2.50

%A P. S. Bhugra
%A T. N. Mudge
%T Comparisons Between Ada and Lisp
%R RSD-TR-9-85
%I Robot Systems Division, University of Michigan
%K AI06
%Y $2.00

%A T. F. Knoll
%A R. C. Jain
%T Recognizing Partially Visible Objects Using Feature Indexed Hypotheses
%R RSD-Tr-10-85
%I Robot Systems Division, University of Michigan
%K AI06
%Y $2.50

%A S. M. Hyanes
%A Ramesh Jain
%T Event Detection and Correspondence
%R RSD-Tr-12-85
%I Robot Systems Division, University of Michigan
%K AI06
%Y $2.00
%X Detection of changes in uniformly accelerated motion of objects from
pictures of their movement

%A Paul Besl
%A Kurt Skifstad
%A Ramesh Jain
%T Objective Dimensionality Reduction Using Out-of-Class Covariance
%R RSD-TR-17-85
%I Robot Systems Division, University of Michigan
%K O06 AI06 O04
%Y $3.00
%X Non-hierarchical statistical decision algorithms spend a significant
portion of their time entertaining incorrect hypotheses in multiple class,
pattern recognition problems.  Maximum-likelihood multivariatie-Gaussian (MLMVG)
hypotheses testing is a common example of such a statistical pattern
rognition technique.  It is shown that the use of out of class covariance
matrices can significantly reduce the run-time computations required to
make MLMVG decisions.  The Analysis directly leads to an objective
dimensionality reduction (ODR) technique that indicate the preferred,
intrinsic dimensionality omultiple class decision spaces given the training
data.  Run-time computatio/ns are reduced even further using these reduced
dimension class decision spaces with dimensionality reduction technique to
stress the essential concepts of out-of-class covariance.  The theory has been
applied to a nine(9) class, twenty-seven (27) feature, automatic visual solder
joint inspection problem with excellent results; run-time computations
are reduced by more than a factor of three while maintaining excellent design
performance.

%A Shih-Ping Liou
%A Ramesh C. Jain
%T Detecting Road Edges Using Hypothesized Vanishing Points
%R RSD-TR-18-85
%I Robot Systems Division, University of Michigan
%K AI06 AA19
%Y $2.50

%A Suk In Yoo
%T A Methodology For Solving Problems in Artificial Intelligence
%R RSD-TR-20-85
%I Robot Systems Division, University of Michigan
%K AI03 A* heuristic function traveling salesman robot planning consistent
labelling theorem proving
%Y $11.50

%A Ramesh Jain
%A Sandra L. Bartlett
%A Nancy O'Brien
%T Motion Stereo Using Ego-Motion Complex Logarithmic Mapping
%R RSD-TR-3-86
%I Robot Systems Division, University of Michigan
%K AI06
%Y $2.50
%X Obtaining and using stereo information from a moving camera

%A Charles J. Conrad
%A N. Harris McClamroch
%T The Drilling Problem: A Stochastic Modeling and Control Example in
Manufacturing
%R RSD-TR-4-86
%I Robot Systems Division, University of Michigan
%K AA26
%Y $2.50

%A Paul Besl
%A Ramesh Jain
%T Segmentation Through Symbolic Surface Descriptions
%R RSD-TR-5-86
%I Robot Systems Division, University of Michigan
%K AI06
%Y $3.00

%A Pual Joseph Besl
%T Surfaces in Early Range Image Understanding
%R RSD-TR-10-86
%I Robot Systems Division, University of Michigan
%K AI06
%Y $18.00

%A Rajeev Agrawal
%A Ramesh Jain
%T An Overview of Tactile Sensing
%R RSD-TR-11-86
%I Robot Systems Division, University of Michigan
%K AI06 AI07
%Y $2.50

%A Jerry Lee Turney
%T Recognition of Partially Occluded Parts
%R RSD-TR-16-86
%I Robot Systems Division, University of Michigan
%K AI06 AI07 AA26
%Y $7.00

%T Behavior of Edges in Scale Space
%R RSD-2-87
%I Robot Systems Division, University of Michigan
%K AI06

%A Daniel Pual Miranker
%T TREAT: A New and Efficient Match Algorithm for AI Production Systems
%R TR-87-03
%I University of Texas at Austin, Department of Computer Sciences
%K AI01 H03 O06
%X The algorithm which was designed specifically for the DADO parallel
machine in fact is more efficient on sequential machines as well.

%A Allan Collins
%A Ryszard Michalski
%T The Logic of Plausible Reasoning: A Core Theory
%R NO. 951
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D February 1986

%A John A. Bentrup
%A Gary J. Mehler
%A Joel D. Riedesel
%T INDUCE 4: A Program for Incrementally Learning Structural Descriptions
from Examples
%R 958
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D February 1987
%K AI04

%A Peter Haddawy
%T A Variable Precision Logic Inference System Employing the Dempster-Shafer
Uncertainty Calculus
%R 959
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D December 1986
%K O04 Construction Project Cost Estimation

%A R. S. Michalski
%A A. B. Baskin
%A C. Uhrik
%A T. Channik
%T The ADVISE.1 Meta-Expert System: The General Design and a Technical
Description
%R 962
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D January 1987
%K AI01

%A Kaihu Chen
%T The Inductive Acquisition of Temporal Knowledge
%R 964
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D December 1986
%K AI04 O03

%A Ryszard S. Michalski
%T Two-Tiered Concept Meaning, Inferential Matching and Conceptual
Cohesiveness
%R 968
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D June 1986
%K AI04

%A Kenneth D. Forbus
%T The Qualitative Process Engine
%R 1288
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D December 1986
%K AT15 qualitative physics

%A Kenneth D. Forbus
%T The Logic of Occurrence
%R 1300
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D December 1986
%K Zeno's paradox pruning

%A Mitchell D. Lubas
%T A Knowledge-Based Design aid for the Construction of Software Systems
%R 1304
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D November 1986
%K AA08

%A Larry Rendell
%A Powell Benedict
%A Howard Cho
%T Concept Acquisition from Examples: Measurement of System Performance and
Suggestions for Improved Design
%R 1315
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D January 1987
%K AI04

%A Dedre Gentner
%T Evidence for A Structure-Mapping Theory of Analogy and Metaphor
%R 1316
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D December 1986
%K AI02

%A Larry Rendell
%T Conceptual Knowledge Acquisition in Search
%R 1317
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D January 1987
%K AI03 AI04

%A Larry Rendell
%A Raj Seshu
%A david Tcheng
%T Robust Concept Learning Using Dynamically-Variable Bias
%R 1318
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D March 1987
%K AI04

%A Larry Rendell
%T Layered Concept Learning and Its Advantages
%R 1320
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D March 1987
%K AI04

%A L. V. Kale
%T "Completeness" and "Full Parallelism" of Parallel Logic Programming
Schemes
%R 1321
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D February 1987
%K H03 AI10

%A Larry Rendell
%T Representations and Models for Concept Learning
%R 1324
%I Department of Computer Science, University of Illinois at Urbana-
Champaign
%D March 1987
%K AI04

%A William C. Mann
%A Sandra A. Thompson
%T ANTITHESIS: A STUDY IN CLAUSE COMBINING AND DISCOURSE STRUCTURE
%R ISI/RS-87-171
%I USC/Information Sciences Institute
%D April 1987
%X approx. 30 pages
.sp
AI research in text generation needs a strong linguistically justified
descriptive theory as a basis for creating methods by which programs can write
multiparagraph texts.  This paper sketches Rhetorical Structure Theory, which
has been designed to support text generation, and then applies RST to
describing a particular class of discourse constructs.
.sp
There is no consensus as to the status of clause combining relations relative
to larger texts.  This paper demonstrates a clause combining relation that is
also found as part of larger text structures, and shows how this fact can be
used to explain cases in which contrastive clause combining appears between
clauses that are not in fact in contrast.  The appropriate generalization is
that the relations of clause combining and the relations of general text
structure are the same.  Use of this generalization should make AI text
planning and text generation significantly easier.

%A Christian Matthiessen
%T NOTES ON THE ORGANIZATION OF THE ENVIRONMENT OF A TEXT GENERATION GRAMMAR
%R ISI/RS-87-177
%I USC/Information Sciences Institute
%D April 1987
%K AI02
%X approx. 52 pages
.sp 1
One of the tasks in designing a text generation system is to organize the
environment of the grammatical component of the generation system in such a
way that it supports the grammatical resources in generation.  This report
discusses the methods used for the Penman generation system to infer aspects
of the organization of the knowledge base and other components of the
environments of the Nigel grammar of the Penman system.  It is shown how the
design task can be broken down into a number of very explicit demands on the
environment.  In the main part of the report, the results of application of
such an approach is sketched, with particular emphasis on the general
organization of the knowledge base and the discourse model parts of the
environment.

%A Christian Matthiessen
%A Robert Kasper
%T Systemic Grammar and Functional Unification Grammar
and
Representational Issues In Systemic Functional Grammar
%R ISI/RS-87-179
%I USC/Information Sciences Institute
%D April 1987
%X approx. 55 pages
.sp
SYSTEMIC GRAMMAR AND FUNCTIONAL UNIFICATION GRAMMAR: Systemic Functional
Grammar (SFG) and Functional Unification Grammar (FUG) are superficially very
different approaches to grammatical knowledge, but they share an underlying
comparability that runs very deep.  FUG shares with systemic descriptions an
emphasis on the functions of linguistic objects, and an explicit
representation of feature choices.  This paper explores how a systemic
grammar can be represented in FUG notation, as a step toward creating a
grammatical analysis program for English.  Because FUG has been developed as a
computational tool, expressing a systemic grammar in FUG notation allows new
computational techniques to be applied to it.  Among other benefits, this
program will make it possible to study how much the grammatical functions of
sentences are recoverable from them. It will also provide a method to test the
amount of ambiguity implicit in a systemic description, a topic which has so
far been inaccessible.  This use of FUG as an alternate representation for SFG
may have some additional benefits for both frameworks.  It provides some
solutions to problems in systemic notation which are described by Matthiessen
(in this volume). Several extensions to the FUG framework are also suggested
by this study.
.sp
REPRESENTATIONAL ISSUES IN SYSTEMIC FUNCTIONAL GRAMMAR: Nigel is a large
diverse computational grammar for text generation. Its
framework is an implementation of Systemic Functional Theory of grammar and it
constitutes a context in which the representation of systemic theory can be
explored and studied.
.sp
This paper surveys the representational devices used in the Nigel grammar and
the representational issues that they raise in relation to systemic theory.
These issues are diagnosed in the light of the metafunctional differentiation
of systemic theory.

%A M. J. Amundsen
%T The Compact LISP Machine, a Lisp Machine in a Shoe Box
%J IEEE National Aerospace and Electronics Conference
%V 4
%D 1986
%P 1309-1314
%K H02

%A Robert Buday
%T LISP-Machine Maker Symbolics, Spawned at MIT, is Growing Up
%J Information Week
%N 5
%D March 3, 1986
%P 34-37
%K H02 AT16

%A M. Carlsson
%T A Microcoded Unifier for LISP Machine Prolog
%B Symposium on Logic Programming
%D 1985
%P 162-171
%K T02 H02

%A H. Maegawa
%T Fast LISP Machine and Lisp Evaluation Processor Eval II:
Processor Architecture and Hardware Configuration
%J Journal of Information Processing (Japan)
%V 8
%N 2
%D 1985
%P 121-126
%K H02 GA01

%A S. Sakamooto
%T The Design of a Firmware LISP Machine
%R Technology Reports of the Seikei University
%N 41
%I Faculty of Engineering, Fukuoka, Japan
%D 1986
%P 2751-2752
%K H02

%A H. Schotel
%A J. Pijls
%T A Prototype From Grammatical Instruction on a LISP Machine
%J Informatie (Netherlands)
%V 28
%N 1
%D 1986
%P 48-50

%A J. Spoerl
%T The Architecture of the Symbolics LISP Machine
%J Informatique
%V 1
%D 1986
%P 140-144

%A J. M. Switlik
%A R. J. Short
%T The Database Environment and the LISP Machine
%B Artificial Intelligence and Advanced Computer Technology Conference and
Exhibition. Proceedings.
%D 1986

%A M. Yuhara
%T Evaluation of the FACOM Alpha LISP Machine
%B Thirteenth Annual International Symposium on Computer Architecture
%D 1986
%P 184-190
%K H02

%A V. W. Zue
%T The Development of the MIT LISP-Machine Based Research Workstation
%J Proceeding of International Conference on Acoustics, Speech and
Signal Processing
%V 1
%D 1986
%P 329-332

%A Y. J. Chao
%T Image Processing Methods in Ductile Fracture of Solids
%J Mechanics
%V 14
%N 1
%D January-February 1987
%P 57-60
%K AA05 AI06

%A Yu. S. Afonin
%T Blocked Branch and Bound Method
%J Automation and Remote Control
%V 47
%N 8 Part II
%D August 1986
%P 1107
%K AI03

%A I. B. Muchnik
%A P. M. Snegirev
%T Algorithm to Estimate the Approximation Accuracy of an Empirical Dependence
%J Automation nad Remote Control
%V 47
%N 8 Part II
%D August 1986
%K O06 AI04 O04

%A J. L. Nevins
%T Information-Control Aspects of Sensor Systems for Intelligent Robotics
%J Journal of Robotic Systems
%V 4
%N 2
%D April 1987
%P 215-228
%K AI07 AI06

%A Hooshang Hemami
%A Ralph E. Goddard
%T Recognition of Geometrical Shape by a Robotic Probe
%J Journal of Robotic Systems
%V 4
%N 2
%D April 1987
%P 237-258
%K AI06 AI07

%A Ren C. Luo
%T Microcomputer-Based Robot Dynamic Sensing Using Linear Array Sensor for
Object Recognition and Manipulation
%J Journal of Robotic Systems
%V 4
%N 2
%D April 197
%P 199-214
%K AI06 AI07 H01

%A C. Morandi
%A F. Piazza
%A R. Capancioni
%T Digital Image Registration by Phase Correlation Between Boundary Maps
%J IEE Proceedings-E
%V 134
%N 2 Part E
%D March 1987
%P 101-104
%K AI06

%A J. Mantas
%T Methodologies in Pattern Recognition and Image Analysis -- A Brief
Survey
%J Pattern Recognition
%V 20
%N 1
%D 1987
%P 1-6
%K AI06

%A R. W. Smith
%T Computer Processing of Line Images: A Survey
%J Pattern Recognition
%V 20
%N 1
%D 1987
%P 7-16
%K AI06

%A S. J. Roan
%A J. K. Aggarwal
%A W. N. Martin
%T Multiple Resolution Imagery and Texture Analysis
%J Pattern Recognition
%V 20
%N 1
%D 1987
%P 17-34
%K AI06

%A S. Basu
%A K. S. Fu
%T Image Segmentation by Syntactic Method
%J Pattern Recognition
%V 20
%N 1
%D 1987
%P 35-44
%K AI06

%A Zhen Zhang
%A M. Simaan
%T A Rule-Based Interpretation System for Segmentation of Seismic Images
%J Pattern Recognition
%V 20
%N 1
%D 1987
%P 45-54
%K AI06

%A Maylor K. Leung
%A Yee-Hong Yang
%T Human Body Motion Segmentation in a Complex Scene
%J Pattern Recognition
%V 20
%N 1
%D 1987
%P 55-64
%K AI065

%A D. J. Peuquet
%A Zhang Ci-Xiang
%T An Algoirthm to Determine the Directional Relationship Between Arbitrarily-
Shaped Polygons in the Plane
%J Pattern Recognition
%V 20
%N 1
%D 1987
%P 65-74
%K AI06

%A L. G. Shapiro
%A R. S. MacDonald
%A S. R. Sternberg
%T Ordered Structural Shape Matching with Primitive Extraction by Mathematical
Morphology
%J Pattern Recognition
%V 20
%N 1
%D 1987
%P 75-90
%K AI06

%A M. R. Korn
%A C. R. Dyer
%T 3-D Multiview Object Representations for Model-Based Object Recognition
%J Pattern Recognition
%V 20
%N 1
%D 1987
%P 91-104
%K AI06

%A Toshifumi Tsukiyama
%A T. S. Huang
%T Motion Stereo for Navigation of Autonomous Vehicles in Man-Made Environments
%J Pattern Recognition
%V 20
%N 1
%D 1987
%P 105-114
%K AI06 AA19

%A S. Y. Lee
%A S. Yalamanchili
%A J. K. Aggarwal
%T Parallel Image Normalization on a Mesh Connected Array Processor
%J Pattern Recognition
%V 20
%N 1
%D 1987
%P 115-124
%K AI06 H03

%A H. D. Cheng
%A K. S. Fu
%T VLSI Architectures for String Matching and Pattern Matching
%J Pattern Recognition
%V 20
%N 1
%D 1987
%P 125-142
%K AI06 O06 H03

%A H. Mellink
%A H. Buffart
%T Abstract Code Network as  a Model of Perceptual Memory
%J Pattern Recognition
%V 20
%N 1
%D 1987
%P 143
%K AI08

%A K. N. Ngan
%A A. A. Kassim
%A H. S. Singh
%T Parallel Image-Processing System Based on the TMS 32010 Digital
Signal Processor
%J IEE Proceedings E
%V 134
%N 2 Part E
%D March 1987
%K AI06 H03

%A Soundar R. T. Kumara
%A R. L.  Kashyap
%A C. L. Moodie
%T Expert System for Industrial Facilities Layout Planning and Analysis
%J Computers and Industrial Engineering
%V 12
%N 2
%D 1987
%K AA05 AI01

%A D. Driankov
%T An Outline of a Fuzzy Sets Approach to Decison making with Interdependent
Goals
%J Fuzzy Sets and Systems
%V 21
%N 3
%D March 1987
%P 275-288
%K O04 AI13

%A J. J. Buckley
%T The Fuzzy Mathematics of Finance
%J Fuzzy Sets and Systems
%V 21
%N 3
%D March 1987
%P 257-274
%K AA06 O04

%A  S. K. M. Wong
%A W. Ziarko
%T Comparison of the Probabilistic Approximate Classification and the Fuzzy
Set Model
%J Fuzzy Sets and Systems
%V 21
%N 3
%D March 1987
%P 357-362
%K O04

%A W. Karkowkski
%A N. O. Mulholland
%A T. L. Ward
%T A Fuzzy Knowledge Base of an Expert System for Analysis of Manual Lifting
Tasks (Case Studies and Applications Contribution)
%J Fuzzy Sets and Systems
%V 21
%N 3
%D March 1987
%P 363
%K AA05 O04

%A S. S. Rao
%T Description and Optimum Design of Fuzzy Mechanical Systems
%J Journal of Mechanisms, Transmissions and Automation in Design
%V 109
%N 1
%D March 1987
%P 126-132
%K AA05 O04

%A Heiko Krumm
%T Logical Verification of Concurrent Programs
%J Angewandte Informatik
%N 4
%D April 1987
%P 131-140
%K AA08

%A Janice I. Glasgow
%A Glenn H. MacEwen
%T Developing and Proof of a Formal Specification for a Multilevel
Secure System
%J ACM Transactions on Computer Systems
%V 5
%N 2
%D May 1987
%P 151
%K AA08

%A A. Pashtan
%T A Prolog Implementation of an Instruction-level Simulator
%J Software Practice and Experience
%V 17
%N 5
%D May 1987
%P 309-318
%K AA08 AA04 T02

%A James L. Flanagan
%T Speech Processing an Evolving Technology
%J AT&T Technical Journal
%V 65
%N 5
%D September-October 1986
%P 2-11
%K AI05

%A James G. Josenhans
%A John F. Lynch,\ Jr.
%A Marian R. Rogers
%A Richard R. Rosinski
%A Wendy P. VanDame
%T Speech Processing Application Standards
%J AT&T Technical Journal
%V 65
%N 5
%D September-October 1986
%P 23-33
%K AI05

%A Robert J. Perdue
%A Eugene L. Rissanen
%T Conversant 1 Voice System: Architecture and Applications
%J AT&T Technical Journal
%V 65
%N 5
%D September-October 1986
%P 34-47
%K AI05
%X Conversant is a Registered Trademark

%A John G. Ackenhusen
%A Syed S. Ali
%A James G. Josenhans
%A John W. Moffett
%A Reuel R. Robertson
%A Jaime R. Tormos
%T Speech Processing for AT&T Workstations
%J AT&T Technical Journal
%V 65
%N 5
%D September-October 1986
%P 60-67
%K AI05

%A John G. Ackenhausen
%A Syed S. Ali
%A David Bishop
%A Louis F. Rosa
%A Reed Thorkildsen
%T Single-Board General-Prupose Speech Recognition System
%J AT&T Technical Journal
%V 65
%N 5
%D September-October 1986
%P 48-59
%K AI05

%A Martha Birnbaum
%A Larry A. Cohen
%A Frank X. Welsh
%T A Voice Password System for Access Security
%J AT&T Technical Journal
%V 65
%N 5
%D September-October 1986
%P 68-74
%K AI05

%A Bishnu S. Atal
%A Lawrence R. Rabiner
%T Speech Research Directions
%J AT&T Technical Journal
%V 65
%N 5
%D September-October 1986
%P 75-88
%K AI05

%A Knut Conradsen
%A Gert Nilsson
%T Data Dependent Filters for Edge Enhancement of Landsat Images
%J Computer Vision, Graphics, and Image Processing
%V 38
%N 2
%D May 1987
%P 101-121
%K AI06

%A Ken-Ichi Kanatani
%T Structure and Motion from Optical Flow Under Perspective Projection
%J Computer Vision, Graphics, and Image Processing
%V 38
%N 2
%D May 1987
%P 122-146
%K AI06

%A Azriel Rosenfeld
%T Picture Processing: 1986
%J Computer Vision, Graphics, and Image Processing
%V 38
%N 2
%D May 1987
%P 147
%K AI06

%A W. Greblicki
%A M. Pawlak
%T Necessary and Sufficient Conditions for Bayes Risk Consistency of a Recursive
Kermnel Classification
%J IEEE Transactions on Information Theory
%V 33
%N 3
%D May 1987
%P 408-411
%K O04

%A V. Wispfenning
%T The Complexity of the Word Problem for Abelian I-Groups
%J Theoretical Computer Science
%V 48
%N 1
%D 1986
%P 127
%K AI14 AI10

%A A. V. Zhozhikashvili
%A V. L. Stefanyuk
%T The Category Theory in Problems of Knowledge Representation and Learning
%J Soviet Journal of Computer and Systems Sciences
%V 24
%N 5
%D September-October 1986
%P 11-23
%K AI16 AI04

%A Ye. K. Gordiyenko
%T Implementation of Search Functions of the FRL Language Using a Two-Tag
Associative Memory
%J Soviet Journal of Computer and Systems Sciences
%V 24
%N 5
%D September-October 1986
%P 43-58
%K AI03

%A L. I. Feygin
%T Estimation of the Value of the Planning Horizon in the Case of Fuzzy
Durations of the Operations
%J Soviet Journal of Computer and Systems Sciences
%V 24
%N 5
%D September-October 1986
%P 97-101
%K AI09 O04

%A Ronald R. Yager
%T On the Dempster-Shafer Framework and New Combination Rules
%J Information Sciences
%V 41
%N 2
%D March 1987
%P 93-138
%K O04

%A J. C. A. Van Der Lubbe
%A D. E. Boekee
%A Y. Boxma
%T Bivariate Certainty and Information Measures
%J Information Sciences
%V 41
%N 2
%D March 1987
%P 139-170
%K O04

%A M. A. Zuenkev
%A A. S. Kulguskin
%A A. G. Poletykin
%T Forming Similarity Relations in Analogy-Driven Systems
%J Automation and Remote Control
%V 47
%N 11 Part 2
%D November 1986
%P 1543-1551
%K AI16

%A S. Daley
%A f. F. Gill
%T Attitude Control of a Spacecraft Using an Extended Self-Organizing
Fuzzy Logic Control
%J Proceedings of the Institution of Mechanical Engineers Part C
%V 201
%N 2
%D 1987
%P 97-106
%K AA05 O04

%A G. Jumarie
%T A Concept of Observed Weighted Entropy and its Application to Pattern
Recognition
%J Pattern Recognition Letters
%V 5
%N 3
%D March 1987
%P 191-194
%K AI06

%A J. H. Kim
%T Distributed Inference for Plausible Classification
%J Pattern Recognition Letters
%V 5
%N 3
%D March 1987
%P 195-202
%K AI06

%A J. Ma
%A X. Lu
%A C. Wu
%T A Motion Constraint Equation Under Space-Varying or Time Varying
Illumination
%J Pattern Recognition Letters
%V 5
%N 3
%D March 1987
%P 203-206
%K AI06

%A M. Werman
%A A. Y. Wu
%A R. A. Melter
%T Recognition and Characterization of Digitized Curves
%J Pattern Recognition Letters
%V 5
%N 3
%D March 1987
%P 207-214
%K AI06

%A G. Cristobal
%A J. Bescos
%A J. Santamaria
%A J. Montes
%T Wigner Distribution Representation of Digital Images
%J Pattern Recognition Letters
%V 5
%N 3
%D March 1987
%P 215-222
%K AI06

%A S. Peleg
%A D. Keren
%A L. Schweitzer
%T Improving Image Resolution Using Subpixel Motion
%J Pattern Recognition Letters
%V 5
%N 3
%D March 1987
%P 223-226
%K AI06

%A M. C. Yuan
%A J. G. Li
%T A Production System for LSI Chip Anatomizing
%J Pattern Recognition Letters
%V 5
%N 3
%D March 1987
%P 227-232
%K AI06

%A R. D. Grisell
%T Noniterive Correction of Images and Motion Sequences
%J Pattern Recognition Letters
%V 5
%N 3
%D March 1987
%P 223-242
%K AI06

%A P. Fua
%A A. J. Hanson
%T Resegmentation Using Generic Shape: Locating General Cultural Objects
%J Pattern Recognition Letters
%V 5
%N 3
%D March 1987
%P 243
%K AI06

%A A. M. Rustamov
%A N. G. Dzhanibekova
%A V. G. Zakiev
%T Development of the Automated System on the Analysis of Reader Demand in
Regional Integral Automated Library-Bibliography Systems
%J Nauchno-Tekhnicheskaya Informatsiya, Seriya II - Informatsionnye
Protsessy I Sistemy
%N 3
%D 1987
%P 11-18
%K AA14

%A I. A. Bolshakov
%T Pure Automatic Seplling Correction Based on the Keyboard Model of
Common Errors
%J Nauchno-Tekhnicheskaya Informatsiya, Seriya II - Informatsionnye
Protsessy I Sistemy
%N 3
%D 1987
%P 11-18

%A K. V. K. K. Prasad
%A T. S. Lamba
%T Natural Language Interface Based on Keyword Extraction Using AWK
%J Microprocessors and Microsystems
%V 11
%N 3
%D April 1987
%P 157-160
%K AI02

%A A. N. Averkin
%A V. B. Tarasov
%T The Fuzzy Modeling Relation and its Application to Artificial Intelligence
%J Proceedings Annual Reliability and Maintainability Symposium
%D 1985
%P 3-24
%K O04

%A A. V. Alexeyev
%A A. N. Borisov
%A V. I. Glushkov
%A O. A. Krumberg
%A G. V. Merkuryeva
%A V. A. Popov
%A N. N. Slyadz
%T A Linguistic Approach to Decision-Making Problems
%J Proceedings of the 1986 International Computers and Engineering Conference
%C Chicago, Ill.
%D July 1986
%P 25-42
%K AI02 AI13 O04

%A R. A. Aliev
%T Production Control on the Basis of Fuzzy Models
%J Proceedings of the 1986 International Computers and Engineering Conference
%C Chicago, Ill.
%D July 1986
%P 43-56
%K O04

%A A. F. Blishun
%T Fuzzy Learning Models in Expert Systems
%J Proceedings of the 1986 International Computers and Engineering Conference
%C Chicago, Ill.
%D July 1986
%P 57-70
%K AI01 AI04 O04

%A V. E. Zhukovin
%A F. V. Burshtein
%A E. S. Korelov
%T A Decisoin Making Model with Vector Fuzzy Preference Relation
%J Proceedings of the 1986 International Computers and Engineering Conference
%C Chicago, Ill.
%D July 1986
%P 71-80

%A S. G. Svarovski
%T Usage of Linguistic Variable Concept for Human Operator Modelling
%J Proceedings of the 1986 International Computers and Engineering Conference
%C Chicago, Ill.
%D July 1986
%P 107-114
%K O04 AI02

%A D. A. Pospelov
%T Fuzzy Reasoning in Pseudo-Physical Logics
%J Proceedings of the 1986 International Computers and Engineering Conference
%C Chicago, Ill.
%D July 1986
%P 115-120
%K O04

%A S. V. Chesnokov
%T The Effect of Semantic Freedom in the Logic of Natural Language
%J Proceedings of the 1986 International Computers and Engineering Conference
%C Chicago, Ill.
%D July 1986
%P 121-154
%K AI02 O04

%A D. I. Shapiro
%T Human Specifics, Fuzzy Categories and Counteraction in Decision
Making Problems
%J Proceedings of the 1986 International Computers and Engineering Conference
%C Chicago, Ill.
%D July 1986
%P 155-170
%K AI13 O04

%A I. A. Newman
%A R. P. Stallard
%A M. C. Woodward
%T A Hybrid Multiple Processor Garbage Collection Algorithm
%J The Computer Journal
%V 30
%N 2
%D April 1987
%P 110-118
%K T01 H03

%A J. L. Dupouey
%T Using Artificial Intelligence Languages for the Calculation of
Inbreeding Coefficients - New Tools for an Old Problem
%J Computers in Biology and Medicine
%V 17
%N 2
%D 1987
%P 71-74
%K AA10

%A Rob Gerth
%A W. P. de Roever
%T Proving Monitors Revisited: a First Step Towards Verifying Object
Oriented Systems
%J Fund. Inform.
%V 9
%N 4
%D 1986
%P 371-399
%K AA08

%A P. T. Cox
%T On Determining the Causes of Nonunifiability
%J J. Logic Programming
%V 4
%N 1
%D 1987
%P 33-58
%K AI14 AI10

%A Peter van Emde Boss
%T A Semantical Model for Integration and Modularization of Rules
%B Mathematical Foundations of Computer Science
%S Lecture Notes in Computer Science
%V 233
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 78-92
%K AI01 AI16

%A Ken Hirose
%T An Approach to Proof Checker
%B Mathematical Foundations of Computer Science
%S Lecture Notes in Computer Science
%V 233
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 113-127
%K AA13 AI14 AI11

%A Guy Jumarie
%T New Decision Rules in Statistical Pattern Recognition
%J Kybernetes
%V 16
%N 1
%D 1987
%P 11-18
%K AI06

%A A. V. Kabulov
%A B. I. Zufarov
%T Logical Methods for the Design of Optimal Correctors of Heuristic
Algorithms
%B "Fan"
%C Tashkent
%D 1985
%P 11-17
%K AI16

%A I. V. Kotel'nikov
%T An Algorithm for Constructing a Set of Irredundant Fuzzy Sets
%J Avtomat. i. Telemekh.
%N 9
%D 1986
%P 139-144
%K O04

%A M. A. Nait Abdallah
%T Al-Khowarizmi: A Formal System for Higher Order Logic Programming
%B Mathematical Foundations of Computer Science
%S Lecture Notes in Computer Science
%V 233
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 545-553
%K AI10

%A Zbigniew W. Ras
%A Maria Zemankova
%T Learning in Knowledge Based Systems, a Possibilistic Approach
%B Mathematical Foundations of Computer Science
%S Lecture Notes in Computer Science
%V 233
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 630-638
%K AI04 O04

%A D. Snyers
%T Theorem Proving Techniques and P-Functions for Logic Design and
Logic Programming
%J Philips J. Res
%V 41
%N 5
%D 1986
%P 560-505
%K AA04 AI11 AI10

%A Zbigniew M. Wojcik
%T The Rough Sets Utilization for Linguistic Pattern Recognition
%J Bull. Polish Acad. Sci. Tech. Sci
%V 34
%N 5-6
%D 1986
%P 285-312
%K AI06 AI02

%A S. K. M. Wong
%T Algorithm for Inductive Learning
%J Bull. Polish Acad. Sci. Tech. Sci.
%V 34
%N 5-6
%D 1986
%P 271-276
%K AI04

%A S. K. M. Wong
%A Wojciech Ziarko
%T Remarks on Attribute Selection Criterion in Inductive Learning Based
on Rough Sets
%J Bull. Polish. Acad. Sci. Tech. Sci
%V 34
%N 5-6
%D 1986
%P 273-283
%K AI04

%A W. Bibel
%A Ph. Jorrand
%T Fundamentals of Artificial Intelligence. An Advanced Course.
%S Lecture Notes in Computer Science
%V 232
%I Springer-Verlag
%C Berlin-New York
%D 1986
%K AI16 AT15

%A V. Arvind
%A Somenath Biswas
%T An O($N sup 2$) algorithm for the Satisfiability Problem of a Subset
of Propositional Sentences in CNF that Includes all Horn Sentences
%J Inform. Process. Lett
%V 24
%D 1987
%P 67-69
%K O06 AI10

%A Luis Farinas del Cerro
%A Martti Pentonnen
%T A Note on the Complexity of the Satisfiability of Modal Horn Clauses
%J J. Logic Programming
%V 4
%N 1
%D 1987
%P 1-10
%K AI11 O06

%A Fracoise Fogelman-Soulie
%A Gerard Weisbuch
%T Random Iterations of Threshold Networks and Associative Memory
%J SIAM J. Comput
%V 16
%N 1
%D 1987
%P 203-220
%K AI16 AI08

%A Erik Tiden
%T First-order Unification in Combinations of Equational Theories (Ph. D.
Thesis)
%I Royal Institute of Technology
%C Stockholm
%D 1986
%K AI14 AI11

%A Moshe Y. Vardi
%T Querying Logical Databases
%J J. Comput. System Sci
%V 33
%N 2
%D 1986
%P 142-160
%K AA09 AI10

%A Zbigniew M. Wojcik
%T Contextual Information Research within Sentence with the Aid of the Rough
Sets
%J Bull. Polish Acad. Sci. Tech. Sci
%V 34
%N 5-6
%D 1986
%P 313-330
%K AI02 O04

%A Friedhelm Hinz
%T Regular Chain Code Picture Languages of Nonlinear Descriptional
Complexity
%B Mathematical Foundations of Computer Science
%S Lecture Notes in Computer Science
%V 233
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 414-421
%K AI06

%A Stephen D. Brookes
%T A Fully Abstract Semantics and a Proof System for an ALGOL-like language
with Sharing
%B Mathematical Foundations of Programming Semantics
%S Lecture Notes in Computer Science
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 59-100
%K AA08

%A Susanne Graf
%T A Complete Inference System for an Algebra of Regular Acceptance Models
%B Mathematical Foundations of Computer Science
%S Lecture Notes in Computer Science
%V 233
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 386-395
%K AI10

%A Laszlo Bela Kovacs
%T Automated Protocol Verification
%B Kozl.-MTA Szamitastech. Automat. Kutato Int. Budapest
%N 33
%D 1985
%P 37-45

%A M. J. Beeson
%T Proving Programs and Programming Proofs
%B Logic, Methodology and Philosophy of Science, VII
%S Stud. Log Foundations Math.
%V 114
%I North-Holland
%C Amsterdam-New York
%D 1986
%K AA08 AI16

%A Anne-Marie Deroualt
%A Bernard Merialdo
%T Language Modelling Using a Hidden Markov Chain with Application
to Automatic Transcription of French Stenotypy
%B Semi-Markov Models
%I Plenum
%C New York-London
%D 1986
%K AI02

%A A. J. Baddeley
%T Stochastic Geometry and Image Analysis
%B Mathematics and Computer Science (Amsterdam 1983)
%S CWI Monographs
%V 1
%I North-Holland
%C Amsterdam-New York
%D 1986
%P 1-18
%K AI06

%A A. G. Ivakhenko
%A S. A. Petukhova
%T Objective Computerized Clustering.  I. Theoretical Questions
%J Soviet J. Automat. Inform. Sci
%V 19
%N 3
%D 1986
%P 1-9
%K O06

%A Hassan Ait-Kaci
%T LOGIN: A Logic Programming Language with Built-in Inheritance
%J J. Logic Programming
%V 3
%N 3
%D 1986
%P 185-215
%K AI10

%A Marco Bellia
%A Giorgia Levi
%T The Relation Between Logic and Functional Languages: A Survey
%J J. Logic Programming
%V 3
%N 3
%D 1986
%P 217-236
%K AT08

%A Karl-Hans Blasius
%T Equality Reasoning with Equality Paths
%B GWAI-85 Proceedings of the Ninth German Workshop on Artificial Intelligence
%E Herbert Stoyan
%S Technical Reports on Information Science
%V 118
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 57-76
%K AI14

%A Wolfram Buttner
%T Unification in the Data Structure Sets
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 470-488
%K AI14 AA08

%A Ahlenm Ben Cherifs
%A Pierre Lescane
%T An Actual Implementation of a Procedure that Mechanically Proves
Termination of Rewriting Systems Based on Inequalities Between
Polynomial Interpretations
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 42-51
%K AI14 AI11

%A P. Ciancarini
%A P. Degano
%T An Approach to Proving Properties of Nonterminating Logic Programs
%B Algebra, Combinatorics and Logic in Computer Science, Vol I. II,
(Gyor, 1983)
%S Colloq. Math. Soc. Janos Bolyai
%V 42
%I North-Holland
%C Amsterdam-New York
%D 1986
%P 223-243
%K AI14 AA08 O02

%A Hubert Comon
%T Sufficient Completeness, Term Rewriting Systems and "Anti-Unification"
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 128-140
%K AI14 AI11

%A P. Tox Cox
%A T. Pietrzykowski
%T Causes for Events: Their Computation and Applications
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%K AI11 temporal reasoning

%A A. J. J. Dick
%A R. J. Cunningham
%T Using Narrowing to Do Isolation in Symbolic Equation Solving
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 272-280
%K AI14

%A Roland Dietrich
%T Relating Resolution and Algebraic Completion for Horn Logic
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 62-78
%K AI14 AI10 AI11

%A B. Fronhofer
%T On Refinements of the Connection Method
%B Algebra, Combinatorics and Logic in Computer Science, Vol I. II,
(Gyor, 1983)
%S Colloq. Math. Soc. Janos Bolyai
%V 42
%I North-Holland
%C Amsterdam-New York
%D 1986
%P 391-401

%A Isabelle Gnaedig
%A Pierre Lescanne
%T Proving Termination of Associative Commutative Rewriting Systems by
Rewriting
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 52-61
%K AI14 AI11

%A Richard Gobel
%T Completion of Globally Finite Term Rewriting Systems for Inductive
Proofs
%B GWAI-85 Proceedings of the Ninth German Workshop on Artificial Intelligence
%E Herbert Stoyan
%S Technical Reports on Information Science
%V 118
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 101-110
%K AI11 AI14

%A I. R. Goodman
%T Some Asymptotic Results for the Combination of Evidence Problem
%J Math. Modelling
%V 8
%D 1987
%P 216-221
%K O04 O06

%A Alexander Herold
%T Combination of Unification Algorithms
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 450-469
%K AI11 AI14

%A Douglas Howe
%T Implementing Number Theory: an Experiment with Nuprl.
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 404-415
%K AA13 AI11 AI14

%A Tadashi Kanamori
%A Hiroshi Fujita
%T Formulation of Induction Formulas in Verification of Prolog Programs
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 281-299
%K AI14 AI11 O02

%A Deepak Kapur
%A Paliath Narendran
%A Hantao Zhang
%T Proof by Induction Using Test Sets
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 99-117
%K AI14 AI11

%A Deepak Kapur
%A Paliath Narendran
%T NP-Completeness of the Set Unification and Matching Problems
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 489-495
%K O06 AI11

%A Thomas Kaufl
%T Program Verifier "Tatzelwurm": Reasoning About Systems of Linear
Inequalities
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 300-305
%K AA13 AA08 AI11

%A Younghwan Lim
%T The Heuristics and Experimental Results of a New Hyperparamodulation: HL-
Resolution
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 240-253
%K AI11

%A Rasiah Loganantharaj
%A Robert A. Mueller
%T Parallel Theorem Proving with Connection Graphs
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 337-352
%K AI11 H03

%A Zohar Manar
%A Richard Waldinger
%T How to Clear a Block: Plan Formulation in Situational Logic
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 622-640
%K AI07 AI09 AI11

%A Ursula Maritn
%A Tobias Nipkow
%T Unification in Boolean Rings
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 506-513
%K AI14 AI11

%A Jalel Mzali
%T Matching with Distributivity
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 496-502
%K O06 AI11

%A Sanjal Narain
%T A Technique for Doing Lazy Evaluation in Logic
%J  MAG132
%P 259-276
%K AI10

%A Hung T. Nguyen
%T On Modeling of Expert Knowledge and Admissibility of Uncertainty Measures
%J Math. Modelling
%V 8
%D 1987
%P 222-226
%K O04 AI01

%A Hans-Jurgen Ohlbach
%T Theory Unification in Abstract Clause Graphs
%B GWAI-85 Proceedings of the Ninth German Workshop on Artificial Intelligence
%E Herbert Stoyan
%S Technical Reports on Information Science
%V 118
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 77-100
%K AI14 AI11

%A F. Oppacher
%A E. Suen
%T Controlling Deduction with Proof Condensation and Heuristics
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 384-393
%K AI11 AI14

%A Lawrence C. Paulson
%T Natural Deduction as Higher-Order Resolution
%J Pattern Recognition Letters
%V 5
%N 3
%D March 1987
%P 237-258
%K  AI10 AI11

%A David A. Plaisted
%T Abstraction Using Generalization Functions
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 365-376
%K AI11

%A D. Rydeheard
%T A Categorical Unification Algorithm
%B Category Theory and Computer Programming (Guildford, 1985)
%S Lecture Notes in Computer Science
%V 240
%I Springer-Verlag
%C Berlin-New York
%D 1986
%K AI14 AI11

%A Manfred Schmidt-Schauss
%T Unification in Many-Sorted Equational Theories
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 538-552
%K AI14 AI11

%A Manfred Schmidt-Schauss
%T Unification in a Many Sorted Calculus with Declarations
%B GWAI-85 Proceedings of the Ninth German Workshop on Artificial Intelligence
%E Herbert Stoyan
%S Technical Reports on Information Science
%V 118
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 118-132
%K AI14 AI11

%A Hans-Albert Schneider
%T An Improvement of Deduction Plans: Refutation Plans
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 377-383
%K AI11

%A O. Stepankova
%A P. Stepanek
%T And/or Schemes and Logic Programs
%B Algebra, Combinatorics and Logic in Computer Science, Vol I. II,
(Gyor, 1983)
%S Colloq. Math. Soc. Janos Bolyai
%V 42
%I North-Holland
%C Amsterdam-New York
%D 1986
%P 765-776
%K AI10 AI03

%A Mandayam Thathachar
%A P. S. Sastry
%T Learning Optimal Discriminant Functions Through a Cooperative Game of
Automata
%J IEEE Trans. Systems Man Cybernet.
%V 17
%N 1
%D 1987
%P 73-85
%K AI12 AI04

%A Erik Tiden
%T Unification in Combinations of Collapse-Free Theories with Disjoint
Sets of Function Symbols
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 431-449
%K AI11 AI14

%A F. Winkler
%A B. Buchberger
%T A Criterion for Eliminating Unnecessary Reductions in the Knuth-Bendix
Algorithm
%B Algebra, Combinatorics and Logic in Computer Science, Vol I. II,
(Gyor, 1983)
%S Colloq. Math. Soc. Janos Bolyai
%V 42
%I North-Holland
%C Amsterdam-New York
%D 1986
%P 849-869
%K AI14 AI11

%A L. Wos
%A W. McCune
%T Negative Paramodulation
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 229-239
%K AI14 AI11

%A Martin Abadi
%A Zohar Manna
%T Modal Theorem Proving
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 172-189
%K AI11

%A Peter B. Andrews
%T Connections and Higher-Order Logic
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 1-4
%K AI11 AI10

%A Leo Bachmair
%A Nachum Dershowitz
%T Commutation, Transformation, and Termination
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 5-20
%K AI11 AI14

%A Julian Besag
%T On the Statistical Analysis of Dirty Pictures
%J J. Royal Statistical Society Series B
%V 48
%N 3
%D 1986
%P 259-302
%K AI06

%A R. Book
%T On the Unification Hierarchy
%B GWAI-85 Proceedings of the Ninth German Workshop on Artificial Intelligence
%E Herbert Stoyan
%S Technical Reports on Information Science
%V 118
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 111-117
%K AI14 AI11

%A Frank Malloy Brown
%T A Commonsense Theory of Nonmonotonic Reasoning
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 209-228
%K AI15

%A Hans-Jurgen Burckert
%T Some Relationships Between Unification, Restricted Unification, and
Matching
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 514-524
%K AI11 AI14 O06

%A Cynthia Dwork
%A Paris Kanellakis
%A Larry Stockmeyer
%T Parallel Algorithms for Term Matching
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 416-430
%K AI11 O06 H03 AI14

%A Norbert Eisenger
%T What You Always Wanted to Know About Clause Graph Resolution
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 316-336
%K AI11

%A M. Falaschi
%A Giorgia Levi
%A C. Palamidesi
%T The Formal Semantics of Processes and Streams in Logic Programming
%B Algebra, Combinatorics and Logic in Computer Science, Vol I. II,
(Gyor, 1983)
%S Colloq. Math. Soc. Janos Bolyai
%V 42
%I North-Holland
%C Amsterdam-New York
%D 1986
%P 363-378
%K AI10 O02

%A Jieh Hsiang
%A Michael Fusinowitch
%T A New Method for Establishing Refutational Completeness in Theorem
Proving
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 141-152
%K AI14 AI11

%A Gerhard Jaeger
%T Some Contributions to the Logical Analysis of Circumscription
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 154-171
%K AI15 AI11

%A Kurt Konolige
%T Resolution and Quantified Epistemic Logics
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 199-208
%K AI10 AI11 AI14

%A  Xu Hua Liu
%T Generalized Resolution Using Paramodulation
%J Kexue Tongbao (English Edition)
%V 31
%N 21
%D 1986
%P 1441-1444
%K AI11 AI14

%A Neil V. Murray
%T Theory Links in Semantic Graphs
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 353-364
%K AI16

%A David A. Plaisted
%T A Simple Nontermination Test for the Knuth-Bendix Algorithm
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 69-88
%K AI11 AI14

%A Patrick Saint-Dizler
%T An Approach to Natural-Language Semantics in Logic Programming
%J Journal of Logic Programming
%V 3
%N 4
%D 1986

%P 329-356
%K AI02 AI10

%A P. H. Schmitt
%T Computational Aspects of Three-Valued Logic
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 190-198
%K AI11 O04

%A Yoshohito Toyama
%T How to Prove Equivalence of Term Rewriting Systems without Induction
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 118-127
%K AI11 AI14

%A Jonathan Traugott
%T Nested Resolution
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 394-402
%K AI11

%A Kyastutis Urba
%T Redundancy of Features in a Classification Problem
%J Statist. Problemy Upravleniya No. 72
%D 1986
%P 56-63
%K O04
%X Russian with English and Lithuanian Summaries

%A Christoph Walther
%T A Classification of Many-Sorted Unification Problems
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 525-537
%K AI11 AI14

%A Tie Cheng Wang
%T ECR: An Equality Conditional Resolution Proof Procedure
%B Eighth International Conference on Automated Deduction (Oxford 1986)
%P 470-488
%S Lecture Notes in Computer Science
%V 230
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 254-271
%K AI11

%A Yuan Yuan Wang
%T A Generalized Paramodulation-Resolution Method
%J Nanjing Daxue Xuebao Ziran Kexue Ban
%V 22
%N 2
%D 1986
%P 205-210
%K AI11
%X Chinese with English Summary

%A Richard Cole
%A Chee K. Yap
%T Shape From Probing
%J J. Algorithms
%V 8
%N 1
%D 1987
%P 19-38
%K AI06 AI07

%A Peter Hall
%A D. M. Titterington
%T On Some Smoothing Techniques Used in Image Restoration
%J J. Roy. Satist. Soc. Ser. B.
%V 48
%N 3
%D 1986
%P 330-343
%K AI06

%A R. Schott
%T Nonlinear Filtering and Stochastic Textures
%J Math. Modelling
%V 8
%D 1987
%P 167-169
%K AI06

%A Miguel Filgueiras
%T Cooperating Rewrite Processes for Natural-Language Analysis
%J Journal of Logic Programming
%V 3
%N 4
%D 1986

%P 299-328
%K AI11 AI02

%A Horst Reichel
%T Behavioral Program Specification
%B Algebra, Combinatorics and Logic in Computer Science, Vol I. II,
(Gyor, 1983)
%S Colloq. Math. Soc. Janos Bolyai
%V 42
%I North-Holland
%C Amsterdam-New York
%D 1986
%P 390-411
%K AA08

%A Eugenio Moggi
%T Categories of Partial Morphisms and the $lambda sub p$ - Calculus
(extended abstract)
%B  BOOK84
%P 242-251
%K AA08

%A P. Hajek
%T Some Conservativeness Results for Nonstandard Dynamic Logic
%B Algebra, Combinatorics and Logic in Computer Science, Vol I. II,
(Gyor, 1983)
%S Colloq. Math. Soc. Janos Bolyai
%V 42
%I North-Holland
%C Amsterdam-New York
%D 1986
%P 443-449
%K AI10

%A Thomas M. Fischer
%T On the Average Complexity of Searching for Partial Match Queries in
Multidimensional Search Trees
%B Algebra, Combinatorics and Logic in Computer Science, Vol I. II,
(Gyor, 1983)
%S Colloq. Math. Soc. Janos Bolyai
%V 42
%I North-Holland
%C Amsterdam-New York
%D 1986
%P 379-390
%K O06

%A Werner Alexi
%T Extraction and Verification of Programs through the Analysis of
Formal Proofs
%B GWAI-85 Proceedings of the Ninth German Workshop on Artificial Intelligence
%E Herbert Stoyan
%S Technical Reports on Information Science
%V 118
%I Springer-Verlag
%C Berlin-New York
%D 1986
%P 135-152
%K AA08

%A P. Borowik
%A W. Korczynski
%A T. Kudla
%T An Axiomatic Characterisation of an Algebra of Processes
%B Algebra, Combinatorics and Logic in Computer Science, Vol I. II,
(Gyor, 1983)
%S Colloq. Math. Soc. Janos Bolyai
%V 42
%I North-Holland
%C Amsterdam-New York
%D 1986
%P 141-150
%K AA08