Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!columbia!rutgers!nike!ucbcad!ucbvax!RELAY.CS.NET!leff%smu
From: leff%smu@RELAY.CS.NET
Newsgroups: mod.ai
Subject: Bibliography (continued)
Message-ID: <8610170633.AA03869@ucbvax.Berkeley.EDU>
Date: Fri, 17-Oct-86 02:34:38 EDT
Article-I.D.: ucbvax.8610170633.AA03869
Posted: Fri Oct 17 02:34:38 1986
Date-Received: Fri, 17-Oct-86 06:12:46 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 1032
Approved: ailist@sri-stripe.arpa

%A L. S. Fainzilberg
%A G. A. Shklyar
%T Estimation of Attribute Utility in Statistical Recognition of Two Classes
%J Soviet J. Automat. Inform. Scie.
%V 189
%N 5
%P 81-86
%K O04 O06

%A Peter Naur
%T Thinking and Turing's Test
%J BIT
%V 26
%D 1986
%N 2
%P 175-187
%K AI16

%A Persi Diaconis
%A Mehrdad Shahshani
%T Products of Random Matrices and Computer Image Generation
%B Random Matrices and Tehir Applications
%P 173-182
%S Contemp. Math.
%V 50
%I Amer. Math. Soc.
%C Providence, R. I.
%D 1986
%K AI06

%A V. A. Nepomnyaschii
%T Problem-oriented Program Verification
%J Programmirovanie 1986
%N 1
%P 3-13
%K AA08

%A Yong Qiang Sun
%A Bao Xing Tang
%T Strong Verification of Nested-loop Programs
%J J. Shanghai Jiatong Univ.
%D 1984
%N 6
%P 1-10
%K AA08
%X Chinese with English summary

%A A. Browne
%T Vision and the Robot
%J Philips Journal of Research
%V 41
%N 3
%D 1986
%P 232-246
%K AI06 AI07

%A B. J. Falkowski
%A L. Schmitz
%T A Note on the Queen's Problem
%J Information Processing Letters
%V 23
%N 1
%D JUL 20, 1986
%K AI03 AA17

%A Huia-Chuan Chen
%A J. H. Fang
%T A Heuristic Search Method for Optimal Zonation of Well Logs
%J Mathematical Geology
%V 18
%N 5
%D 1986
%P 489-500
%K AA03 AI06 AI03
%X improved the Houwkins and Merium algorithm by 7 to 50 fold

%A A. Kong
%A G. O. Barnett
%A F. Mosteller
%A C. Youtz
%T How Medical Professional Evaluate Expressions of Probability
%J New England Journal of Medicine
%V 315
%D SEP 18, 1986
%N 12
%P 740-744
%K AA01 AI02 AI01
%X explains what is meant in probabilistic terms by doctors by such
phrases as "likely"

%A G. Vontrzebiatowski
%A B. Bank
%T On the Convergence of the Fuzzy Clustering Algorithm Fuzzy ISODATA
%J Zeitschrift fur Angewandte Mathematik und Mechanik
%P 201-208
%V 66
%N 6
%D 1986
%K O04 O06

%A Makoto Kaneko
%A Minoru Abe
%A Eiichi Horiuchi
%A Kazuo Tanie
%T Study on Hexapod Walking Machine using an Approximate Straight Line Mechanism
Third Report; A Control Method for Proceeding over Soft Ground
%J Journal of Mechanical Engineering Laboratory
%V 40
%N 4
%D JUL 1986
%K AI07

%A A. G. Erdman
%A T. Thompson
%A D. R. Riley
%T Type Selection of Robot and Gripper Kinematic Topology Using Expert Systems
%J International Journal of Robot Research
%V 5
%N 2
%D 1986
%P 183
%K AA05 AI01 AI07
%X [. There are many other articles on this issue on robot kinematics (this was
a special issue).  I do not include those in this bibliography.]

%A James J. Clark
%A Peter D. Lawrence
%T A Theoretical Basis for Diffrequency Stereo
%J MAG80
%P 1-19
%K AI06

%A Brian G. Schunck
%T The Image Flow Constraint Equation
%J MAG80
%P 20-46
%K AI06

%A Teresa M. Silberberg
%A David A. Harwood
%A Larry S. Davis
%T Object Recognition Using Oriented Model Points
%J MAG80
%P 47-71
%K AI06

