Another Leff bibliography on  AI with book and journal
	definitions  at the beginning.

--------------------------------------------------------------------
Path: yetti!mnetor!uunet!seismo!lll-lcc!lll-tis!ames!sdcsvax!ucbvax!SMUVM1.BITNE
From: E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University)
Newsgroups: comp.ai.digest
Distribution: world
Organization: The ARPA Internet
     
D MAG115 Pattern Recognition\
%V 20\
%N 1\
%D 1987
D MAG116 1985 International Test Conference\
%D 1985
D MAG117 Proceedings IEEE International Symmposium on Circuits and Systems\
%C Kyoto, Japan\
%D JUN 5-7 1985
D MAG118 Proceedings of the Second Australian Conference on Applications of Expe
rt Systems\
%C Sydney\
%D 14-16 May 1986
D BOOK66 International Conference on Computers in Engineering Conference and Exh
ibit (Las Vegas)\
%D 1984\
%I American Society for Mechanical Engineers
D MAG119 Proceedings of the 1986 International Test Conference\
%D SEP 9-11, 1986
D MAG120 1986 IEEE International Conference on Computer Design (Port Chester, NY
)\
%D October 6-9, 1986
D BOOK67 1985 Engineering Software IV\
%I Springer Verlag\
%C Berlin-Heidelberg New York\
%D 1985\
%E R. A. Edey
D MAG121 American Control Conference (Seattle, WA)\
%D JUN 18-20 1986
D MAG122 1985 Proceedings Annual Reliability and Maintainability Symposium\
%D 1985
D MAG123 Proceedings of the 1986 International Computers and Engineering Confere
nce (Chicago, Ill.)\
%D JUL 1986
D MAG124 International Conference on Computer Aided Design (Santa Clara, CA)\
%D 1986
D MAG130 AT&T Technical Journal\
%V 65\
%N 5\
%D SEP-OCT 1986
D MAG131 Pattern Recognition Letters\
%V 5\
%N 3\
%D MAR 1987
D BOOK80 Mathematical Foundations of Computer Science\
%S Lecture Notes in Computer Science\
%V 233\
%I Springer-Verlag\
%C Berlin-New York\
%D 1986
D MAG132 J. Logic Programming\
%V 3\
%N 3\
%D 1986
D BOOK81 GWAI-85 Proceedings of the Ninth German Workshop on Artificial Intellig
ence\
%E Herbert Stoyan\
%S Technical Reports on Information Science\
%V 118\
%I Springer-Verlag\
%C Berlin-New York\
%D 1986
D BOOK82 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
D BOOK83 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
D BOOK84 Category Theory and Computer Programming (Guildford, 1985)\
%S Lecture Notes in Computer Science\
%V 240\
%I Springer-Verlag\
%C Berlin-New York\
%D 1986
D MAG135 Journal of Logic Programming\
%V 3\
%N 4\
%D 1986\
D MAG136 IEEE Transactions on Geoscience and Remote Sensing\
%V 25\
%N 3\
%D MAY 1987
D MAG137 Soviet Journal of Computer and Systems Sciences\
%V 24\
%N 6\
%D NOV-DEC 1986


     
D MAG136 IEEE Transactions on Geoscience and Remote Sensing\
%V 25\
%N 3\
%D MAY 1987
D MAG137 Soviet Journal of Computer and Systems Sciences\
%V 24\
%N 6\
%D NOV-DEC 1986
D MAG138 Pattern Recognition Letters\
%V 5\
%N 5\
%D MAY 1987
D MAG139 Pattern Recognition Letters\
%V 6\
%N 1\
%D JUN 1987
D MAG140 International Journal of Man Machine Studies\
%V 26\
%N 1\
%D JAN 1987
D MAG141 Pattern Recognition\
%V 20\
%N 3\
%D 1987
D MAG142 Computer Vision, Graphics and Image Processing\
%V 39\
%N 2\
%D AUG 1987
D MAG147 Fuzzy Sets and Systems\
%V 23\
%N 1\
%D JUL 1987
D MAG144 IEEE Transactions on Systems, Man, and Cybernetics\
%V 17\
%N 3\
%D MAY-JUN 1987
D MAG145 International Journal of Man-Machine Studies\
%V 26\
%N 2\
%D FEB 1987

From: E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University)
Newsgroups: comp.ai.digest
Subject: Bibliography - Leff File bm846
Date: 12 Nov 87 08:53:00 GMT
 
 
D MAG144 IEEE Transactions on Systems, Man, and Cybernetics\
%V 17\
%N 3\
%D MAY-JUN 1987
D MAG145 International Journal of Man-Machine Studies\
%V 26\
%N 2\
%D FEB 1987
D MAG149 Information Processing and Management\
%V 233\
%N 4\
%D 1987
D MAG150 Computer Vision, Graphics, and Image Processing\
%V 39\
%N 3\
%D SEP 1987
D MAG151 International Journal of Man-Machine Studies\
%V 26\
%N 3\
%D MAR 1987
D MAG152 Image and Vision Computing\
%V 5\
%N 3\
%D AUG 1987
D MAG153 Computers and Industrial Engineering\
%V 13\
%N 1-4\
%D 1987
D MAG154 Fuzzy Sets and Systems\
%V 23\
%N 3\
%D SEP 1987
D MAG155 International Journal of Man-Machine Studies\
%V 26\
%N 4\
%D APR 1987
D MAG156 Computer Vision, Graphics, and Image Processing\
%V 40\
%N 1\
%D OCT 1987
D BOOK85 Image Pattern Recognition: Algorithm Implementations,\
Techniques, and Technologies\
%S Proceedings of the Society of Photo-Optical Instrumentation Engineers\
%V 755\
%E F. J. Corbett\
%I SPIE - International Society Optimal Engineering (Bellingham)\
%D 1987
D MAG157 International Journal of General Systems\
%V 13\
%N 3\
%D 1987

---------- end of definitions ---------------------------------

%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 MAR 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 Architectur
e
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
%I Faculty of Engineering, Fukuoka, Japan
%N 41
%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 International Conference on Acoustics, Speech and Signal Processing.
proceedings
%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 JAN-FEB 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 AUG 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 AUG 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 APR 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 APR 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 APR 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
%P 101-104
%D MAR 1987
%K AI06
     
     
%A J. Mantas
%T Methodologies in Pattern Recognition and Image Analysis -- A Brief
Survey
%J MAG115
%P 1-6
%K AI06
     
