[comp.ai.digest] a60C

E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) (09/14/87)

%A D. Tsichritzis
%A E. Fiume
%A S. Gibbs
%A O. Nierstrasz
%T KNOs: Knowledge Acquisition, Dissemination, and Manipulation Objects
%J ACM Transactions on Office Information Systems
%V 5
%N 1
%D JAN 1987
%P 96
%K AA06

%A S. Baronti
%A R. Carla
%A V. M. Sacco
%T Digital Filtering of APT Images from NOAA Series Satellites
%J Alta Frequenza
%V 55
%N 6
%D NOV-DEC 1986
%P 391-394
%K AI06 AA03

%A S. W. Wharton
%T A Spectral-Knowledge-Based Approach for Urban Land-Cover Discrimination
%J MAG136
%P 272-282
%K AA03 AI06

%A T. Lee
%A J. A. Richards
%A P. H. Swain
%T Probabilistic and Evidential Approaches for Multisource Data Analysis
%J MAG136
%P 283-293
%K AA03 O04 AI06

%A T. D. Garvey
%T Evidential Reasoning for Geographic Evaluation for Helicopter Route
Planning
%J MAG136
%P 294-304
%K O04 AA03 AA19 AA18

%A T. Matsuyama
%T Knowledge-Based Aerial Image Understanding Systems and Expert Systems
for Image Processing
%J MAG136
%P 305-316
%K AI06 AI01 AA18

%A D. M. Mckeown
%T The Role of Artificial Intelligence in the Integration of Remotely
Sensed Data with Geographic Information Systems
%J MAG136
%P 330-348
%K AI06 AA03

%A D. G. Goodenough
%A M. Goldberg
%A G. Plunkett
%A J. Zelek
%T An Expert System for Remote Sensing
%J MAG136
%P 349-359
%K AI01 AA03

%A Donnie R. Ford
%A Bernard Schroer
%T An Expert Manufacturing Simulation System
%J Simulation
%V 48
%N 5
%D MAY 1987
%P 193-200
%K AA26 AA28 AI01

%A Joseph M. Mellichamp
%A Ahmed F. A. Wahab
%T An Expert System for FMS Design
%J Simulation
%V 48
%N 5
%D MAY 1987
%P 201-209

%A R. R. Yager
%T Towards a General Theory of Reasoning with Uncertainty. Part II:
Probability
%J International Journal of Man-Machine Studies
%V 25
%N 6
%D DEC 1986
%P 613-632
%K O04

%A G. S. Pospelov
%A A. M. Razin
%T Principle Trends in the Development of Modern Expert Systems (Review
of Foreign Studies)
%J Nauchno-Tekhnicheskaya Informatsiya, Seriya II - Informatsionnye
Protessy I Sistemy
%N 2
%D 1987
%P 1-11
%K AI01 AT08

%A Alasdair Urquhart
%T Hard Examples for Resolution
%J Journal of the Association for Computing Machinery
%V 34
%N 1
%D JAN 1987
%P 209
%K AI11

%A Yoshihito Toyama
%T On the Church-Rosser Property for the Direct Sum of Term Rewriting
Systems
%J Journal of the Association for Computing Machinery
%V 34
%N 1
%D JAN 1987
%P 128-143
%K AI11 AI14

%A C. Asmuth
%T An Application of Group Representation Theory to Picture Recognition
%J Computers and Mathematics with Applications
%V 13
%N 4
%D 1987
%P 363-366
%K AI06

%A S. M. Yefimova
%A Ye. V. Suvorov
%T A $PI$-Graph Model for Representing Knowledge and a Method for Its
Hardware Realization on the Basis of the Labelled Arrays Method
%J MAG137
%P 1-14
%K AI16

%A V. B. Borshchev
%T Logic Programming
%J MAG137
%P 15-32
%K AI10

%A V. Ye. Zhukovin
%T Fuzzy Multicriterial Decision-Masking Problems
%J MAG137
%P 33-37
%K AI13 O04