%A Haluk Derin
%A William S. Cole
%T Segment of Textured Images Using Gibbs Random Fields
%J MAG80
%P 72-98
%K AI06

%A Theo Pavlidis
%T A Vectorizer and Feature Extractor for Document Recognition
%J MAG80
%P 111
%K AI06

%A Matthew Hennessy
%T Proving Systolic Systems Correct
%J ACM Transactions on Programming Languages and Systems
%V 8
%N 3
%D JUL 1986
%P 344-387
%K AA08 AA04 AI11

%A Krzysztof R. Apt
%T Correctness Proofs of Distributed Termination Algorithms
%J ACM Transactions on Programming Languages and Systems
%V 8
%N 3
%D JUL 1986
%P 388-407
%K AA08 AI11

%A A. Pathak
%A S. K. Pal
%T A Generalized Learning Algorithm Based on Guard Zones
%J MAG81
%P 63-70
%K AI04

%A S. Larsen
%A L. N. Kanal
%T Analysis of k-nearest Neighborhood Branch and Bound Rules
%J MAG81
%P 71-78
%K AI03

%A F. Pasian
%A C. Vuerli
%T Core-line Tracing for Fuzzy Image Subsets
%J MAG81
%P 93
%K O04 AI06

%A O. R. Polonskaya
%T Logic-Semantic Connectors of the English Language as Formal Indicators of
Text Coherence
%J Nauchno-Tekhnicheskaya Informatsiya Seriya II - Informatsionnye Protessy
I Systemy
%N 6
%D 1986
%P 19-22
%K AI02

%A J. Victor
%T Bell-Labs Models Parallel Processor on Neural Networks
%J Mini-Micro Systems
%V 19
%N 10
%D AUG 1986
%P 43+
%K AI12 H03

%A C. Dede
%T A Review and Synthesis of Recent Research in Intelligent Computer-Assisted
Instruction
%J MAG82
%P 329-354
%K AA07  AT08 AT21

%A J. S. Greenstein
%A L. Y. Arnaut
%A M. E. Revesman
%T An Empirical Comparison of Model-Based and Explicit Communication
for Dynamic Human-Computer Task Allocation
%J MAG82
%P 355-364
%K AI08 O01

%A C. G. Leedham
%A A. C. Downton
%T On-Line Recognition of Pitman Handwritten Shorthand
%J MAG82
%P 375-394
%K AI06

%A P. N. Crowley
%T The Use of Q-Analysis and Q-Factor Weightings to Derive Clinical Psychiatric
Syndromes
%J MAG82
%P 395-408
%K AA11 O04

%A Concettina Guerra
%T A VLSI Algorithm for the Optimal Detection of a Curve
%J MAG83
%P 206-214
%K AI06

%A Bruce K. Hillyer
%A David Elliot Shaw
%T Execution of OPS5 Production Systems on a Massively Parallel Machine
%J MAG83
%P 236-268
%K H03 AI01

%A Salvatore J. Stolfo
%A Daniel P. Miranker
%T The DADO Production System Machine
%J MAG83
%P 269
%K AI01 H03

%A Gerrit Broekstra
%T Organizational Humanity and Architecture: Duality and Complementarity of PAPA
-Logic and MAMA-Logic in Managerial Conceptualizations of Change
%J MAG84
%P 13-42
%K AI08 AA11 AA06

%A Stuart A. Umpleby
%T Self-Authorization: A Characteristic of Some Elements in Certain Self-Organiz
ing Systems
%J MAG84
%P 79-88
%K H03 AI12

%A R. M. Lougheed
%A C. M. Swonger
%T An Analysis of Computer Architectural Factors Contributing to Image Processor
Capacity
%B BOOK53
%P 3-13
%K AI06

%A O. R. Hinton
%A H. G. Kim
%T A Bit-Sequential VLSI Pixel-Kermel Processor for Image Processing
%B BOOK53
%P 14-20
%K AI06 H03

%A D. J. Skellern
%T A Very Large Scale Integration (VLSI) System for Image Reconstruction
from Projections
%B BOOK53
%P 21-26
%K AI06

%A P. W. Besslich
%T Parallel Architecture for Line-Scanned Images
%B BOOK53
%P 27-35
%K AI06 H03

%A R. P. W. Duin
%A H. Haringa
%A R. Zeelen
%T A Hardware Design for Fast 2-D Percentile Filtering
%B BOOK53
%P 36-40
%K AI06