%A R. W. Smith
%T Computer Processing of Line Images: A Survey
%J MAG115
%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 MAG115
%P 17-34
%K AI06
     
%A S. Basu
%A K. S. Fu
%T Image Segmentation by Syntactic Method
%J MAG115
%P 35-44
%K AI06
     
%A Zhen Zhang
%A M. Simaan
%T A Rule-Based Interpretation System for Segmentation of Seismic Images
%J MAG115
%P 45-54
%K AI06
     
%A Maylor K. Leung
%A Yee-Hong Yang
%T Human Body Motion Segmentation in a Complex Scene
%J MAG115
%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 MAG115
%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 MAG115
%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 MAG115
%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 MAG115
%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 MAG115
%P 115-124
%K AI06 H03
     
%A H. D. Cheng
%A K. S. Fu
%T VLSI Architectures for String Matching and Pattern Matching
%J MAG115
%P 125-142
%K AI06 O06 H03
     
%A H. Mellink
%A H. Buffart
%T Abstract Code Network as  a Model of Perceptual Memory
%J MAG115
%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 MAR 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 MAR 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 MAR 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 MAR 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 MAR 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 MAR 1987
%K AA05 O04
%P 126-132
     
%A Heiko Krumm
%T Logical Verification of Concurrent Programs
%J Angewandte Informatik
%N 4
%D APR 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 MAG130
%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 MAG130
%P 23-33
%K AI05
     
%A Robert J. Perdue
%A Eugene L. Rissanen
%T Conversant 1 Voice System: Architecture and Applications
%J MAG130
%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 MAG130
%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 MAG130
%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 MAG130
%P 68-74
%K AI05
     
%A Bishnu S. Atal
%A Lawrence R. Rabiner
%T Speech Research Directions
%J MAG130
%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
%D MAY 1987
%V 33
%N 3
%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 SEP-OCT 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 SEP-OCT 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 SEP-OCT 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 MAR 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 MAR 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 NOV 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 MAG131
%P 191-194
%K AI06
     
%A J. H. Kim
%T Distributed Inference for Plausible Classification
%J MAG131
%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 MAG131
%P 203-206
%K AI06
     
%A M. Werman
%A A. Y. Wu
%A R. A. Melter
%T Recognition and Characterization of Digitized Curves
%J MAG131
%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 MAG131
%P 215-222
%K AI06
     
%A S. Peleg
%A D. Keren
%A L. Schweitzer
%T Improving Image Resolution Using Subpixel Motion
%J MAG131
%P 223-226
%K AI06
     
%A M. C. Yuan
%A J. G. Li
%T A Production System for LSI Chip Anatomizing
%J MAG131
%P 227-232
%K AI06
     
%A R. D. Grisell
%T Noniterive Correction of Images and Motion Sequences
%J MAG131
%P 223-242
%K AI06
     
%A P. Fua
%A A. J. Hanson
%T Resegmentation Using Generic Shape: Locating General Cultural Objects
%J MAG131
%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 APR 1987
%K AI02
%P 157-160
     
%A A. N. Averkin
%A V. B. Tarasov
%T The Fuzzy Modeling Relation and its Application to Artificial Intelligence
%J MAG122
%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 MAG123
%P 25-42
%K AI02 AI13 O04
     
%A R. A. Aliev
%T Production Control on the Basis of Fuzzy Models
%J MAG123
%P 43-56
%K O04
     
%A A. F. Blishun
%T Fuzzy Learning Models in Expert Systems
%J MAG123
%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 MAG123
%P 71-80
     
%A S. G. Svarovski
%T Usage of Linguistic Variable Concept for Human Operator Modelling
%J MAG123
%P 107-114
%K O04 AI02
     
%A D. A. Pospelov
%T Fuzzy Reasoning in Pseudo-Physical Logics
%J MAG123
%P 115-120
%K O04
     
%A S. V. Chesnokov
%T The Effect of Semantic Freedom in the Logic of Natural Language
%J MAG123
%P 121-154
%K AI02 O04
     
%A D. I. Shapiro
%T Human Specifics, Fuzzy Categories and Counteraction in Decision
Making Problems
%J MAG123
%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 APR 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
%D 1986
%N 4
%P 371-399
%K AA08
     
%A P. T. Cox
%T On Determining the Causes of Nonunifiability
%J J. Logic Programming
%V 4
%D 1987
%N 1
%P 33-58
%K AI14 AI10
     
%A Peter van Emde Boss
%T A Semantical Model for Integration and Modularization of Rules
%B BOOK80
%P 78-92
%K AI01 AI16
     
%A Ken Hirose
%T An Approach to Proof Checker
%B BOOK80
%P 113-127
%K AA13 AI14 AI11
     
%A Guy Jumarie
%T New Decision Rules in Statistical Pattern Recognition
%J Kybernetes
%V 16
%D 1987
%N 1
%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.
%D 1986
%N 9
%P 139-144
%K O04
     
%A M. A. Nait Abdallah
%T Al-Khowarizmi: A Formal System for Higher Order Logic Programming
%B BOOK80
%P 545-553
%K AI10
     
%A Zbigniew W. Ras
%A Maria Zemankova
%T Learning in Knowledge Based Systems, a Possibilistic Approach
%B BOOK80
%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
%D 1986
%N 5
%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
%D 1986
%N 5-6
%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
%D 1986
%N 5-6
%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
%D 1986
%N 5-6
%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
%D 1987
%N 1
%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
%D 1987
%N 1
%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
%D 1986
%N 2
%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
%D 1986
%N 5-6
%P 313-330
%K AI02 O04
     
%A Friedhelm Hinz
%T Regular Chain Code Picture Languages of Nonlinear Descriptional
Complexity
%B BOOK80
%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
%P 59-100
%S Lecture Notes in Computer Science
%I Springer-Verlag
%C Berlin-New York
%D 1986
%K AA08
     
%A Susanne Graf
%T A Complete Inference System for an Algebra of Regular Acceptance Models
%B BOOK80
%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)
%P 1-18
%S CWI Monographs
%V 1
%I North-Holland
%C Amsterdam-New York
%D 1986
%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
%D 1986
%N 3
%P 1-9
%K O06
     