%A Ye. P. Balashov
%A M. S. Kupriyanov
%A L. G. Loginskaya
%T Construction and Interpretation of Fuzzy Algorithms
%J MAG137
%P 33-37
%K O04

%A Kh. I. Tani
%T Interfaces for Intelligent Computing Systems
%J MAG137
%P 44-57
%K O01

%A A. A. Dmitriyev
%A S. L. Zenkevich
%T Logic Control of an Adaptive Robotic System
%J MAG137
%P 100-106
%K AI07 AI10

%A G. G. Ananiaskhvili
%A N. N. Bichinashvili
%A Z. I. Mundzhishvili
%A T. L. Khomeriki
%T A Method for Identifying Natural Language Words in Dialogue
Systems
%J MAG137
%P 160
%K AI02

%A P. A. Bakut
%A E. F. Baburov
%A A. M. Varfolomeev
%A T. K. Vinstyuk
%A N. S. Gritsenko
%A V. V. Gritsyk
%A A. A. Demin
%A B. V. Kisil
%A L. M. Krasnov
%A V. P. Loginov
%A A. Yu Lutsyk
%A V. K. Marigodov
%A R. M. Palenichka
%A A. N. Svenson
%A K. N. Sviridov
%A N. D. ustinov
%A N. Yu Khomich
%A G. T. Cherchyk
%T Parallel Methods for Pattern Recognition
%I Naukova Dumka
%C Kiev
%D 1985
%K  H03 AI06 AT15

%A P. I. Balk
%T Application of Demonstration Calculations on a Computer in the Study of the
Properties of Linear Mappings in Finite-Dimensional Spaces
%J Kibernetika
%D 1986
%N 5
%P 106-112
%K AI16
%X Russian with English Summary

%A James Bezdeck
%A Richard J. Hathaway
%A Ralph E. Howard
%T Coordinate Descent and Clustering
%J Control Cybernet.
%V 15
%D 1986
%N 2
%P 195-204
%K AI03 O06

%A Gildas Brossier
%T Study of Rectangular Proximity Matrices with a View to Classification
%J Rev. Statist. Appl
%V 34
%D 1986
%N 4
%P 43-68

%A E. V. Dyukova
%T Complexity of Realization of Some Pattern Recognition Procedures
%J Zh. Vychisl. Mat. i. Mat. Fiz
%V 27
%D 1987
%N 1
%P 114-127
%K AI06
%X Russian

%A Claude Kirchner
%A Helene Kirchner
%T REVEUR-3: The Implementation of a General Completion Procedure
Parameterized by Builtin Theories and Strategies
%J Sci. Comput. Programming
%V 8
%D 1987
%N 1
%P 69-86
%K AI14

%A G. D. Penev
%T Method for Constructing Pairs of Identical Points of Retinas
%J Vestnik Leningrad. Univ. Mat. Mekh. Astronom.
%D 1986
%V 4
%P 78-82
%K AI06
%X Russian with English Summaries

%A Olga Stepanokova
%A Petr Stepanek
%T Estimation of the Complexity of Transformed Logic Programs
%J Acta Polytech. Prace CVUT Praze Ser. IV Tech. Teoret.
%V 1986
%N 3
%P 51-66
%K AI10

%A T. M. V. Janssen
%T Foundations and Applications of Montague Grammar. Part 2.
Applications to Natural Language
%S CWI Tract
%V 28
%I Stichting Mathematisch Centrum.  Centrum voor Wiskunde en Informatica
%C Amsterdam
%D 1986
%X ISBN 90-6196-3067-0

%A O. S. Agaronyan
%T Image Segmentation Using the Paving of a Plane by Voronoi Polygons
%J Avtomat. i. Telemekh.
%V 1986
%N 10
%P 95-100
%K AI06 O06


%A Daniel Leven
%A Micha Sharir
%T Planning a Purely Translational Motion for a Convex Object in
Two-Dimensional Space Using  Generalized Voronoi Diagrams
%J Discrete Computational Geometry
%V 2
%D 1987
%N 1
%P 9-31
%K AI09 AI07 O06