%A R. Boekamp
%A F. C. A. Groen
%A F. A. Gerritsen
%A R. J. Vanmunster
%T Design and Implementation of a Cellular Logic VME Processor Module
%B BOOK53
%P 41-45
%K AI06

%A J. L. Basille
%A S. Castan
%T Multilevel Architectures for Image Processing
%B BOOK53
%P 46-53
%K AI06 H03

%A J. Rommelaere
%A L. Vaneycken
%A P. Wambacq
%A A. Oosterlinck
%T A Microprogrammable Processor Architecture for Image Processing
%B BOOK53
%P 59-67
%K AI06

%A M. Suk
%A S. S. Pyo
%T A Geometry Processor for Image Processing and Pattern Recognition
%B BOOK53
%P 68-73
%K AI06

%A P. W. Pachowicz
%T Image Processing by a Local-SIMD Co-Processor
%B BOOK53
%P 82-87
%K AI06 AI03

%A V. Cantoni
%A L. Carrioli
%A O. Catalano
%A L. Cinque
%A V. Digesu
%A M. Ferretti
%A G. Gerardi
%A S. Levialdi
%A R. Lombardi
%A A. Machi
%A R. Sterfanelli
%T The Papia Image Analysis System
%B BOOK53
%P 88-97
%K AI06

%A J. Ronsin
%A D. Barba
%A S. Raboisson
%T Comparison Between Cooccurrence Matrices, Local Histograms and Curvilinear
Integration for Texture Characterization
%B BOOK53
%P 98-104
%K AI06

%A N. Lins
%T Refinement of Spectral Methods for Use in Texture Analysis
%B BOOK53
%P 105-111
%K AI06

%A M. Slimani
%A C. Roux
%A A. Hillioun
%T Image Segmentation by Cluster Analysis of High Resolution Textured SPOT Image
s
%B BOOK53
%P 112-119
%K AI06

%A A. Beckers
%A L. Dorst
%A L. T. Young
%T The Choice of Filter Parameters for non-Linear Grey-Value Image Processing
%B BOOK53
%P 120-128
%K AI06

%A J. Illingworth
%A J. Kittler
%T A Parallel Threshold Selection Algorithm
%B BOOK53
%P 129-134
%K AI06 H03

%A R. Samy
%T An Adaptive Image Sequence Filtering Scheme Based on Motion Detection
%B BOOK53
%P 135-144
%K AI06

%A B. K. Ghaffary
%T A Review of Image Matching Techniques
%B BOOK53
%P 164-172
%K AI06

%A K. Martinez
%A D. E. Pearson
%T PETAL A Parallel Processor for Real-Time Primitive Extraction
%B BOOK53
%P 173-175
%K AI06 O03

%A T. J. Dennis
%A L. J. Clark
%T Real Time Detection of Spot-Type Defects
%B BOOK53
%P 178-183
%K AI06 O03

%A E. Egeli
%A F. Klein
%A G. Maderlechner
%T Model-Based Instantiation of Symbols from Structurally Related Image
Primitives
%B BOOK53
%P 184-189
%K AI06

%A R. L. Shoemaker
%A P. H . Bartels
%A H. Bartels
%A W. G. Griswold
%A D. Hillman
%A R. Maenner
%T Image-Data-Driven Dynamically-Reconfigurable Multiprocessor System in
Automated Histopathology
%B BOOK53
%P 190-198
%K AI06 AA10

%A T. Lorch
%A J. Bille
%A M. Frieben
%A G. Stephan
%T An Automated Biological Dosimetry System
%B BOOK53
%P 199-206
%K AI06 AA10

%A C. Katsinis
%A A. D. Poularikas
%T Pattern Recognition of Zooplankton Images Using a Circular Sampling
Technique
%B BOOK53
%P 207-211
%K AI06 AA10

%A D. Lecomte
%A J. Beullier
%A D. Grangeon
%T Image Porcessing Adapted to Radiographs
%B BOOK53
%P 212-218
%K AI06 AA01

%A Zohar Manna
%A Richard Waldinger
%T The Logical Basis for Computer Programming. Vol I. Deductive
Reasoning
%I Addison-Wesley Publishing Co.
%C Reading, MASS
%D 1985
%K AA08 AI11 AT15

%A A. S. Morozov
%T Logic with Incomplete Information as an  Information System in the Sense
of Scott
%J Vychisl. Sistemy NO. 107
%D 1985
%P 71-79
%K AI16

