Copy Link
Add to Bookmark
Report

AIList Digest Volume 4 Issue 222

eZine's profile picture
Published in 
AIList Digest
 · 11 months ago

AIList Digest            Friday, 17 Oct 1986      Volume 4 : Issue 222 

Today's Topics:
Bibliography - Leff Bibliography Continuation #3

----------------------------------------------------------------------

Date: WED, 20 apr 86 17:02:23 CDT
From: leff%smu@csnet-relay
Subject: Bibliography (continued)

%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

------------------------------

End of AIList Digest
********************

← previous
next →
loading
sending ...
New to Neperos ? Sign Up for free
download Neperos App from Google Play
install Neperos as PWA

Let's discover also

Recent Articles

Recent Comments

guest's profile picture
@guest
12 Nov 2024
It is very remarkable that the period of Atlantis’s destruction, which occurred due to earthquakes and cataclysms, coincides with what is co ...

guest's profile picture
@guest
12 Nov 2024
Plato learned the legend through his older cousin named Critias, who, in turn, had acquired information about the mythical lost continent fr ...

guest's profile picture
@guest
10 Nov 2024
الاسم : جابر حسين الناصح - السن :٤٢سنه - الموقف من التجنيد : ادي الخدمه - خبره عشرين سنه منهم عشر سنوات في كبرى الشركات بالسعوديه وعشر سنوات ...

lostcivilizations's profile picture
Lost Civilizations (@lostcivilizations)
6 Nov 2024
Thank you! I've corrected the date in the article. However, some websites list January 1980 as the date of death.

guest's profile picture
@guest
5 Nov 2024
Crespi died i april 1982, not january 1980.

guest's profile picture
@guest
4 Nov 2024
In 1955, the explorer Thor Heyerdahl managed to erect a Moai in eighteen days, with the help of twelve natives and using only logs and stone ...

guest's profile picture
@guest
4 Nov 2024
For what unknown reason did our distant ancestors dot much of the surface of the then-known lands with those large stones? Why are such cons ...

guest's profile picture
@guest
4 Nov 2024
The real pyramid mania exploded in 1830. A certain John Taylor, who had never visited them but relied on some measurements made by Colonel H ...

guest's profile picture
@guest
4 Nov 2024
Even with all the modern technologies available to us, structures like the Great Pyramid of Cheops could only be built today with immense di ...

lostcivilizations's profile picture
Lost Civilizations (@lostcivilizations)
2 Nov 2024
In Sardinia, there is a legend known as the Legend of Tirrenide. Thousands of years ago, there was a continent called Tirrenide. It was a l ...
Neperos cookies
This website uses cookies to store your preferences and improve the service. Cookies authorization will allow me and / or my partners to process personal data such as browsing behaviour.

By pressing OK you agree to the Terms of Service and acknowledge the Privacy Policy

By pressing REJECT you will be able to continue to use Neperos (like read articles or write comments) but some important cookies will not be set. This may affect certain features and functions of the platform.
OK
REJECT