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