%A Hassan Ait-Kaci
%T LOGIN: A Logic Programming Language with Built-in Inheritance
%J MAG132
%P 185-215
%K AI10
     
%A Marco Bellia
%A Giorgia Levi
%T The Relation Between Logic and Functional Languages: A Survey
%J MAG132
%P 217-236
%K AT08
     
%A Karl-Hans Blasius
%T Equality Reasoning with Equality Paths
%B BOOK81
%P 57-76
%K AI14
     
%A Wolfram Buttner
%T Unification in the Data Structure Sets
%B BOOK82
%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 BOOK82
%P 42-51
%K AI14 AI11
     
%A P. Ciancarini
%A P. Degano
%T An Approach to Proving Properties of Nonterminating Logic Programs
%B BOOK83
%P 223-243
%K AI14 AA08 O02
     
%A Hubert Comon
%T Sufficient Completeness, Term Rewriting Systems and "Anti-Unification"
%B BOOK82
%P 128-140
%K AI14 AI11
     
%A P. Tox Cox
%A T. Pietrzykowski
%T Causes for Events: Their Computation and Applications
%B BOOK82
%K AI11 temporal reasoning
     
%A A. J. J. Dick
%A R. J. Cunningham
%T Using Narrowing to Do Isolation in Symbolic Equation Solving
%B BOOK82
%P 272-280
%K AI14
     
%A Roland Dietrich
%T Relating Resolution and Algebraic Completion for Horn Logic
%B BOOK82
%P 62-78
%K AI14 AI10 AI11
     
%A B. Fronhofer
%T On Refinements of the Connection Method
%B BOOK83
%P 391-401
     
%A Isabelle Gnaedig
%A Pierre Lescanne
%T Proving Termination of Associative Commutative Rewriting Systems by
Rewriting
%B BOOK82
%P 52-61
%K AI14 AI11
     
%A Richard Gobel
%T Completion of Globally Finite Term Rewriting Systems for Inductive
Proofs
%B BOOK81
%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 BOOK82
%P 450-469
%K AI11 AI14
     
%A Douglas Howe
%T Implementing Number Theory: an Experiment with Nuprl.
%B BOOK82
%P 404-415
%K AA13 AI11 AI14
     
%A Tadashi Kanamori
%A Hiroshi Fujita
%T Formulation of Induction Formulas in Verification of Prolog Programs
%B BOOK82
%P 281-299
%K AI14 AI11 O02
     
%A Deepak Kapur
%A Paliath Narendran
%A Hantao Zhang
%T Proof by Induction Using Test Sets
%B BOOK82
%P 99-117
%K AI14 AI11
     
%A Deepak Kapur
%A Paliath Narendran
%T NP-Completeness of the Set Unification and Matching Problems
%B BOOK82
%P 489-495
%K O06 AI11
     
%A Thomas Kaufl
%T Program Verifier "Tatzelwurm": Reasoning About Systems of Linear
Inequalities
%B BOOK82
%P 300-305
%K AA13 AA08 AI11
     
%A Younghwan Lim
%T The Heuristics and Experimental Results of a New Hyperparamodulation: HL-
Resolution
%B BOOK82
%P 240-253
%K AI11
     
%A Rasiah Loganantharaj
%A Robert A. Mueller
%T Parallel Theorem Proving with Connection Graphs
%B BOOK82
%P 337-352
%K AI11 H03
     
%A Zohar Manar
%A Richard Waldinger
%T How to Clear a Block: Plan Formulation in Situational Logic
%B BOOK82
%P 622-640
%K AI07 AI09 AI11
     
%A Ursula Maritn
%A Tobias Nipkow
%T Unification in Boolean Rings
%B BOOK82
%P 506-513
%K AI14 AI11
     
%A Jalel Mzali
%T Matching with Distributivity
%B BOOK82
%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 BOOK81
%P 77-100
%K AI14 AI11
     
%A F. Oppacher
%A E. Suen
%T Controlling Deduction with Proof Condensation and Heuristics
%B BOOK82
%P 384-393
%K AI11 AI14
     
%A Lawrence C. Paulson
%T Natural Deduction as Higher-Order Resolution
%J MAG131
%P 237-258
%K  AI10 AI11
     
%A David A. Plaisted
%T Abstraction Using Generalization Functions
%B BOOK82
%P 365-376
%K AI11
     
%A D. Rydeheard
%T A Categorical Unification Algorithm
%B BOOK84
%K AI14 AI11
     
%A Manfred Schmidt-Schauss
%T Unification in Many-Sorted Equational Theories
%B BOOK82
%P 538-552
%K AI14 AI11
     
%A Manfred Schmidt-Schauss
%T Unification in a Many Sorted Calculus with Declarations
%B BOOK81
%P 118-132
%K AI14 AI11
     
%A Hans-Albert Schneider
%T An Improvement of Deduction Plans: Refutation Plans
%B BOOK82
%P 377-383
%K AI11
     
%A O. Stepankova
%A P. Stepanek
%T And/or Schemes and Logic Programs
%B BOOK83
%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
%D 1987
%N 1
%P 73-85
%K AI12 AI04
     
%A Erik Tiden
%T Unification in Combinations of Collapse-Free Theories with Disjoint
Sets of Function Symbols
%B BOOK82
%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 BOOK83
%P 849-869
%K AI14 AI11
     
%A L. Wos
%A W. McCune
%T Negative Paramodulation
%B BOOK82
%P 229-239
%K AI14 AI11
     
%A Martin Abadi
%A Zohar Manna
%T Modal Theorem Proving
%B BOOK82
%P 172-189
%K AI11
     
%A Peter B. Andrews
%T Connections and Higher-Order Logic
%B BOOK82
%P 1-4
%K AI11 AI10
     
%A Leo Bachmair
%A Nachum Dershowitz
%T Commutation, Transformation, and Termination
%B BOOK82
%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
%D 1986
%N 3
%P 259-302
%K AI06
     
%A R. Book
%T On the Unification Hierarchy
%B BOOK81
%P 111-117
%K AI14 AI11
     
%A Frank Malloy Brown
%T A Commonsense Theory of Nonmonotonic Reasoning
%B BOOK82
%P 209-228
%K AI15
     
%A Hans-Jurgen Burckert
%T Some Relationships Between Unification, Restricted Unification, and
Matching
%B BOOK82
%P 514-524
%K AI11 AI14 O06
     