%A B. C. Moszkowski
%T Executing Temporal Logic Programs
%I Cambridge University Press
%C Cambridge-New York
%D 1986
%K AT15 AI10
%X ISBN 0-521-31099-7

%A A. P. Sistla
%A E. M. Clarke
%A N. Francez
%A A. R. Meyer
%T Can Message Buffers be Axiomatized in Linear Temporal Logic
%J Inform. and Control
%V 63
%N 1-2
%P 88-112
%K AA08 AI11

%A Wolfgang Wechler
%T R-fuzzy Computation
%J J. Math. Anal. Appl.
%V 115
%D 1986
%N 1
%P 225-232
%K O04

%A Luis Aguila Feros
%A Jose Ruiz Shulcloper
%T A Bm-Algorithm for Processing K-valent Data in Recognition Problems
%J Cinc. Mat. (Havana)
%V 5
%D 1984
%N 3
%P 89-101
%K AI16
%X Spanish. English Summary

%A Vincent Digricoli
%A Malcolm Harrison
%T Equality-based Binary Resolution
%J JACM
%V 33
%D 1986
%N 2
%P 253-289
%K AI11

%A M. H. van Emden
%T Quantitative Deduction and its Fix-Point Theory
%J MAG85
%P 37-53
%K AI10

%A Hong Fan
%A Jorge L. C. Sanz
%T Comments on "Direct Fourier Reconstruction in Computer Tomography"
[IEEE Trans. Acoust. Speech Signal Process 29 (1981) no. 2. 237-245
by H. Stark, J. W. Woods, I. Paul and R. Hingorani
%J IEEE Trans. Acoust. Speech Signal Process.
%V 33
%D 1985
%N 2
%P 446-449
%K AI06 AA01 AT13

%A D. M. Gabbay
%A M. J. Sergot
%T Negation as Inconsistency
%J MAG85
%P 1-35
%K AI10

%A Han Rong Lu
%T Some Problems in Logic Program Design
%J Comput. Sci
%D 1986
%N 1
%P 38-39
%K AI10 O02
%X (Chinese)

%A Anca L. Ralescu
%T A Note on Rule Representation in Expert Systems
%J Inform. Sci
%V 38
%D 1986
%N 2
%P 193-203
%K AI01

%A Yu A. Zuev
%T Probabilistic Model of a Committee of Classifiers
%J Zh. Vychisl. Mat. i Mat. Fiz
%V 26
%D 1986
%N 2
%P 276-292
%K H03 O04
%X (russian)

%A Irena Pevac
%T Heuristic for Avoiding Skolemization in Theorem Proving
%J Publ. Inst. Math. (Beograd) (N. S.)
%V 38
%N 52
%D 1985
%P 207-213
%K AI11

%A A. A. Voronkov
%T A Method of Search for a Proof
%J Vychisl. Sistemy No. 107
%D 1985
%P 109-123
%K AI03 AI11
%X (Russian)

%A Kiem Hoang
%T Geometric Transforms of Digital Images
%J Rostock. Math. Kolloq. No 28
%D 1985
%P 87-98
%K AI06

%A Jacques Loeckx
%A Kurt Sieber
%A Ryan D. Sansifer
%T The Foundations of Program Verication
%S Wiley-Teubner Series in Computer Science
%I John Wiley and Sons
%C Chichester
%D 1984
%K AT15 AA08 AI11
%X ISBN 0-471-90323-X

%A Andreas Blass
%A Yuri Gurevich
%A Dexter Kozen
%T A zero-one Law for Logic with a Fixed-point Operator
%J Information and Control
%V 67
%D 1985
%N 1-3
%P 70-90
%K AI11

%A J. Sakalauskaite
%T Axiom Systems for Proving the Equivalence of Compositions of Simple
Assignments
%J Mat. Logika Primenen. No. 1
%D 1981
%P 109-132
%K AA08 AI11
%X Russian. English and Lithuanian summaries

%A A. Prasad Sistla
%A Moshe Y. Vardi
%A Pierre Wolper
%T The Complementation Problem fo Buchi Automata with Applications to
Temporal Logic
%B BOOK52
%P 465-475
%K AI11

%A Colin Stirling
%T A Complete Modal Proof System for a Subset of SCCS
%B BOOK47
%P 235-266
%K AA08 AI11

%A Colin Stirling
%T A Complete Compositional Modal Proof System for a subset of CCS
%B BOOK52
%P 475-486
%K AA08 AI11

%A Rimgaudas Zaldokas
%T Construction of Term Rewriting Rules for Abstract Data Types
%J Mat. Logika Primenen No. 1
%D 1981
%P 9-19
%K AI14

%A Lev Goldfarb
%T A New Approach to Pattern Recognition
%B Progress in Pattern Recognition
%P 241-402
%S Machine Intell. Pattern Recognition
%V 1
%I North-Holland
%C Amsterdam, New York
%D 1985

%A Jieh Hsiang
%A Mandayam Srivas
%T PROLOG-based Inductive Theorem Proving
%B BOOK40
%P 129-149
%K AI10 AI11

%A Neil D. Jones
%A Alan Mycroft
%T Stepwise Development of Operational and Denotational Semantics
of Prolog
%B BOOK50
%P 281-288
%K AI10 AI11 O02

%A Kenneth M. Kahn
%T A Primitive for the Control of Logic Programs
%B BOOK50
%P 242-251
%K AI10

%A Prateek MIshra
%T Towards a Theory of Types in Prolog
%B BOOK50
%P 289-298
%K AI10 O02

%A David A. Plaisted
%T The Occur-Check Problem in Prolog
%B BOOK50
%P 272-280
%K AI10

%A Zbigniew Ras
%A Maria Zemankova-Leech
%T Rough Sets Based Learning Systems
%B Computation Theory (Zaborow, 1984)
%S Lecture Notes in Computer Science
%V 275
%I Springer-Verlag
%C Berlin-Heidelberg-New York
%D 1985
%P 263-275
%K AI04

%A Mark E. Stickel
%T A PROLOG Technology Theorem Prover
%B  BOOK50
%P 211-217
%K T02 AI11

%A Hisao Tamaki
%T Semantics of a Logic Programming Language with a Reducability
Predicate
%B BOOK50
%P 259-264
%K AI10

%A Raymond Turner
%T Logics for Artificial Intelligence
%I Ellis Horwood
%C Chichester
%D 1985

%A Michael J. Wise
%A David M. W. Powers
%T Indexing Prolog Clauses Via Superimposed Code Words and Field Encoded
Words
%B BOOK50
%P 203-210
%K T02

%A Kathy Yelick
%T Combining Unification Algorithms for Confined Regular Equational
Theories
%J BOOK54
%P 365-380
%K AI14

%A Pierre Rety
%A Claude Kirchner
%A Helene Kirchner
%A Pierre Lescanne
%T NARROWER: A New Algorithm for Unification and its Application
to Logic Programming
%J BOOK54
%P 141-157
%K AI10 AI11

%A Harvey Abramson
%T Definite Clause Translation Grammars
%B BOOK50
%P 233-240
%K AI11

%A Marta Cialdea
%T Some Remarks on the Possibility of Extending Resolution Proof Procedures
to Intuitionistic Logic
%J Inform. Process. Lett
%V 22
%D 1986
%N 2
%P 87-90
%K AI10  AI11

%A Stavros S. Cosmadakis
%A Paris C. Kanellakis
%T Two Applications of Equational Theories to Database Theory
%B BOOK54
%P 107-123
%K AI10 AA09 AI11

%A Amitava Bagchi
%A A. Mahanti
%T Three Approaches to Heuristic Search in Networks
%J JACM
%V 32
%D 1985
%N 1
%P 1-27
%K AI03

%A G. Gottlob
%A A. Leitsch
%T On the Efficiency of Subsumption Algorithms
%J JACM
%V 32
%D 1985
%N 2
%P 280-295
%K AI11


%A O. K. Khanmamedov
%T Approximating Perceptron and Convergence of a Process of Training a
Classifier
%J Akad. Nauk. Azerbaidzhan. SSR Dokl.
%V 41
%D 1985
%N 8
%P 8-11
%K AI04 AI06
%X Russian with English and Azerbaijani Summaries

%A V. S. Neiman
%T Unattainable Subgoals in Searching for an Inference from a Goal
%B Complexity Problems of Mathematical Logic
%P 68-72
%I Kalinin. Gos. Univ.
%C Kalinin
%D 1985
%K AI16
%X Russian

%A Bernard Silver
%T Meta-level Inference. Representing and Learning Control Information
in Artificial Intelligence
%S Studies in Computer Science and Artificial Intelligence
%V 1
%I North-Holland Publishing Co.
%C Amsterdam-new York
%D 1986
%K AT15 AI04 AI03 AI16
%X ISBN-0-444-87900-5

%A V. I. Vasilev
%A F. P. Ovsyannikova
%T Optimization of the Space in Teaching Pattern Recognition
%J Soviet J. Automat. Inform. Sci
%D 1985
%N 3
%P 6-14
%V 18
%K AI04 AI06


%A Dennis de Champeaux
%T About the Paterson-Wegman Linear Unification Algorithm
%J J. Comput. System Sci
%V 32
%D 1986
%N 1
%P 79-90
%K AI11

%A Da Fa Li
%T Semantic Resolution and Paramodulation for Horn Sets
%J J. Huazhong Univ. Sci. Tech
%V 12
%N 2
%P 13-16
%K AI10 AI11
%X Chinese with English Summary

%A David Harel
%T Dynamic Logic
%B Handbook of Philosophical Logic, Vol II
%P 497-604
%S Synthese Library
%V 165
%C Reidel, Boston
%D 1984

%A A. Hoppe
%T Temporal Logic Specification of Synchronization Primitives
%B BOOK55
%P 455-466
%K AA08

%A Erica Jen
%T Invariant Strings and Pattern-Recognizing Properties of One-Dimensional
Cellular Automata
%J J. Statist. Phys
%V 43
%D 1986
%N 1-2
%P 219-242
%K AI12

%A H. R. Nielson
%T A Hoare-Like Proof System for Total Correctness of Nested Recursive
Procedures
%B BOOK55
%P 227-239
%K AA08

%A Shi Tie Wang
%T Modal Logic and Program Verification
%J Acta Sci. Natur. Univ. Amoien
%V 24
%D 1985
%N 3
%P 300-307
%K AA08
%X Chinese with English Summary

%A S. J. Young
%A C. Proctor
%T UFI - An Experimental Frame Language Based on Abstract Data Types
%J The Computer Journal
%V 29
%N 4
%D AUG 1986
%P 340-347
%K AI16

%A H. J. Eibner
%A D. Holzel
%T Aspects of Expert Systems Applications in Medicine
%J Angewandte Informatik
%N 7
%D JUL 1986
%P 279-284
%K AI01 AA01

%A Q Tian
%A Michael N. Huhns
%T Algorithms for Subpixel Registration
%J MAG86
%P 220-233
%K AI06

%A Vladimir Kim
%A Leonid Yaroslavskii
%T Rank Algorithms for Picture Processing
%J MAG86
%P 234-258
%K AI06

%A Michael H. Brill
%T Perception of Transparency in Man and Machine: A Comment on Beck
%J MAG86
%P 270-271
%K AI06 AI08

%A Ye. K. Gordiyenko
%A V. N. Zakhavov
%T Process Management in Knowledge Bases
%J Soviet Journal of Computer and Systems Sciences
%V 24
%N 1
%D JAN-FEB 1986
%P 81-95
%K H03

%A C. L. Ramsey
%A J. A. Reggia
%A D. S. Nau
%A A. Ferrentino
%T A Comparative Analysis of Methods for Expert Systems
%J International Journal of Man-Machine Studies
%V 24
%N 5
%D MAY 1986
%K AI01
%P 475
%K AI01

%A Bruce  L. Golden
%A A. Hevner
%A D. Power
%T Decision Insight Systems for Microcomputers: a Critical Evaluation
%J MAG87
%P 287-300
%K AI13

%A Arjang A. Assad
%A Bruce L. Golden
%T Expert Systems, Microcomputers and Operations Research
%J MAG87
%P 301-322
%K H01 AI01

%A Jeffrey Perrone
%T Down from the Clouds: Notes on "Expert Systems, Microcomputers, and Operation
s Research"
%J MAG87
%P 323-324
%K H01 AI01

%A E. Eugene Carter
%T Creating a Shell-based Expert System
%J MAG87
%P 325-328
%K T03 AI01

%A James A. Reggia
%A Sanjesv B. Ahuja
%T Selecting an Approach to Knowledge Processing
%J MAG87
%P 329-332
%K AI01

%A Richard T. Wong
%T Comment on "Expert Systems, Microcomputers, and Operations Research"
%J MAG87
%P 333
%K AI01