%A Akiria Nakamura
%A Kunio Aizawa
%T Detection of Interlocking Components in Three-Dimensional Digital
Pictures
%J Inform. Sci
%V 40
%D 1986
%N 2
%P 143-153
%K AI06 O06


%A E. Vi-Tong
%A P. Gaillard
%T An Algorithm for Non-Supervised Sequential Classification of Signals
%J MAG138
%P 307-316
%K AI06 O06

%A I. D. Longstaff
%A J. F. Cross
%T A Pattern Recognition Approach to Understanding the Multi-Layer Perceptron
%J MAG138
%P 315-320
%K AI06 AI12

%A Z. Aviad
%A E. Lozinskskii
%T Semantic Thresholding
%J MAG138
%P 321-328
%K AI16

%A K. C. Markham
%T Some Segmentation Processes for Application with a Spoke Filter
%J MAG138
%P 329-336
%K AI06

%A S. Chang
%A L. S. Davis
%A S. M. Dunn
%A J. O. Eklundh
%A A. Rosenfeld
%T Texture Discrimination by Projective Invariations
%J MAG138
%P 337-342
%K AI06

%A P. G. Selfridge
%T Using a Simple Shape Measure to Improve Automatic 3D Reconstruction
%J MAG138
%P 343-346
%K AI06

%A B. Bhanu
%A C. C. Ho
%A T. Henderson
%T 3-D Model Building for Computer Vision
%J MAG138
%P 349-356
%K AI06

%A J. P. Gambotto
%A T. S. Huant
%T Motion Analysis of Isolated Targets in Infrared Image Sequences
%J MAG138
%P 357
%K AI06

%A S. F. Rushinek
%A A. Rushinek
%T The Effects of Sources of Applications Programs on User Satisfaction-
An empirical Study of Micro,  Mini and Mainframe Computers
Using an Interactive Artificial Intelligence Expert System
%J Cybernetica
%V 30
%N 1
%D 1987
%P 75
%K AA15 AI01

%A Curtis P. Langlotz
%A Lawrence M. Fagan
%A Samson W. Tu
%A Branimir I. Sikic
%A Edward H. Shortliffe
%T A Therapy Planning Architecutre that combines Decision Tehory and Artificial
Intelligence Techniques
%J Computers and Biomedical Research
%V 20
%N 3
%D JUN 1987
%K AA13 AA01 AI01


%A G. S. Blair
%A J. A. Mariani
%A J. R. Nicol
%A D. Shepherd
%T A Knowledge-Based Operating System
%J The Computer Journal
%V 30
%N 3
%D JUN 1987
%P 193-200
%K AA08

%A Donald Sannella
%A Andrzej Tarlecki
%T On Observational Equivalence and Algebraic Specification
%J Journal of Computer and System Sciences
%V 34
%N 2-3
%D APR-JUN 1987
%P 150-178
%K AA08

%A J. A. Kakowsky
%T Why Horn Formulas Matterin Computer Science: Initial Structure and Generic
Examples
%J Journal of Computer and System Sciences
%V 34
%N 2-3
%D APR-JUN 1987
%P 150-179
%K AI10

%A E. R. Davis
%T A New Framework for Analyzing the Properties of the Generalized Hough
Transform
%J MAG139
%P 1-8
%K AI06

%A E. R. Davies
%T A New Parameterisation of the Straight Line and its Application for
the Optimal Detection of Objects with Straight Lines
%J MAG139
%P 9-14
%K AI06

%A A. I. Watson
%T A New Method of Classification for Landsat Data using 'Watershed' Algorithm
%J MAG139
%P 15-20
%K AA03 AI06

%A P. D. L. Williams
%T Results from a Sideways Looking Radar (SLAR) with a Very Low Pulse
Repetition Frequency
%J MAG139
%P 21-26
%K AI06