%A Cynthia Dwork
%A Paris Kanellakis
%A Larry Stockmeyer
%T Parallel Algorithms for Term Matching
%B BOOK82
%P 416-430
%K AI11 O06 H03 AI14
     
%A Norbert Eisenger
%T What You Always Wanted to Know About Clause Graph Resolution
%B BOOK82
%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 BOOK83
%P 363-378
%K AI10 O02
     
%A Jieh Hsiang
%A Michael Fusinowitch
%T A New Method for Establishing Refutational Completeness in Theorem
Proving
%B BOOK82
%P 141-152
%K AI14 AI11
     
%A Gerhard Jaeger
%T Some Contributions to the Logical Analysis of Circumscription
%B BOOK82
%P 154-171
%K AI15 AI11
     
%A Kurt Konolige
%T Resolution and Quantified Epistemic Logics
%B BOOK82
%P 199-208
%K AI10 AI11 AI14
     
%A  Xu Hua Liu
%T Generalized Resolution Using Paramodulation
%J Kexue Tongbao (English Edition)
%V 31
%D 1986
%N 21
%P 1441-1444
%K AI11 AI14
     
%A Neil V. Murray
%T Theory Links in Semantic Graphs
%B BOOK82
%P 353-364
%K AI16
     
%A David A. Plaisted
%T A Simple Nontermination Test for the Knuth-Bendix Algorithm
%B BOOK82
%P 69-88
%K AI11 AI14
     
%A Patrick Saint-Dizler
%T An Approach to Natural-Language Semantics in Logic Programming
%J MAG135
%P 329-356
%K AI02 AI10
     
%A P. H. Schmitt
%T Computational Aspects of Three-Valued Logic
%B BOOK82
%P 190-198
%K AI11 O04
     
%A Yoshohito Toyama
%T How to Prove Equivalence of Term Rewriting Systems without Induction
%B BOOK82
%P 118-127
%K AI11 AI14
     
%A Jonathan Traugott
%T Nested Resolution
%B BOOK82
%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 BOOK82
%P 525-537
%K AI11 AI14
     
%A Tie Cheng Wang
%T ECR: An Equality Conditional Resolution Proof Procedure
%B BOOK82
%P 254-271
%K AI11
     
%A Yuan Yuan Wang
%T A Generalized Paramodulation-Resolution Method
%J Nanjing Daxue Xuebao Ziran Kexue Ban
%V 22
%D 1986
%N 2
%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
%D 1987
%N 1
%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
%D 1986
%N 3
%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 MAG135
%P 299-328
%K AI11 AI02
     
%A Horst Reichel
%T Behavioral Program Specification
%B BOOK83
%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 BOOK83
%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 BOOK83
%P 379-390
%K O06
     
     
%A Werner Alexi
%T Extraction and Verification of Programs through the Analysis of
Formal Proofs
%B BOOK81
%P 135-152
%K AA08
     
%A P. Borowik
%A W. Korczynski
%A T. Kudla
%T An Axiomatic Characterisation of an Algebra of Processes
%B BOOK83
%P 141-150
%K AA08
     
Path: yetti!mnetor!uunet!husc6!mit-eddie!ll-xn!ames!sdcsvax!ucbvax!SMUVM1.
+ BITNET!E1AR0002
From: E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University)
Newsgroups: comp.ai.digest
Subject: a60C
Message-ID: <8709160639.AA11174@ucbvax.Berkeley.EDU>
Date: 14 Sep 87 13:48:00 GMT
Article-I.D.: ucbvax.8709160639.AA11174
Posted: Mon Sep 14 09:48:00 1987
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 1107
Approved: ailist@stripe.sri.com
     
%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
Received: From YORKVM1(MAILER) by YUSOL with RSCS id 2439 for CS100006@YUSOL;
 Sun, 15 Nov 87 02:54 EST
Received: from YUYETTI.BITNET by YORKVM1 (Mailer X1.25) with BSMTP id 2436;
 Sun, 15 Nov 87 02:53:12 EST
Date: Sun, 15 Nov 87 02:52:23 EST
From: peter@yuyetti

Path: yetti!utzoo!mnetor!uunet!husc6!mit-eddie!ll-xn!ames!ucbcad!ucbvax!SMUVM1.
+ BITNET!E1AR0002
From: E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University)
Newsgroups: comp.ai.digest
Subject: Bibliography - Leff File a62C
Message-ID: <8711090919.AA21299@ucbvax.Berkeley.EDU>
Date: 5 Nov 87 23:33:00 GMT
Article-I.D.: ucbvax.8711090919.AA21299
Posted: Thu Nov  5 18:33:00 1987
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 1049
Approved: ailist@kl.sri.com
 
%A E. Hudlicka
%A V. Lesser
%T Modeling and Diagnosing Problem-Solving System Behavior
%J MAG144
%P 407-419
 
%A J. L. Kolodner
%A R. M. Kolodner
%T Using Experience in Clinical Problem Solving: Introduction and Framework
%J MAG144
%P 420-431
%K AA01
 
%A B. Kuipers
%T Qualitative Simulation as Causal Explanation
%J MAG144
%P 432-444
 
%A J. R. Josephson
%A B. Chandrasekaran
%A J. R. Smith
%A M. C. Tanner
%J MAG144
%P 445-454
 
%A J. G. Witlink
%T A Deficiency of Natural Deduction
%J Information Processing Letters
%V 25
%N 4
%D JUN 17 1987
%P 233-234
 
%A D. G. Kouri
%T The Design and Use of a Prolog Trace Generator for CSP
%J Software Practice and Experience
%V 17
%N 7
%D JUL 1987
%P 423-438
 
%A M. Oyamaguchi
%T The church-Rosser Property for Ground Term-Rewriting Systems is Decidable
%J Theoretical Computer Science
%V 49
%N 1
%D 1987
%P 43-80
 
%A J. P. Delgrande
%T A Formal Approach to Learning From Examples
%J MAG145
%P 123-142
 
%A T. R. Gruber
%A P. R. Cohen
%T Design for Acquisition: Principles of Knowledge-System Design to Facilitate
Knowledge Acquisition
%J MAG145
%P 143-160
 
%A P. E. Johnson
%A I. Zaulkernan
%A S. Garbert
%T Specification of Expertise
%J MAG145
%P 161-182
 
