E1AR0002@SMUVM1.BITNET.UUCP (02/28/87)
%A S. V. Shil'man %T Adaptive-Optimal Filtering in Random Processes %J MAG95 %P 249-261 %K O06 AI06 %A O. Yu. Pershin %T A Class of Extremal Combinatorial Problems for Multicomponent Network Design %J MAG95 %P 262-269 %K AI03 O06 %A V. I. Borzenko %T Extrapolation of a System of Classifications %J MAG95 %P 270-275 %K O06 %A V. V. Mottl %A I. B. Muchnik %T Algorithm for Recognition of a Stream of Random Events %J MAG95 %P 276-278 %K AI06 O06 %A Dominique Perrin %A Jean-Erric Pin %T First-Order Logic and Star-Free Sets %J Journal of Computer and System Sciences %V 32 %N 3 %D JUN 1986 %P 393-406 %K AI11 %A J. A. Bergstra %A J. W. Klop %T Conditional Rewrite Rules: Confluence and Termination %J Journal of Computer and System Sciences %V 32 %N 3 %D JUN 1986 %P 323-362 %K AI14 %A M. S. Esparz %T High-Priced Lisp Hardware Obsolete in Near Future, Says Study %J InfoSystems %V 33 %N 9 %D SEP 1986 %P 16 %K H02 %A D. H. Feedman %T Expert Systems Moving from Glamour Technology to Workhorse %J InfoSystems %V 33 %N 9 %D SEP 1986 %P 14-15 %K AI01 %A Ewa Orlowska %T Semantic Analysis of Inductive Reasoning %J Theoret. Comput. Sci %V 43 %D 1986 %N 1 %P 81-89 %K AI16 %A Francoise Bellegarde %T Convergent Term Rewriting Systems can be Used for Program Transformation %B Programs as Data Objects %P 24-41 %S Lecture Notes in Computer Science %V 217 %I Springer-Verlag %C Berlin-New York %D 1986 %K AA08 AI14 %A Adolfo Lagomasino %A Andrew P. Sage %T Imprecise Knowledge Representation in Inferential Activities %B BOOK57 %P 473-497 %K O04 %A Murray Eden %A Michael Unser %A Riccardo Leonardi %T Polynomial Representation of Pictures %J Signal Process. %V 10 %D 1986 %N 4 %P 385-393 %K AI06 %A Christian Ronse %T Definitions of Convexity and Convex Hulls in Digital Images %J Bull. Soc. Math. Belg. Ser. B %V 37 %D 1986 %N 2 %P 71-85 %K AI06 %A David C. Rine %T Some Applications of Multiple-Valued Logic and Fuzzy Logic to Expert Systems %B BOOK57 %P 407-434 %K O04 AI01 %A Hung T. Nguyen %A Irwin R. Goodman %T On Foundations of Approximate Reasoning %B BOOK57 %P 47-59 %K AI16 O04 AI01 %A S. T. Wierzchon %T Mathematical Tools for Knowledge Representation %B BOOK57 %P 61-69 %K AI16 O04 AI01 %A A. Lananer %T Associate Processing in Brain Theory and Artificial Intelligence %B Brain Theory %P 193-210 %I Springer-Verlag %C Berlin-New York %D 1986 %P 193-210 %K AI08 AI16 %A Lawrence R. Baniner %A Jay G. Wilpon %A Biing-Hwang Juang %T A Segmental k-Means Training Procedure for Connected Word Recognition %J AT&T Technical Journal %V 65 %N 3 %D MAY-JUN 1986 %P 21-40 %K AI04 AI05 %A A. A. Natan %A A. I. Samylovskiy %T Recognition of Gaussian Random Processes by Local Analysis of Their Properties %J MAG95 %P 128-135 %K AI06 %A M. V. Fomina %T Methods for Successive Construction of a Hierarchical Representation of the States of a Complex Object %J MAG95 %P 136-145 %K AI16 %A L. B. Groysberg %T Planning of Component Tests for Confirmation of System Reliability %J MAG95 %P 146-153 %K AI16 AA05 %A E. Vidal Ruiz %T An Algorithm for Finding Nearest Neighbors in (Approximately) Constant Average Time %J MAG96 %P 145-158 %K AI06 O06 %A S. K. Pal %A P. K. Pramanik %T Fuzzy Measures in Determining Seed Points in Clustering %J MAG96 %P 159-164 %K O06 %A G. T. Toussaint %T Interactive Curve Drawing by Segmented Bezier Approximation with a Control Parameter %J MAG96 %P 171-176 %K O06 %A A. Rosenfeld %T Continuous Functions on Digital Pictures %J MAG96 %P 177-184 %K AI06 %A E. R. Davies %T Image Space Transforms for Detecting Straight Edges in Industrial Images %J MAG96 %P 185-192 %K AI06 %A S. K. Parui %A S. Eswara Sarma %A D. Dutta Majumder %T How to Discriminate Shapes Using Shape Vector %J MAG96 %P 201-204 %K AI06 %A A. Schening %A H. Nieman %T Computing Depth from Stereo Images by Using Optical Flow %J MAG96 %P 205-212 %K AI06 %A T. H. Phillips %A A. Rosenfeld %T A Simplified Method of Detecting Structure in Glass Patterns %J MAG96 %P 213 %K AI06 %A J. K. Mattila %T On Some Logical Points of Fuzzy Conditional Decision Making %J MAG97 %P 137-146 %K O04 %A K. Nakamura %T Preference Relations on a Set of Fuzzy Utilities as a Basis for Decision Making %J MAG97 %P 147-162 %K AI13 O04 %A M. R. Casals %A M. A. Gil %A P. Gil %T On the Use of Zadeh's Probabilistic Definition for Testing Statistical Hypothesis from Fuzzy Information %J MAG97 %P 175-190 %K O04 %A P. Dallant %A A. Meunier %A P. S. Christel %A L. Sedel %T Semi-automatic Image-Analysis Applied to the Quantification of Bone Microstructure %J Journal of Biomedical Engineering %V 8 %N 4 %D OCT 1986 %P 320-328 %K AA01 AI06 %A C. E. Riese %A S. M. Zubrick %T Using Rule Induction to Combine Declarative and Procedural Knowledge Representations %J MAG94 %P 603-606 %K AI16 AI04 %A D. S. Prerau %A A. S.Gunderson %A R. E. Reinke %A S. K. Goyal %T The COMPASS Expert System: Verification, Technology Transfer, and Expansion %J MAG94 %P 597-602 %K AI01 %A B. Pinkowski %T A Lisp-based System for Generating Diagnostic Keys %J MAG94 %P 592-596 %K T01 %A S. R. Mukherjee %A M. Sloan %T Positional Representation of English Words %J MAG94 %P 587-591 %K AI02 %A J. H. Martin %T Knowledge Acquisition Through Natural Language Dialogue %J MAG94 %P 582-586 %K AI02 %A D. M. Mark %T Finding Simple Routes: 'Ease of Description' as an Objective Function in Automated Route Selection %J MAG94 %P 577-581 %A S. Mahalingam %A D. D. Sharma %T WELDEX - An Expert System for Nondestructive Testing of Welds %J MAG94 %P 572-576 %K AA05 AI01 %A J. Liebowitz %T Evaluation of Expert Systems: An Approach and Case Study %J MAG94 %P 564-571 %K AI01 %A S. J. Laskowski %A H. J. Antonisse %A R. P. Bonasso %T Analyst II: A Knowledge-Based Intelligence Support System %J MAG94 %P 558-563 %K AA18 %A D. A. Krawczak %A P. J. Smith %A S. J. Shute %A M. Chignell %T EP-X: A Knowledge-Based System to Aid in Search of the Environmental Pollution Literature %J MAG94 %P 552-557 %K AA14 AI01 AA10 %A E. Y. Kandrashina %A O. N. Ochakovskaja %A Y. A. Zagorulko %T Time-1: Semantic System for Dynamic Object Domain %J MAG94 %P 548-551 %K AI16 %A C. I. Kalme %T A General Purpose Language for Coupled Expert Systems %J MAG94 %P 539-547 %K T03 H03 AI01 %A J. R. James %A P. P. Bonissone %A D. K. Frederick %A J. H. Taylor %T A Retrospective View of CACE-III: Considerations in Coordinating Symbolic and Numeric Computation in a Rule-Based Expert System %J MAG94 %P 532-538 %K T03 AI14 AI01 %A R. T. Hartley %T Representation of Procedural Knowledge for Expert Systems %J MAG94 %P 526-531 %K AI16 AI01 %A J. J. Hannan %A P. Politakis %T ESSA: An Approach to Acquiring Decision Rules for Diagnostic Expert Systems %J MAG94 %P 520-525 %K AA21 %A K. Hammer %A J. Hardin %A D. Rudisill %A A. Goldfein %T Using a Predictive Parse to Create a Modeless Editor %J MAG94 %P 514-519 %K AA15 %A R. L. Constable %T Implementing Mathematics with the Nupri Proof Development System %I Prentice-Hall %C Englewood Cliffs, NJ %D 1986 %K AI11 AA13 %X 299 pages $21.95 %A L. O. Hall %A W. Bandler %T Relational Knowledge Acquisition %J MAG94 %P 509-513 %K AI16 %A W. D. Hagament %A M. Gardy %T MEDCAT/CATS: Two Contrasting Artificial Intelligence Applications in Medical Education %J MAG94 %P 503-508 %K AA07 AA01 %A J. F. Gilmore %A K. Pulaski %T A Survey of Expert System Tools %J MAG94 %P 498-502 %K T03 %A A. Garcia-Ortiz %T Computer Algebra Applied to the Design of Optical Sensor Platforms %J MAG94 %P 493-497 %K AI14 AA16 %A B. R. Fox %A K. G. Kempf %T Complexity, Uncertainty, and Opportunistic Scheduling %J MAG94 %P 487-492 %K O04 AA05 AI16 O06 AI03 %A M. E. Cohen %A D. L. Hudson %A N. Gitlin %A L. T. Mann %A J. Van den Bogaerde %A L. Leal %T Knowledge Representation and Classification of Chromatographic Data for Diagnostic Medical Decison Making %J MAG94 %P 481-486 %K AA02 AA01 %A F. Brundick %A J. Dumer %A T. Hanratty %A P. Tanenbaum %T GENIE: An Inference Engine with Diverse Applications %J MAG94 %P 473-480 %K T03 %A H. Winter %T Artificial Intelligence in Man-Machine Systems %B BOOK59 %P 1-22 %K AA15 %A J. Mylopoulos %A A. Borgida %A S. Greenspan %A C. Meghini %A B. Nixon %T Knowledge Representation in the Software Development Process - A Case Study %B BOOK59 %P 23-44 %K AA08 %A B. Radig %T Design and Applications of Expert Systems %B BOOK59 %P 45-61 %K AA08 %A W. Wahlster %T The Role of Natural Language in Advanced Knowledge Based Systems %B BOOK59 %P 62-83 %K AI02 AA15 %A G. Fischer %T Cognitive Science - Information Processing in Humans and Computers %B BOOK59 %P 84-111 %K AI08 %A A. Meystel %T Knowledge-Based Controller for Intelligent Mobile Robots %B BOOK59 %P 112-140 %K AI07 AA19 %A S. E. Cross %A R. B. Bahnij %A D. O. Norman %T Knowledge-Based Pilot Aids - A Case Study in Mission Planning %B BOOK59 %P 141-174 %K AA19 %A U. Volckers %T Dynamic Planning and Time-Conflict Resolution in Air Traffic Control %B BOOK59 %P 175-197 %K AI09 O03 %A L. A. Zadeh %T Outline of a Computational Approach to Meaning and Knowledge Representation B ased on the Concept of a Generalized Assignment Statement %B BOOK59 %P 198 %K O04 AI16 %A J. K. Kastner %T Continuous Real-Time Expert System for Computer Operations %J Data Processing %V 28 %N 8 %D OCT 1986 %P 411-425 %K O03 AA08 AI01 %A Keith Clark %A Steve Gregory %T PARLOG: Parallel Programming in Logic %J ACM Transactions on Programming Languages and Systems %V 8 %N 1 %D JAN 1986 %P 1-49 %K AI10 H03 %A G. I. Janbykh %T Optimization of the Structure of Computer Networks Using Branch and Bound %J Avtomatika I. vychisletenlnaya Teknika %N 5 %D SEP-OCT 1986 %P 3-13 %K AA08 AI03 %A W. Rauchhindin %T Software Integrates AI, Standard Systems %J Mini-Micro Systems %V 19 %N 12 %D OCT 1986 %P 69-86 %A Dragan Kolar %A Vojislav Stojkovic %T The Implementation of CF Grammars by PROLOG Language %J Univ. u Novm Sadu Zb. Rad. Prirod. Mat Fak. Ser. Mat %V 15 %N 1 %P 245-252 %K T02 %A Krzysztof R. Apt %A Dexter C. Kozen %T Limits for Automatic Verification of Finite-tate Concurrent Systems %J Inform. Process. Lett %V 22 %D 1986 %N 6 %P 307-309 %K AA08 %A Robert L. Constable %T Constructive Mathematics as a Programming Logic I. Some Principles of Theory %B BOOK60 %P 21-37 %K AI10 AA13 %A H. Langmaack %T A New Transformational Approach to Partial Correctness Proof Calculi for ALGO L 68-Like Programs with Finite Modes and Simple Side Effects %B BOOK60 %P 73-102 %D 1985 %A Philippe Devienne %A Patrick Lebegue %T Weighted Graphs: A Tool for Logic Programming %B BOOK61 %P 100-111 %K AI10 %A James S. Royer %T Inductive Inferences of Approximations %J Information and Control %V 70 %N 2-3 %D AUG-SEP 1986 %P 156-178 %K AI03 %A Sergiu Hart %A Micha Sharir %T Probabilistic Propositional Temporal Logics %J Information and Control %V 70 %N 2-3 %D AUG-SEP 1986 %P AI10 AI16 O04 AI11 %A K. Yalumov %T KET: A Knowledge Engineering Tool %J Computers in Industry %V 7 %N 5 %D OCT 1986 %P 417-426 %K T03 %A S. F. Bocklisch %T A Diagnosis Sytem Based on Fuzzy Classification %J Computers and Industry %V 7 %N 1 %D FEB 1986 %P 73-82 %K AI01 O04 %A Justin R. Smith %T Parallel Algorithms for Depth-first Searches I. Planar Graphs %J SIAM J. Comput. %V 15 %D 1986 %N 3 %P 814-830 %K AI03 O06 %A N. N. Nepievoda %T Deductions in the Form of Graphs %J Semiotics and Information Science %N 26 %P 52-82 %D 1985 %X Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow (in Russian) %A Yu. I. Petunin %A G. A. Shuldeshov %T Calculation of a Plane Figure from its Discretized Image %J Kibernetika (Kiev) %D 1986 %N 2 %P 1-7 %K AI06 %X Russian with English Summary %A Shuro Nagata %A Takeshi Oshiba %A Sakae Funahashi %T An Implementation of a Validity Checking Program by Using N-set Partitions %J Bull. Nagoya Inst. Tech %V 37 %D 1985 %P 111-116 %D 1986 %K AA08 %X Japanese with English Summary %A Alex Pelin %A Jean H. Gallier %T Exact Computation Sequences %B BOOK61 %P 45-59 %A Henri Prade %T corrections to: "A Simple Inference Techique for Dealign with Uncertain Facts in terms of possibility" (Kybernetes 15 (1986) no. 1 19-24 %J Kybernetes %15 %N 3 %P 214 %K O04 AT13 %A Ronald R. Yager %T A Note on Projections of Conditional Possibility Distributions in Approximate Reasoning %J Kybernetes %V 15 %N 3 %P 185-187 %K O04 %A R. I Podlovchenko %T Investigation of s-models of programs from the standpoint of constructing canonization algorithms for them. %J Programmirovanie %D 1986 %N 2 %P 3-13 %K AA08 %X Russian %A Manfred Broy %A Bernhard Moller %A Peter Pepper %A Martin Wirsing %T Algebraic Implementations Preserve Program Correctness %J Sci Comput. Programming %V 7 %D 1986 %N 1 %P 35-53 %K AA08 %A Yu Qi Guo %A Lian Li %A Gang Wu Xu %T On the Disjunctive Structure of Dense Languages %J Sci. Sinica Ser. A %V 28 %D 1985 %N 12 %P 1233-1238 %A Thomas A. Joseph %A Thomas Rauchle %A Sam Toueg %T State Machines and Assertions: An Integrated Approach to Modeling and Verification of Distributed Systems %J Sci. Comput. Programming %V 7 %D 1986 %N 1 %P 1-22 %A Takeshi Shinohara %T Inductive Inference of Formal Systems From Positive Data %J Bull Inform. Cybernet. %V 22 %D 1986 %N 1-2 %P 9-18 %K AI04 %A Moshe Y. Vardi %T Automata-Theoretic Techniques for Modal Logics of Programs %J J. Comput. System Sci. %V 32 %D 1986 %N 2 %P 183-221 %A John N. Martin %T Some Formal Properties of Indirect Semantics %J Theoret. Linguist %V 12 %D 1985 %N 1 %P 1-32 %K AI02 AI16 %A Makoto Haraguchi %T Analogical Reasoning Using Transformation of Rules %J Bull. Inform. Cybernet. %V 22 %D 1986 %N 1-2 %P 1-8 %K AI16 %A Takahashi Yokomori %T Representation Theorems and Primitive Predicates for Logic Programs %J Bull. Inform. Cybernet. %V 22 %D 1986 %N 1-2 %P 19-37 %K AI11 %A Matthias Baaz %A Alexander Leitsch %T The Application of Strong Reduction Rules in Automatic Proofs %J Osterreich Akad. Wiss. Math.-Natur. KL Sitzungsber. II %V 194 %D 1985 %N 4-10 %P 287-307 %K AA08 %A Michael Leyton %T A Theory of Information I. General Principles %J J. Math. Psych. %V 30 %D 1986 %N 2 %P 103-160 %K AI16 AI08 %A J. J. Harvey %T Expert Systems: An Introduction %J MAG98 %P 100-108 %K AI01 AT08 %A J. J. Harvey %T ESSAI Expert Systems Toolkit %J MAG98 %P 109-114 %K AI01 T03 %A M. A. Newstead %A R. Pettipher %T Knowledge Acquisition for Expert Systems %J MAG98 %P 115-121 %K AI01 %A G. Jones %A R. Nuttall %A K. Stone %T Integrating Multiple Control Schemes %J MAG98 %P 122-127 %K AI01 %A R. Gunhold %A J. Zettel %T System 12 In-Factory Testing %J MAG98 %P 128-134 %K AA04 AI01 %A H. Schelfhout %T Customer Application Engineering for System 12 Hardware %J MAG98 %P 135-140 %K AA04 AI01 %A N. Theuretzbacher %T Expert System Technology for Safety-Critical Real-Time Systems %J MAG98 %P 147-153 %K AI01 O03 %A M. Thandasseri %T Expert Systems Application for TXE4A Exchanges %J MAG98 %P 154-161 %K AI01 AA04 %A P. Benson %T Artificial Intelligence Assisted Packet Radio Connectivity %J MAG98 %P 162-167 %K AI01 AA04 %A E. Gaudry %T Electronic Warfare Application for Expert Systems %J MAG98 %P 168-173 %K AA18 %A M. E. Atwood %A E. R. Radlinski %T Diagnostic System Architecture %J MAG98 %P 174-179 %K AA21 %A M. E. Atwood %A R. Brooks %A E. R. Radlinski %T Causal Models: The Next Generation of Expert Systems %J MAG98 %P 180-184 %K AI01 AI16 %A D. Neiman %T Technological Considerations for Industrial Expert Systems Applications %J MAG98 %P 185 %K AI01 %A M. Chester %T The Military Reconnoiters Neural Systems %J Electronics Product Magazine %V 29 %N 10 %D OCT 15 1986 %P 78-82 %K AI12 AA18 %A Dennis de Champeaux %T Subproblem Finder and Instance Checker, Two Cooperating Modules for Theorem Provers %J JACM %V 33 %N 4 %D OCT 1986 %P 633-657 %K AI11 %A W. Eric L. Grimson %T The Combinatorics of Local Constraints in Model-Based Recognition and Localiz ation from Sparse Data %J JACM %V 33 %N 4 %D OCT 1986 %P 658-686 %K AI06 %A B. Ramamurthi %A A. Gersho %T Classified Vector Quantization of Images %J IEEE Transactions on Communications %V 34 %N 11 %D NOV 1986 %P 1105-1115 %K AI06 %A R. Buhr %T Front-face Analysis and Classification %J ntzArchiv %V 8 %N 10 %D OCT 1986 %P 245-256 %K AI06 %A E. M. Clarke %A E. A. Emerson %A A. P. Sistla %T Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications %J ACM TRANS on Programming Languages and Systems %V 8 %N 2 %D APR 1986 %P 244-265 %K AA08 %A R. Narasimhan %T Artificial Intelligence in 5th-Generation Computers %J MAG99 %P 71-84 %K AI16 %A P. V. S. Rao %A K. K. Paliwal %T Automatic Speech Recognition %J MAG99 %P 85-120 %K AI05 %A D. D. Majumder %T Pattern Recognition, Image Processing and Computer Vision in 5th Generation Computer Systems %J MAG99 %P 139 %K AI06 %A A. Victor Cabot %A S. Selcuk Erenguc %T A Branch and Bound Algorithm for Solving a Class of Nonlinear Integer Programming Problems %J Naval Research Logistics Quarterly %P 559-568 %K AI03 %A Terry Winograd %A Fernando Flores %T Understanding Computers and Cognition %I Ablex Publishing Corporation %C Norwood, NJ %D 1986 %K AT15 AI08 AI16 %X 224 pages ISBN 0-89391-050-3 $24.95 %A Tsuyoshi Yamamoto %T An Application of List Processing Artificial Intelligence to Computer Graphics and CAD %J Pixel %N 40 %P 80-85 %D 1986 %K AA04 UNIX graphics T01 %A R. Hauser %T NewCAT: Parsing Natural Language Using Left-Associative Grammar %S Lecture Notes in Computer Science %I Springer-Verlag %V 231 %D 1986 %K AT15 AI02 %X 540 pages Figures, $34.80 ISBN 3-540-16781-1 %A T. Samad %T Natural Language Interface for Computer-Aided Design %S Kluwer International Series in Engineering and Computer Science %V 14 %D 1986 %I Kluwer Academic Publishers %X 188 pages, $38.95, ISBN 0-89838-222-X %A P. E. Utgoff %T Machine Learning of Inductive Bias %S Kluwer INternational Series in Engineering and Computer Science %V 15 %D 1986 %I Kluwer Academic Publishers %X 165 pages, $37.50, ISBN 0-89838-223-8 %A S. P. Dutta %A R. S. Lashkari %A G. Nadoli %A T. Ravi %T A Heuristic Procedure for Determining Manufacturing Families from Design-Based Grouping for Flexible Manufacturing Systems %J Computers and Industrial Engineering %V 10 %N 3 %D 1986 %P 193-202 %K AA26 %A Efraim Turban %T Expert Systems- Another Frontier for Industrial Engineering %J Computers and Industrial Engineering %V 10 %N 3 %D 1986 %P 227-236 %K AI01 %A Michael M. Skolnick %T Application of Morphological Transformation to the Analysis of Two-Dimensional Electrophoretic Gels of Biological Materials %J MAG100 %P 306-332 %K AA10 AI06 %A Stanely R. Sternberg %T Grayscale Morphology %J MAG100 %P 333-354 %K AI06 %A Fernand Meyer %T Automatic Screening of Cytological Specimens %J MAG100 %P 356-369 %K AA10 AI06 %A Xinhua Zhuang %A Robert M. Haralick %T Morphological Structuring Element Decomposition %J MAG100 %P 370-382 %K AI06 %A Leonardo C. Topa %A Robert J. Schalkoff %T An Analytical App[roach to the Determination of Planar Surface Orientation Using Active-Passive Image Pairs %J MAG100 %P 404 %K AI06 %A Akira Shiozaki %T Edge Extraction Using Entropy Operator %J MAG101 %P 1-9 %K AI06 %A Son Pham %T Digital Straight Segments %J MAG101 %P 10-30 %K AI06 %A Hussein A. H. Ibraham %A John R. Kender %A David Elliot Shaw %T On the Application of Massively Parallel SIMD Tree Machines to Certain Intermediate Level Vision Tasks %J MAG101 %P 42-52 %K H03 AI06 %A Marijke F. Augusteijn %A Charles R. Dyer %T Recognition and Recovery of the Three-Dimensional Planar Point Patterns %J MAG101 %P 76-99 %K AI06 %A John Tyler %T Sppec Recognition System Using Walsh Analysis and Dynamic Programming %J Microprocessors and Microsystems %V 10 %N 8 %D OCT 1986 %P 427-433 %K AI05 H01 %A N. Rushby %T A Knowledge-Engineering Approach to Instructional Design %J MAG102 %P 385-389 %K AA07 %A H. Barringer %A I. Mearns %T A Proof System for ADA Tasks %J MAG102 %P 404-415 %K AA08 AI11 %A J. M. Hoc %T Review of Introduction Expert Systems by M. Gondran %J MAG103 %P 278 %K AT15 AI01 %A J. M. Hoc %T Review of Man Faced with Artificial Intelligence by J. D. Warnier %J MAG103 %P 280 %K AT15 %A E. Schuster %A P. Knoflach %A K. Huber %A G. Grabner %T An Interactive Processing System for Ultrasonic Compound Imaging, Real-Time Image Processing and Texture Analysis %J Ultrasonic Imaging %D 1986 %V 8 %N 2 %P 131 %K AA01 AI06 %A R. Opie %T Expert Systems Developing Applications %J Control and Instrumentation %V 18 %N 10 %D 1986 %P 57-60 %K AI01