%A J. Kittler
%A J. Eggleton
%A J. Illingsworth
%A K. Paler
%T An Averaging Edge Detector
%J MAG139
%P 27-32
%K AI06

%A K. Paler
%A K. M. Crennell
%A J. Kittler
%A B. N. Dobbins
%A B. L. Button
%A C. Wykes
%T Identification of Fringe Minima in Electronic Speckle Pattern Images
%J MAG139
%P 33-44
%K AI06

%A D. Chetverikov
%T Texture Imperfections
%J MAG139
%P 45-50
%K AI06

%A A. Blake
%A A. Zisserman
%T Localizing Discontinuities Using Weak Continuity Constraints
%J MAG139
%P 51-60
%K AI06

%A J. Skingley
%A A. J. Rye
%T The Hough Transform Applied to SAR Images for Thin Line Detection
%J MAG139
%P 61-69
%K AI06

%A D. T. Berry
%T Colour Recognition Using Spectral Signatures
%J MAG139
%P 69-76
%K AI06

%A S. Tominaga
%T Expansion of Color Images Using Three Perceptual Attributes
%J MAG139
%P 77-86
%K AI06

%A K. Ozawa
%T A Picture Synthesizing System with a Database of Semantic Picture
Elements of 'Ukiyoe' Colour Woodprinted Pictures
%J MAG139
%P 87
%K AA025

%A N. Heaton
%T Review of Artificial Intelligence, Vol 2, Bibliographic Summaries of
the Select Literature by H. R. Rylko
%J Applied Ergonomics
%V 18
%N 2
%D JUN 1987
%P 162
%K AT07

%A P. P. Das
%A P. P. Chakrabarti
%A B. N. Chatterji
%T Generalized Distances in Digital Geometry
%J Information Sciences
%V 42
%N 1
%D JUN 1987
%P 51-68
%K AI06

%A A. Sengupta
%A A. Sen
%T On the Diagnosability Problem for a General Model of Diagnosable Systems
%J Information Sciences
%V 42
%N 1
%D JUN 1987
%P 83
%K AA21

%A Frank K. Soong
%A Aaron  E. Rosenberg
%A Bing-Hwang Juang
%A Lawrence E. Rabiner
%T A Vector Quantization Approach to Speaker Recognition
%J AT&T Technical Journal
%V 66
%N 2
%D MAR-APR 1987
%K AI05

%A Jacques Cohen
%A Timothy J. Hickey
%T Parsing and Compiling Using Prolog
%J TOPLAS
%P 125-163
%V 9
%N 2
%K AA08 T02

%A C. Alec Chang
%A Jay Goldman
%A Jove M. Pan
%T Part Positioning with Feature Marks for Computer Vision Systems
%J IEEE Transactions
%V 19
%N 2
%D JUN 1987
%P 182-189
%K AA26 AI06

%A K. Lien
%A G. Suzuki
%A A. M. Westerberg
%T The Role of Expert Systems Technology in Design
%J Chemical Engineering Science
%V 42
%N 5
%D 1987
%P 1049-1072
%K AA05 AI01

%A Brian L. Schmidt
%T A Natural Language System for Music
%J Computer Music Journal
%P 25-34
%V 11
%N 2
%D SUMMER 1987
%K AA25 AI02

%A Wojcech Busskowski
%T Categorial Grammars in the Eyes of Logic
%B BOOK83
%P 163-174
%K AA08

%A L. Cairmaz
%T Nonstandard Logics of Programs
%B BOOK83
%P 285-295
%K AA08 AI11

%A J. Dassow
%T Comparison of Some Types of Regulated Rewriting
%B BOOK83
%P 301-313
%K AI11

%A I. Guessarian
%T Algebraic Semantics and Logics of Programs
%B BOOK83
%P 423-431
%K AA08 AI11

%A K. P. Jantke
%T Terminal Algebraic Semantic as a Basis for Program Synthesis
%B BOOK83
%P 479-490
%K AA08