%A C. M. Kitto
%A J. H. Boose
%T Heuristics for Expertise Transfer: An Implementation of a Dialog
Manager for Knowledge Acquisition
%J MAG145
%P 183-202
 
%A J. Kornell
%T Formal Thought and Narrative Thought in Knowledge Acquisition
%J MAG145
%P 203-212
 
%A E. A. Moore
%A A. M. Agogino
%T Inform: An Architecture for Expert-Directed Knowledge Acquisition
%J MAG145
%P 213-230
 
%A T. Bylander
%A B. Chandrasekaran
%T Generic Tasks for Knowledge-Based Reasoning: the "Right" Level of
Abstraction for Knowledge Acquisition
%J MAG145
%P 231-244
%K AI01
 
%A M. LaFrance
%T The Knowledge Acquisition Grid: A Method for Training Knowledge Engineers
%J MAG145
%P 245-256
%K AI01
 
%A D. D. Woods
%A E. Holnagel
%T Mapping Cognitive Demands in Complex Problem-Solving Worlds
%J MAG145
%P 257
 
%A W. Bruce Croft
%T Approaches to Intelligent Information Retrieval
%J MAG149
%P 249-254
%K AA14
 
%A Paul R. Cohen
%A Rick Kjeldsen
%T Information Retrieval by Constrained Spreading Activation in Semantic
Networks
%J MAG149
%P 255-268
%K AI12 AA14
 
%A Lisa F. Rau
%T Knowledge Organization and Access in a Conceptual Information System
%J MAG149
%P 269-284
%K AI16 AA14
 
%A Y. Chiaramella
%A B. Defude
%T A Prototype of an Intelligent System for Information Retrieval: IOTA
%J MAG149
%P 285-304
%K AA14
 
%A Giorgia Brajnik
%A Giovanni Guida
%A Carlo Tasso
%T User Modeling in Intelligent Information Retrieval
%J MAG149
%P 305-320
%K AI08 AA15 AA14
 
%A Robert F. Simmons
%T A Text Knowledge Base from the AI Handbook
%J MAG149
%P 321-340
%K AA14
 
%A Edward A. Fox
%T Developments of the CODER System: A Testbed for Artificial Intelligence
Methods in Information Retrieval
%J MAG149
%P 341-366
%K AA14 AI02
 
%A H. M. Brooks
%T Expert Systems and Intelligent Information Retrieval
%J MAG149
%P 367-382
%K AA14 AI01  AT08
 
%A D. A. Pospelov
%T Artificial Intellect - A New Phase of Development
%J Vestnik Akademii Nauk SSSR
%N 4
%D 1987
%P 40-47
%K AI16
%X in Russian
 
%A J. Grobelny
%T The Fuzzy Approach to Facilities Layout Problems
%J Fuzzy Sets and Systems
%V 23
%N 2
%D AUG 1987
%P 175-190
%K O04 AA05
 
%A M. A. Gil
%A M. T. Lopez
%A J. M. A. Garrido
%T An Extensive-Form Analysis for Comparing Fuzzy Information Systems by
Means of the Worth and Quiteness of Information
%J Fuzzy Sets and Systems
%V 23
%N 2
%D AUG 1987
%P 239-256
%K O04
 
 
 
%A Christopher Hogger
%T Prolog and Software Engineering
%J Microprocessors and Microsystems
%V 11
%N 6
%D JUL-AUG 1987
%P 308-318
%K T02
 
%T Consistent Clustering - Analog of Physical Model for the Observation
Object in Fuzzy Language
%J Avtomatika
%N 3
%D MAY-JUN 1987
%P 89
%K O04 O06
%X Article in Russian, English Abstract Available
 
%A I. V. Blauberg
%A V. V. Klokov
%T Systems Studies and Organization of Knowledge
%J Cybernetics and Systems
%V 18
%N 3
%D 1987
%P 195-202
%K AI16
 
%A Avi Rushinek
%A Sara F. Rushinek
%T Interactive Diagnostic System for Insurance Software: An Expert
System Using Artificial Intelligence (ESAI)
%J Cybernetics and Systems
%V 18
%N 3
%D 1987
%P 203-220
%K AA06 AI01
 
%A A. Hoogewijs
%T Partial Predicate Logic in Computer Science
%J Acta Informatica
%V 24
%N 4
%D 1987
%P 381-394
%K AI10
 
%A D. Kapur
%A P. Narendran
%A H. Zhang
%T On Sufficient-Completeness and Related Properties of Term Rewriting
Systems
%J Acta Informatica
%V 24
%N 4
%D 1987
%P 395-416
%K AI14
 
%A Gerard Medioni
%A Yoshio Yasumoto
%T Corner Detection and Curve Representation Using Cubic B-Splines
%J MAG150
%P 267-278
%K AI06
 
%A R. S. Acharya
%A P. B. Heffernan
%A R. A. Robb
%A H. Wechsler
%T High Speed 3D Imaging of the Beating Heart Using Temporal Estimation
%J MAG150
%P 279-290
%K AI06 AA01
 
%A Glenn L. Cash
%A Mehdi Hatamian
%T Optical Character Recognition by the Method of Moments
%J MAG150
%P 291-310
%K AI06
 
%A Andrew B. Watson
%T The Cortex Transform: Rapid Computation of Simulated Neural Images
%J MAG150
%P 311-327
%K AI06 AI08
 
%A Ken-ichi Kanatani
%T Camera Rotation Invariance of Image Characteristics
%J MAG150
%P 328-354
%K AI06
 
%A Steven M. Pizer
%A E. Philip Amburn
%A John D. Austin
%A Robert Cromarti
%A Ari Geselowitz
%A Trey Greer
%A Bart ter Haar Romeny
%A John B. Zimmerman
%A Karel Zuiderveld
%T Adaptive Histogram Equalization and Its Variations
%J MAG150
%P 355-368
%K AI06
 
%A J. Michel Fitzpatrick
%A Michael R. Leuze
%T A Class of One-to-One Two-Dimensional Transformations
%J MAG150
%P 369-382
%K AI06
 
%A Hemraj Nair
%T Reconstruction of Planar Boundaries from Incomplete Information
%J MAG150
%P 383
%K AI06
 