%A M. Kudlek
%T Languages Defined by Semi-Thue and Regular Systems
%B BOOK83
%P 537-553
%K AA08

%A G. Mirkowska
%A L. Stapp
%T Algorithmic Logic Can Express Progressive Behavior of Programs
%B BOOK83
%P 615-622
%K AI10 AA08

%A Sara Porat
%A Nissim Francez
%T Full Commutation and Fair Termination in Equational (and Combined)
Term Rewriting Systems
%B  BOOK82
%P 21-41
%K AI14

%A Donald Sannella
%A Andrzej Tarlecki
%T Extended ML: An Institution-Independent Framework for Formal
Program Development
%B BOOK84
%P 364-389
%K AA08

%A M. A. Suchenek
%T Compactness in Logic of Programs
%B BOOK82
%P 803-810
%K AA08

%A John R. Dixon
%A Eugene C. Libardi
%A Steven C. Luby
%A Mohan Vaghul
%A Melvin K. Simmons
%T Expert Systems for Mechanical Design - Examples of Symbolic
Representations of Design Geometries
%J Engineering with Computers
%V 2
%N 1
%D 1987
%P 1-10
%K AA05

%A David G. Ullman
%A Thomas A. Dietrich
%T Mechanical Design Methodology - Implications on Future Developments of
Computer-Aided Design and Knowledge-Based Systems
%J Engineering with Computers
%V 2
%N 1
%D 1987
%P 21-29
%K AA05 AI09

%A William J. Rasdorf
%A Karen J. Ulberg
%A John W. Baugh
%T A Structure-Based Model of Semantic Integrity Constraints for Relational
Databases
%J Engineering with Computers
%V 2
%N 1
%D 1987
%P 31-39

%A H. Schwartzel
%A L. Wiesbaum
%T New Computer Structures for AI Real Time Applications
%B Yearbook 1986 I: DGLR, Annual Meeting
%C Munich, West Germany
%D Oct 8-10 1986
%P 201-208
%K O03

%A NurErol
%A Christian Freksa
%T An Approach to Structuring Knowledge for a Design Support System
%B Yearbook 1986 I: DGLR, Annual Meeting
%C Munich, West Germany
%D Oct 8-10 1986
%P 201-208
%K A05 Structural Design aircraft design STUDEL

%A S. M. Alexander
%T An Expert System for the Selection of Scheduling Rules in a Job Shop
%J Computers and Industrial Engineering
%V 12
%N 3
%D 1987
%P 167-172
%K AA05 AI01

%A M. Fitting
%T Partial Models and Logic Programming
%J Theoretical Computer Science
%V 48
%N 2-3
%D 1986
%P 229-256
%K AI10

%A Y. Toyama
%T Counterexamples to termination for the Direct Sum of Term Rewriting Systems
%J Information Processing Letters
%P 141-144
%V 25
%N 3
%D MAY 29, 1987
%K AI11

%A M. J. Fischer
% N. Immerman
%T Interpreting Logics of Knowledge in Propositional Dynamic Logic with Converse
%J Information Processing Letters
%P 175-182
%K AI10
%V 25
%N 3

%A N. A. Alexandridis
%A P. D. Tsanakas
%T An Encoding Scheme for the Efficient Representation of Hierarchical Image
Structures
%J Information Processing Letters
%V 25
%N 3
%D MAY 29, 1987
%P 199-206
%K AI06 O06

%A J. H. Boose
%A J. M. Bradshaw
%T Expertise Transfer and Complex Problems: Using Aquinas as a Knowledge-
Acquisition Workbench for Knowledge-Based Systems
%J MAG140
%P 3-28
%K AI01

%A J. Diederich
%A I. Ruhmann
%A M. May
%T KRITION: A Knowledge-Acquisition Tool for Expert Systems
%J MAG140
%P 29-40
%K AI01

%A L. Eshelman
%A D. Ehret
%A J. McDermott
%A M. Tan
%T MOLE: A Tenacious Knowledge-Acquisition Tool
%J MAG140
%P 41-54
%K AI01

%A W. A. Gale
%T Knowledge-Based Knowledge Acquisition for a Statistical Consulting System
%J MAG140
%P 55-64
%K AI01

%A G. Klinker
%A J. Bentolila
%A S. Genetet
%A M. Grimes
%A J. McDermott
%T Knack-Report Driven Knowledge Acquisition
%J MAG140
%P 65-80
%K AI01

%A D. C. Littman
%T Modeling Human Expertise in Knowledge Engineering
%J MAG140
%P 81-92
%K AI01 AI09

%A K. Morik
%T Acquiring Domain Models
%J MAG140
%P 93-104
%K AI01

%A M. A. Musen
%A L. M. Fagan
%A D. M. Combs
%A E. H. Shortliffe
%T Use of a Domain Model to Drive an Interactive Knowledge-Editing Tool
%J MAG140
%P 105
%K AI01

%A Feng-Cheng Chang
%T Power Series Unification and Reversion
%J Applied Mathematics and Computation
%V 23
%N 1
%D JULY 1987
%P 7-24
%K AI14

%A Suranjan De
%A ShuhShen Pan
%A Andrew Whinston
%T Temporal Semantics and Natural Language Processing in a Decision Support
System
%J Information Systems
%V 12
%N 1
%D 1987
%P 29-48

%A E. Granum
%A G. A. Shippey
%A R. J. H. Bayley
%A G. Hamilton
%A D. Rutovitz
%T Real Time Digital Thresholding of Data from Continuous Scanning Linear Arrays
%J Signal Processing
%V 12
%N 4
%P 349-362
%K AI06

%A L. Gupta
%A M. D. Srinath
%T Contour Sequence Moments for the classification of Closed Planar Shapes
%J MAG141
%P 273-272
%K AI06

%A Noboru Babaguchi
%A Tsunehiro Aibara
%T Curvedness of a Line Picture
%J MAG141
%P 273-280
%K AI06

%A C. H. Hayden
%A R. C. Gonzelez
%A Ploysongsang
%T A Tempral Edge-Based Image Segmentor
%J MAG141
%P 281-290
%K AI06

%A H. Lynn Beus
%A S. S. H. Tiu
%T An Improved Corner Detection Algorithm Based on Chain-coded Plain Curves
%J MAG141
%P 291-296
%K AI06

%A Satoshi Suzuki
%A Keiichi Abe
%T Binary Picture Thinning by an Iterative Parallel Two Subcycle Operation
%J MAG141
%P 297-308
%K AI06

%A J. C. Fiala
%A R. M. Haralick
%T Comparison of a Regular and an Irregular Decomposition of Regions and Volumes
%J MAG141
%P 309-320
%K AI06

%A Maylor K. Leung
%A Yee-Hong Yang
%T A Region Based Approach for Human Body Motion Analysis
%J MAG141
%P 321-340
%K AI06

%A C. G. Leedham
%A A. C. Downton
%T Automatic Recognition and Transcription of Pitman's Handwritten Shorthand--
An Approach to Shortforms
%J MAG141
%P 341-349
%K AI06 AA06

%A A. M. Wallace
%T An Informed Strategy for Matching Models to Images of Fabricated Objects
%J MAG141
%P 349-364
%K AI06 AI07

%A H. B. Bidasaria
%T Least Desirable Feature Elimination in a General Pattern Recognition Problem
%J MAG141
%P 365
%K AI06


%A Tery Caelli
%A Shyamala Nagendran
%T Fast Edge-Only Matching Techniques for Robot Pattern Recognition
%J MAG142
%P 131-143
%K AI06 AI07

%A M. Pilar Martinez-perez
%A Javier Jimenez
%A Jose L. Navolon
%T A Thinning Algorithm Based on Contours
%J MAG142
%P 186-201
%K AI06