%A D. L. Sanford
%A J. W. Roach
%T Representing and Using Metacommunication to Control Speakers Relationships
in Natural Language Dialog
%J MAG151
%P 301-320
%K AI02
 
%A W. Siler
%A D. tucker
%A J. Buckley
%T A Parallel Rule Firing Fuzzy Production System with Resolution of Memory
Conflicts by Weak Fuzzy Monotonicity, Applied to the Classification of
Multiple Objects Characterized by Multiple Uncertain Features
%J MAG151
%P 321-332
%K O04  AI01 H03
 
%A G. S. Pospelov
%T Expert Systems. Experience with Dynamic Description
%J Soviet Journal of Computer and Systems Sciences
%V 25
%N 1
%D JAN-FEB 1987
%P 80-84
%K AI01
 
%A Johnson Aimie Edosomwan
%T Artificial Intelligence, Part 7: Ten Design Rules for Knowledge
Based Expert Systems
%J Industrial Engineering
%V 19
%N 8
%D AUG 1987
%P 78-80
%K AI01
 
%A H. Samet
%A C. A. Shaffer
%A R. C. Nelson
%A Y. G. Huang
%A A. Rosenfeld
%T Recent Developments in Linear Quadtree-Based Geographic Information Systems
%J MAG152
%P 187-198
%K AI06 AI16
 
%A E. R. Davies
%T Design of Optimal Gaussian Operators in Small Neighborhoods
%J MAG152
%P 199-205
%K AI06
 
%A S. K. Morton
%A S. J. Popham
%T Algorithm Design Specification for Interpreting Segmented
Image Data Using Schemas and Support Logic
%J MAG152
%P 206-216
%K AI06
 
%A I. Overington
%A P. Greenway
%T Practical First-Difference Edge Detection with Subpixel Accuracy
%J MAG152
%P 217-224
%K AI06
 
%A E. W. Elcock
%A I. Gargantini
%A T. R. Walsh
%T Triangular Decomposition
%J MAG152
%P 225-232
%K AI06
 
%A M. J. L. Orr
%A R. B. Fisher
%T Geometric Reasoning for Computer Vision
%J MAG152
%P 233
%K AI06
 
%A Y. B. Mityushin
%A A. E. Petrov
%A P. K. Fadeev
%T Measure of Semantic Information in Documents and Databases
of Automated Information Systems
%J Nauchno-Tekhnicheskaya Informatsiya.  Seirya II - Informatsionnye
Protessy I Systemy
%P 1-4
%N 6
%D 1987
%K AA14
 
%A G. G. Gyulnazaryn
%T Development of Vocal Input Subsystems in Automated Information Systems
%J Nauchno-Tekhnicheskaya Informatsiya.  Seirya II - Informatsionnye
Protessy I Systemy
%P 14-16
%N 6
%D 1987
%K AI05 AA14
 
%A S. V. Kazmenko
%T Use of Standard Language in Conversatin with Computers - Pessimistic
Point of View
%J Nauchno-Tekhnicheskaya Informatsiya.  Seirya II - Informatsionnye
Protessy I Systemy
%P 32
%N 6
%D 1987
%K AI02
 
%A A. A. Grandhee
%A R. A. Moczadlo
%T Expert System and Symbolic Processing for Automation
%J  MAG153
%P 6-10
%K AA05 AI01
 
%A D. S. Watts
%A H. K. Eldin
%T The Role of the Industrial Engineer in Developing Expert Systems
%J MAG153
%P 15-20
%K AI01 AA05
 
%A D. J. Sumanth
%A M. Dedeoglu
%T Application of Expert Systems to Productivity Measurement in Companies
Organization
%J MAG153
%P 21-25
%K AI01 AA05
 
%A F. M. Lesusky
%A Rhudy, R. L.
%W Wiginton, J. C.
%T The Development of a Knowledge-Based System for Information Systems
Project Development
%J MAG153
%P 29-33
%K AA08
 
%A T. C. Chang
%A J. Terwilliger
%T PWA Planner - A Rule Based System for Printed Wiring Assemblies
Process Planning
%J MAG153
%P 34-38
 
%A J. Jiang
%A R. R. Doraiswami
%T A Novel Structure of Real-Time Expert Control System for Process
Industry
%J MAG153
%P 39-43
%K AA20 O03
 
%A G. Chen
%A M. H. Williams
%T Executing Pascal Programs on a Prolog Architecture
%J Information and Software Technology
%V 29
%N 6
%D JUL-AUG 1987
%P 285-290
%K T02
 
%A Georgios I. Doukidis
%T An Anthology on the Homology of Simulation with Artificial Intelligence
%J Journal of the Operational Research Society
%V 38
%N 8
%D AUG 1987
%P 701-712
%K AA28
 
%A Robert M. O'Keefe
%A John W. Roach
%T Artificial Intelligence Approaches to Simulation
%J Journal of the Operational Research Society
%V 38
%N 8
%D AUG 1987
%P 713-722
%K AA28
 
%A A. M. Flitman
%A R. D. Hurrion
%T Linking Discrete-Event Simulation Models to Expert Systems
%J Journal of the Operational Research Society
%V 38
%N 8
%D AUG 1987
%P 701-712
%K AA28 AI01
 
%A G. K. Kozhevnikov
%T Topological Design of Distributed Control Systems Using the Prolog
Programming Language
%J Avtomatika I. Vychislitelnaya Tekhnika
%N 3
%D MAY-JUN 1987
%P 3-5
%K H03 AA20 T02
 
%A A. F. Rocha
%T Editorial: The Fuzziness of Language and Cerebral Processings
%J MAG154
%P 301-302
%K AT22 AI08 O04
 
%A G. Burstein
%A M. D. Nicu
%A C. Balaceanu
%T Simplicial Differential Geometric Theory for Language Cortical Dynamics
%J MAG154
%P 303-314
%K O04 AI08 AA10
 
%A J. Mira
%A A. E. Delgado
%A R. Moreno-Diaz
%T The Fuzzy Paradigm for Knowledge Representation in Cerebral Dynamics
%J MAG154
%P 315-330
%K AA10 AI16 O04
 
%A M. Theoto
%A M. R. Santos
%A N. Uchiyama
%T The Fuzzy Decodings of Educative Texts
%J MAG154
%P 331-346
%K AI02 O04 AA07
 