%A S. A. Lloyd
%A E. R. Haddow
%A J. F. Boyce
%T A Parallel Binocular Stereo Algorithm Utilizing Dynamic Programming and
Relaxation Labelling
%J MAG142
%P 202-225
%K AI06

%A Federico Bumbaca
%A Kenneth C. Smith
%T Design and Implementation of a Colour Vision Model for Computer Vision
Applications
%J  MAG142
%P 226-245
%K AI06

%A Joseph  O'Rourke
%A Heather Booth
%A Richard Washington
%T Connect-the-Dots: A New Heuristic
%J MAG142
%P 258
%K AI06

%A R. Banares-Alcantara
%A A. W. Westerberg
%A E. I. Ko
%A M. D. Rychener
%T Decade - A Hybrid Expert System for Catalyst Selection - I Expert System
Considerations
%J Computers and Chemical Engineering
%V 11
%N 3
%D 1987
%P 265-278
%K AI01 AA05

%A D. Dubois
%A H. Prade
%T Twofold Fuzzy Sets and Rough Sets
Some Issues in Knowledge Representation
%J MAG147
%P 3-18
%K O04 AI16

%A B. Bouchon
%T Fuzzy-Inferences and Conditional Probability Distributions
%J MAG147
%P 33-42
%K O04 AI16

%A A. O. Arigoni
%T Heuristic Embodiment of Evidence - Evaluation of the Credibility of
Hypothesized Causes
%J MAG147
%P 43-54
%K O04

%A H. Shvaytser
%T On a Consistency measure for Object Labeling Problems
%J MAG147
%P 55-72
%K O04 AI06

%A D. Norris
%A B. W. Pilsworth
%A J. F. Baldwin
%T Medical Diagnosis from Patient Records - A Method Using Fuzzy
Discrimination and Connectivity Analyses
%J MAG147
%P 73-88
%K AA01 AI01 O04

%A J. Anderson
%A W. Bandler
%A L. J. Kohout
%A C. Trayner
%T A Route-Choosing Medical Diagnostic Technique
%J MAG147
%P 89-96
%K AA01 AI01 O04

%A T. P. Martin
%A J. F. Baldwin
%A B. W. Pilsworth
%T The Implementation of FPROLOG - A Fuzzy Prolog Interpreter
%J MAG147
%P 119-130
%K T01 O04

%A B. W. Pilsworth
%T Review of the Panel Discussion on Fuzzy Reasoning in Artificial
Intelligence and Operations Research
%J MAG147
%P 159
%K AA05 O04

%A Edward L. Fisher
%A Shimon Y. Nof
%T Knowledge-Based Economic Analysis of Manufacturing Systems
%J Journal of Manufacturing Systems
%V 6
%N 2
%D 1987
%P 137-150
%K AA05 AA06

%A R. Milne
%T Strategies for Diagnosis
%J MAG144
%P 333-339
%K AA21

%A P. K. Fink
%A J. C. Lusth
%T Expert Systems and Diagnostics Expertise in the Mechanical
and Electrical Domains
%J MAG144
%P 340-349
%K AA21 AA05

%A K. D. Forbus
%T Interpreting Observations of Physical Systems
%J MAG144
%P 350-359
%K AI16

%A E. A. Scarl
%A J. R. Jamieson
%A C. I. Delaune
%T Diagnosis and Sensor Validation Through Knowledge of Structure and Function
%J MAG144
%P 360-368
%K AA21 AI16

%A H. Nawab
%A Y. Lesser
%A E. Milios
%T Diagnosis Using the Formal Theory of a Signal Processing Systems
%J MAG144
%P 369-379
%K AA21 AA05

%A M. J. Pazzani
%T Failure Driven Learning of Fault Diagnosis Heuristics
%J MAG144
%P 380-394
%K AA21 AI04

%A Y. Peng
%A J. A. Reggia
%T A Probabilistic Causal Model for Diagnosistic Problem Solving - Part II:
Diagnostic Strategy
%J MAG144
%P 395-406
%K AA21 O04