%A G. Greco
%A A. F. Rocha
%T The Fuzzy Logic of Text Understanding
%J MAG154
%P 347-360
%K AI02 O04
 
%A L. Lesmo
%A P. Torasso
%T Prototypical Knowledge for Interpreting Fuzzy Concepts and Quantifiers
%J MAG154
%P 361-370
%K O04 AI16
 
%A F. Casacuberta
%A E. Vidal
%A J. M. Benedi
%T Interpretation of Fuzzy Data by Means of Fuzzy Rules with Applications to
Speech Recognition
%J MAG154
%P 371-380
%K AI05 O04
 
%A A. A. Mitchell
%T The Use of Alternative Knowledge-Acquisition Procedures in the Development
of a Knowledge-Based Media Planning System
%J MAG155
%P 399-412
%K AI01
 
%A M. J. Pazzani
%T Explanation-Based Learning for Knowledge-Based Systems
%J MAG155
%P 413-434
%K AI01 AI04
 
%A A. Rappaport
%T Multiple-Problem Subspaces in the Knowledge-Design Process
%J MAG155
%P 435-452
%K AI16
 
%A B. R. Gaines
%T An Overview of Knowledge-Acquisition and Transfer
%J MAG155
%P 453-472
%K AI16
 
%A J. H. Alexander
%A M. J. Freiling
%A S. J. Shulman
%A S. Rehfuss
%A S. L. Messick
%T Ontological Analysis - An Ongoing Experiment
%J MAG155
%P 473-486
%K AI16
 
%A S. A. Hayward
%A B. J. Wielinga
%A J. A. Breuker
%T Structured Analysis of Knowledge
%J MAG155
%P 487-498
%K AI16
 
%A W. Buntine
%T Induction of Horn Clauses - Methods and the Plausible Generation Algorithm
%J MAG155
%P 499-520
%K AI10 AI04
 
%A C. Gargjanardan
%A G. Salvendy
%T A Conceptual Framework for Knowledge Elicitation
%J MAG155
%P 521-532
%K AI16
 
%A N. M. Cooke
%A J. E. MacDonald
%T The Application of Psychological Scaling Techniques to Knowledge Elicitation
for Knowledge-Based Systems
%J MAG155
%P 533
%K AI16
 
%A Takashi Toriu
%A Hiromichi Iwase
%A Masumi Yoshida
%T An Expert System for Image Processing
%J Fujitsu Scientific and Technical Journal
%V 23
%N 2
%D SUMMER 1987
%P 111-118
%K AI01 AI06
 
%A J. G. Llaurado
%T Computerized Speech-Recognition and Conversation
%J International Journal of Bio-Medical Computing
%V 21
%N 2
%D SEP 1987
%P 77-82
%K AI05 AT22
%X (Commentary)
 
%A W. S. Lim
%A S. Vajpayee
%T Development of a Vision-Based Inspection System on a Micro-computer
%J Computers and Industrial Engineering
%V 12
%N 4
%D 1987
%P 315
%K AI06 H01
 
%A S. M. Alexander
%T The Application of Expert Systems to Manufacturing Processing Control
%J Computers and Industrial Engineering
%V 12
%N 4
%D 1987
%P 307-314
%K AI01 AA26 AA20
 
%A Michael P. Georgeff
%T Planning
%B Annual Review of Computer Science
%V 2
%D NOV 1987
%E Joseph F. Traub
%I Annual Reviews, Inc.
%K AT08 AI09
%X ISBN 0-8243-3202-4
 
%A Charles Thorp
%A Martial Hebert
%A Takeo Kanade
%A Steven Shafer
%T Vision and Navigation for the Carnegie-Mellon Navlab
%B Annual Review of Computer Science
%V 2
%D NOV 1987
%E Joseph F. Traub
%I Annual Reviews, Inc.
%K AI06 AT08 AI07
%X ISBN 0-8243-3202-4
 
%A Steven W. Zucker
%T The Emerging Paradigm of Computational Vision
%B Annual Review of Computer Science
%V 2
%D NOV 1987
%E Joseph F. Traub
%I Annual Reviews, Inc.
%K AT08 AI06
%X ISBN 0-8243-3202-4
 
%A Judea Pearl
%A Richard Korf
%T Search Techniques
%B Annual Review of Computer Science
%V 2
%D NOV 1987
%E Joseph F. Traub
%I Annual Reviews, Inc.
%K AI03 AT08
%X ISBN 0-8243-3202-4
 
%A Raymond Reiter
%T Nonmonotonic Reasoning
%B Annual Review of Computer Science
%V 2
%D NOV 1987
%E Joseph F. Traub
%I Annual Reviews, Inc.
%K AI15 AT08
%X ISBN 0-8243-3202-4
 
%A Scott E. Fahlman
%T Common Lisp
%B Annual Review of Computer Science
%V 2
%D NOV 1987
%E Joseph F. Traub
%I Annual Reviews, Inc.
%K AT08 T01
%X ISBN 0-8243-3202-4
 
%A Kathleen McKeown
%A William Swartout
%T Language Generation and Explanation
%B Annual Review of Computer Science
%V 2
%D NOV 1987
%E Joseph F. Traub
%I Annual Reviews, Inc.
%K AI01 AT08
%X ISBN 0-8243-3202-4
 
%A Joseph Halpern
%T Using Reasoning about Knowledge to Analyze Distributed Systems
%B Annual Review of Computer Science
%V 2
%D NOV 1987
%E Joseph F. Traub
%I Annual Reviews, Inc.
%K H03 AT08
%X ISBN 0-8243-3202-4
 
%A Drew McDermott
%T Logic, Problem Solving, and Deduction
%B Annual Review of Computer Science
%V 2
%D NOV 1987
%E Joseph F. Traub
%I Annual Reviews, Inc.
%K AI16 AT08
%X ISBN 0-8243-3202-4
 
%A David R. Barstow
%T Knowledge-Based Software Tools
%B Annual Review of Computer Science
%V 2
%D NOV 1987
%E Joseph F. Traub
%K AA08 AT08
%I Annual Reviews, Inc.
%X ISBN 0-8243-3202-4
 
 
 
%A S. L. Hardt
%A D. H. MacFadden
%T Computer Assisted Psychiatric Diagnosis: Experiments in Software Design
%J Computers in Biology and Medicine
%V 17
%N 4
%D 1987
%P 229-238
%K  AA11 AA01 AI01
 
 
%A F. Wiener
%A M. Gabbai
%A M. Jaffe
%T Computerized Classification of Congenital Malformations using a Modified
Bayesian Approach
%J Computers in Biology and Medicine
%V 17
%N 4
%D 1987
%P 259-268
%K AA01 AI01
 
%A W. M. Dong
%A F. S. Wong
%T Propagation of Evidence in Rules Based Ssytems
%J International Journal of Man-Machine Studies
%V 26
%N 5
%D MAY 1987
%P 551-566
%K O04 AI01
 
%A J. A. Landau
%A K. H. Norwich
%A S. J. Evans
%A B. Pich
%T An Error Correcting Protocol for Medical Expert Systems
%J International Journal of Man-Machine Studies
%V 26
%N 5
%D MAY 1987
%P 617-626
 
%A B. J. Cragun
%A H. J. Steudel
%T A Decision-Table-Used Processor for Checking Completeness and Consistency
in Rule Based Systems
%J International Journal of Man-Machine Studies
%V 26
%N 5
%D MAY 1987
%P 633
 
%A Michael Potmesil
%T Generating Octree Models of 3D Objects from Their Silhouettes
in a Sequence of Images
%J  MAG156
%P 1-29
%K AI06
 
%A Roland T. Chin
%A Hong-Khoon Wan
%A D. L. Stover
%A R. D. Iverson
%T A One-Pass Thinning Algorithm and Its Parallel Implementation
%J MAG156
%P 30-40
%K AI06 H03
 
%A Hiromitsu Yamada
%A Tony Kasvand
%T Transparent Object Extraction from Regular Textured Backgrounds by Using
Binary Parallel Operations
%J MAG156
%P 41-53
%K H03 AI06
 
%A Haluk Derin
%A Chee-Sun Won
%T A Parallel Image Segmentation Algorithm Using Relaxation with Varying
Neighborhoods and Its Mapping to Array Processors
%J MAG156
%P 54-78
%K H03 AI06
 
%A Vishvjit S. Nalwa
%A Eric Pauchon
%T Edgel-Aggregation and Edge Description
%J MAG156
%P 79-94
%K AI06
 
%A  Abdol-Reza Mansouri
%A Alfred S. Malowany
%A Martin D. Levine
%T Line Detection in Digital Pictures: A Hypothesis Prediction/Verification
Paradigm
%J MAG156
%P 95-114
%K AI06
 
%A H. Bieri
%T Computing the Euler Characteristic and Related Additive Functionals of
Digital Objects from Their Bintree Representation
%J MAG156
%P 115
%K AI06
 
%A W. K. Pratt
%A P. F. Leonard
%T Review of Machine Vision Architectures
%B BOOK85
%P 2-12
%K AI06 AT08
 
%A R. Q. Fox
%T A Comparison of the Wire Frame and Mathematical Morphology
Approaches to Machine Vision
%B BOOK85
%P 13-22
%K AI06
 
%A W. M. Silver
%T Normalized Correlation Search in Alignment, Gauging, and Inspection
%B BOOK85
%P 23-34
%K AI06 AA26
 
%A T. Poggio
%T Computer Vision
%B BOOK85
%P 54-62
%K AI06
 
%A R. M. Haralick
%T Recognition Methodology - Algorithms and Architecture
%B BOOK85
%P 63-65
%K AI06
 
%A A. Rosenfeld
%T Parallel Algorithms for Real-Time Vision
%B BOOK85
%P 66-70
%K H03 O06 O03 AI06
 
%A T. N. Nudge
%T An Analysis of Hypercube Architectures for Image Pattern Recognition
Algorithms
%B BOOK85
%P 71-83
%K AI06 H03
 
%A D. Casasent
%T Optical Pattern Recognition and AI Algorithms and Architectures for ATR and
Computer Vision
%B BOOK85
%P 84-95
%K AI06
 
%A B. R. Hunt
%T Prospects for Self-Organizing Pattern Recognition via Adaptive
Network Systems
%B BOOK85
%P 96-98
%K AI06 AI12
 
%A C. W. R. Swonger
%T Tools for Productive Development of Image Analysis Algorithms
%B BOOK85
%P 99-113
%K AI06
 
%A K. R. Castleman
%A D. Fabian
%T User Interface Design for a General Purpose Pattern Recognition Package
%B BOOK85
%P 114-125
%K O01 AI06
 
%A J. Sklansky
%A K. H. K. Kim
%T Real Time Scene Understanding and Vision Automation - A Brief Overview
%B BOOK85
%P 126-131
%K AT08 O03  AI06
 
%A A. F. Lehar
%A R. Gonsalves
%A J. Weaver
%A L. Turnbaugh
%T Pattern Recognition Techniques for Finding the Address on Letters
and Parcels
%B BOOK85
%P 132-140
%K AI06
 
%A P. S. P. Wang
%T A More Natural Approach for Recognition of Line-Drawing Patterns
%B BOOK85
%P 141
%K AI06
 
%A T. D. Watts
%T Some Historical Currents Concerning the Societal Learning Approach
to Policy and Planning
%J Cybernetica
%V 30
%N 2
%D 1987
%P 43-58
%K AA11 O05 AI04
 
%A A. V. Reader
%T The Memory Channel Machine - Part of a Proposed Learning Machine
%J Cybernetica
%V 30
%N 2
%D 1987
%P 25-42
%K AI04
 
%A E. M. Oblow
%T A Probabilisitic-Propositional Framework for the O-Theory Intersection
Rule
%J MAG157
%P 187-202
%K O04
 
%A Ronald R. Yager
%T Toward a Theory of Conjunctive Variables
%J MAG157
%P 203-228
%K O04
 
%A Thomas B. Fowler
%T A Numerical Method for Propagation of Uncertainty in Nonlinear Systems
%J MAG157
%P 265
%K O04
 
 
%A Jonathan Vaughan
%A Graham Brookes
%A David Chalmers
%A Martin Watts
%T Transputer Applications to Speech Recognition
%J Microprocessors and Microsystems
%V 11
%N 7
%D SEP 1987
%K H01 AI05
%P 377-382
 
%A Shi-Kuo Chang
%A L. Leung
%T A Knowledge-Based Message-Management System
%J ACM TOIS
%V 5
%N 3
%D JUL 1987
%P 213-236