[mod.ai] Bibliography #4

E1AR0002@SMUVM1.BITNET (06/10/86)

%A V. M. Kushkov
%T Improving the Reliability of Flexible Manufacturing Systems
%J MAG19
%K AA26

%A V. N. Abrarov
%T Investigation of the Limiting Characteristics of Electrostatic
Gripping Devices in Robot Technology
%J MAG19
%K AI07

%A D. R. Kritskii
%A V. Ya Naimanov
%T A Simulation Model for Assessing the Positioning Time of a Robot
%J MAG19
%K AI07
%P 45-49

%A V. G. Ostapchuk
%T The Use of Image Recognition Systems for Automatic Workpiece Gauging
%J MAG19
%K AI07
%P 40-41

%A Kit Grindley
%T Applying Expert Principles to Computer Systems Development
%J MAG20
%K AI01 AA08
%P 10-14

%A Russell Jones
%T European Expert Systems Projects for Systems Developers
%J MAG20
%K AA08 AI01 GA03
%P 15-17

%A Sol J. Greenspan
%A Alexander Borgida
%A John Mylopoulos
%T A Requirements Modeling Language and its Logic
%J MAG21
%P 9-24

%A Jose Fiadeiro
%A Amilcar Sernadas
%T The INFOLOG Linear Tense Propositional Logic of Events and
Transactions
%J MAG21
%P 61-86

%A S. E. Fahlman
%T Parallel Processing in Artificial Intelligence
%J Parallel Computing
%V 2
%N 3
%D DEC 1985
%P 283-286
%K H03

%A F. Neilson
%T Abstract Interpretation of Denotational Definitions (A Survey)
%B BOOK29
%P 1-20
%K AA08

%A E. A. Emerson
%A C. L. Lei
%T Temporal Reasoning Under Generalized Fairness Constraints (Extended
Abstract)
%B BOOK29
%K AA08
%P 21-36

%A M. A. N. Abdallah
%T Ions and Local Definitions in Logic Programming
%B BOOK29
%P 73-86
%K AI10

%A Adrian Walker
%T Knowledge Systems: Principle and Practice
%B  MAG22
%P 2-13
%K AT08

%A R. L. Ennis
%A J. H. Griesmer
%A S. J. Hong
%A M. Karnaugh
%A J. K. Kastner
%A D. A. Klein
%A K. R. Milliken
%A M. I. Schor
%A H. M. Van Woerkom
%T A Continuous Real-Time Expert System for Computer Operations
%J MAG22
%P 14-28
%K AA08 O03

%A P. Hirsch
%A W. Katake
%A M. Meier
%A S. Snyder
%A R. Stillman
%T Interfaces for Knowledge-Base Builders' Control Knowledge
and Application-Specific Procedure
%J MAG22
%P 29-38

%A Franz Guenthner
%A Hubert Lehmann
%A Wolfgang Schonfel
%T A Theory for the Representation of Knowledge
%J MAG22
%P 39-56

%A John F. Sowa
%A Eileen C. Way
%T Implementing a Semantic Interpreter Using Conceptual Graphs
%J MAG22
%P 57-69

%A Jean Fargues
%A Marie-Claude Landau
%A Anne Dugourd
%A Laurent Catach
%T Conceptual Graphs for Semantics and Knowledge Processing
%J MAG22
%P 70-79

%A Ghica van Emde Boas
%A Peter van Emde Boas
%T Storing and Evaluating Horn-Caluse Rules in a Relational
Database
%J MAG22
%P 80-92
%K AA09 AI10

%A William F. Eddy
%A Gabriel P. Pei
%T Structures of Rule-Based Belief Functions
%J MAG22
%P 93-101
%K AI01

%A H. Diel
%A N. Lenz
%A H. M. Welsch
%T An Experimental Computer Architecture Supporting Expert
Systems and Logic Programming
%J MAG22
%P 102
%K AI01 AI10

%A T. Williams
%T Image Processors Allow Hardware Reconfiguration to Match
Applications
%B MAG23
%P 46-54
%K AI06

%A W. E. Suydam
%T AI Becomes the Soul of the New Machines
%J MAG23
%P 55-62

%A D. A. Gewirtz
%T Artificial Intelligence As a System Component
%J MAG23
%P 63-64

%A A. D. Jacobson
%T The Challenges Facing Expert Systems Technology
%J MAG23
%P 65-67

%A R. Moore
%T AI Must Cater to Nonexperts
%J MAG23
%P 68-76
%K O01

%A P. Haley
%A C. Williams
%T Expert System Development Requires Knowledge Engineering
%J MAG23
%P 83-90
%K AI01

%A R. D. Schraft
%A J. Schuler
%T Robot Applications in FMS
%B Flexible Manufacturing Systems: International Trends
in Manufacturing Technology
%E H. J. Warnecke
%E R. Steinhilper
%I Springer Verlag
%K AA26 AI07
%X $54.00 ISBN 0-903608-95-2




%A B. Buchberger
%T Basic Features and Development of the Critical Pair Completion Procedure
%B BOOK30
%K AI14
%P 1-45

%A H. T. Zhang
%A J. L. Remy
%T Contextual Rewriting
%B BOOK30
%K AI14
%P 46-62

%A R. V. Book
%T Thue Systems as Rewriting Systems
%B BOOK30
%K AI14
%P 63-94

%A F. Otto
%T Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser
Thue Systems
%B BOOK30
%K AI14
%P 95-106

%A S. S. Cosmadakis
%A P. C. Kanellakis
%T 2 Applications of Equational Theories to Database Theory
%B BOOK30
%K AI14 AA09 AI11
%P 107-123

%A N. D. Jones
%A P. Sestoft
%A H. Sondergaard
%T An Experiment in Partial Evaluation - The Generation of a Compiler Generator
%B BOOK30
%K AA08
%P 124-140

%A P. Rety
%A C. Kirchner
%A H. Kirchner
%A P. Lescanne
%T Narrower- A New Algorithm for Unification and its Application to Logic
Programming
%B BOOK30
%K AI10
%P 141-157

%A H. Aitkaci
%T Solving Type Equations by Graph Rewriting
%B BOOK30
%K AI14 AA08
%P 158-179

%A N. Dershowitz
%T Termination
%B BOOK30
%K AI14
%P 180-224

%A M. Rusinowitch
%T Path of Subterms Ordering and Recursive Decomposition Ordering
Revisited
%B BOOK30
%K AI14
%P 225-240

%A L. Bachmair
%A D. A. Plaisted
%T Associative Path Orderings
%B BOOK30
%K AI14
%P 241-254

%A D. Detlefs
%A R. Forgaard
%T A Procedure for Automatically Proving the Termination of a Set of Rewrite
Rules
%B BOOK30
%K AI14 AI11
%P 255-270

%A C. Choppy
%A C. Johnen
%T Petrireve
Proving Petri Net Properties with Rewriting Systems
%B BOOK30
%K AI14 AI11 AA08
%P 271-286

%A S. Porat
%A N. Francez
%T Fairness in Term Rewriting Systems
%B BOOK30
%K AI14
%P 287-300

%A J. Hsiang
%T Two Results in Term Rewriting Theorem Proving
%B BOOK30
%K AI14 AI11
%P 301-324

%A L. Fribourg
%T Handling Function Definitions Through Innermost Superposition and
Rewriting
%B BOOK30
%K AI14 AI11 AA08
%P 325-344

%A A. Kandrirody
%A D. Kapur
%A P. Narendran
%T An Ideal-Theoretic Approach to Word Problems and Unification Problems over
Finitely Presented Commutative Algebras
%B BOOK30
%K AI14 AI11
%P 345-364

%A K. Yelick
%T Combining Unification Algorithms for Confined Regular Equational Theories
%B BOOK30
%K AI14 AI11
%P 365-380

%A A. Fortenbacher
%T An Algebraic Approach to Unification Under Associativity and Commutativity
%B BOOK30
%K AI14 AI11
%P 381-397

%A S. Arnborg
%A E. Tiden
%T Unification Problems with One-Sided Distributivity
%B BOOK30
%K AI14 AI11
%P 398-406

%A P. W. Purdom
%A C. A. Brown
%T Fast Many-to-One Matching Algorithms
%B BOOK30
%K AI14 AI11
%P 407-416

%A D. Benanav
%A D. Kapur
%A P. Narendran
%T Complexity of Matching problems
%B BOOK30
%K AI14 AI11
%P 417-429

%A M. Zaionc
%T The Set of Unifiers in Typed Lambda-Calculus as Regular Expression
%B BOOK30
%K AI14 AI11 AA08
%P 430

%A Mohan M. Trivedi
%A John Gilmore
%T Guest Editorial: Applications of AI
%J MAG24
%P 331-332
%K AI16

%A David M. McKeown
%A Clifford A. McVay
%A Bruce D. Lucas
%T Stereo Verification in Aerial Image Analysis
%J MAG24
%P 333-346
%K AI06

%A W. A. Perkins
%A T. J. Laffey
%A T. A. Nguyen
%T Rule-based Interpreting of Aerial Photographs Using the Lockheed
Expert System
%J MAG24
%P 356-362
%K AI01 AI06 AA18 T03

%A Leonard P. Wesley
%T Evidential Knowledge-Based Computer Vision
%J MAG24
%P 363-379
%K AI06

%A Amar Mitiche
%A J. K. Aggarwal
%T Multiple Sensor Intergration/Fusion Through Image
Processing: a Review
%J MAG24
%P 380-386
%K AI06 AT08

%A S. M. Haynes
%A Ramesh Jain
%T Event Detection and Correspondence
%J MAG24
%P 387-393
%K AI06

%A Robert N. Nelson
%A Tzay Y. Young
%T Determining Three-Dimensional Object Shape and Orientation from
a Single Perspective View
%J MAG24
%P 394-401
%K AI06

%A Arthur V. Forman
%A J. Ronald Clark
%T Robot Vision System for Depalletizing Steel Cylindrical Billets
%J MAG24
%P 402-408
%K AI06 AI07 AA26

%A Larry S. Davis
%A Todd R. Kushner
%A Jacqueline J. Le Moigne
%A Allaen M. Waxman
%T Road Boundary Detection for Autonomous Vehicle Navigation
%J MAG24
%P 409-414
%K AA19 AI06 AI07

%A John F. Gilmore
%A Antonio C. Semico
%T Knowledge-Based Approach Toward Developing an Autonomous
Helicopter System
%J MAG24
%P 415-427
%K AA19

%A Julius T. Tou
%T Software Architecture of Machine Vision for Roving Robots
%J MAG24
%P 428-435
%K AI06 AI07

%A George R. Cross
%T Tools for Constructing Knowledge-Based Systems
%J MAG24
%P 436-444

%A Viswanath Subramanian
%A Gautam Biswas
%A James C. Bezdek
%T Document Retrieval Using a Fuzzy Knowledge Based System
%J MAG24
%P 445-455
%K AA14 O04

%A S. L. Hardt
%A J. Rosenberg
%T Developing an Expert Ship Message Interpreter: Theoretical and
Practical Conclusions
%J MAG24
%P 456-464
%K AI01

%A S. W. Thomas
%A R. L. Griffith
%A W. R. McDonald
%T Improvements in Avalanche-Transistor Sweep Circuitry for Electro-Optic
Streak Cameras
%J MAG24
%P 465-470
%K AI06

%A R. W. Austin
%T Spectral Dependence of the Diffuse Attenuation Coefficient of Light in
Ocean Waters
%J MAG24
%P 471-479
%K AI06

%A R. L. Cohoon
%A C. S. Wright
%A W. J. Wiley
%A Peter S. Guilfoyle
%A E. L. Ligeti
%T Acousto-Optic Convolver for Digital Pulses
%J MAG24
%P 480-489
%K AI06

%A O. Kafri
%A B. Ashkenazi
%T Line Thinning Algorithm for Nearly Straight Moire Fringes
%J MAG24
%P 495-498
%K AI06

%A John A. Saghri
%A Hsieh S. Hou
%A Andrew G. Tescher
%T Personal Computer Based Image Processing with Halftoning
%J MAG24
%P 499-504
%K AI06 H01

%A N. S. Kopeika
%A A. N. Sidman
%A Its'hak Dinstein
%A C. Tarnasha
%A R. Amir
%A Y. Biton
%T How Weather Affects Seeing Through the Atmosphere
%J MAG24
%P 505
%K AI06

%A Quan Quan Gao
%T Prolog-F System
%J Chinese Journal of Computing
%V 8
%D 1985
%N 2
%P 152-155
%K T02
%X (in chinese)

%A V. N. Vapnik
%A T. G. Glazkova
%A V. A. Koscheev
%A A. I. Mikhal'skii
%A A. Ya Chervonenkis
%T Algorithms and Programs for Reconstructing Dependencies
%J Nauka
%D 1984
%X (in Russian)

%A Bernd Kramer
%T Stepwise construction of Nonsequential Software Systems
Using a Net-Based Specification Language
%B Advances in Petri Nets
%V 188
%S Lecture Notes in Computer Science
%I Springer-Verlag
%C Berlin-Heidelberg-New York
%D 1985
%P 307-330
%K AA08

%A U. W. Lipeck
%T Specifying Admissibility of Dynamic Database
Behavior Using Temporal Logic
%B Information Systems: Theoretical and Formal Aspects
%P 145-157
%D 1985
%I North-Holland
%C Amsterdam-New York
%K AA08 AI10

%A Udo Pletat
%T A Graph Theoretic Semantics for Semantic Data Models
%B Information Systems: Theoretical and Formal Aspects
%P 95-108
%D 1985
%I North-Holland
%C Amsterdam-New York
%K AI16

%A L. I. Rozonoer
%T Supplement to the Paper: "Proving Contradictions in Formal Theories. I"
%J Avtomat. i Telemekh.
%D 1985
%N 4
%P 172
%K AI11
%X (in Russian)

%A L. I. Rozonoer
%T Proving Contradictions in Formal Theories
%J Automat. Remote Control
%V 44
%D 1983
%N 6
%P 781-790
%K AI11

%A V. A. Antonyuk
%A N. V. Bulygina
%A P. Yu Pyt'ev
%T Methods of Morphological Analysis in a Problem of Distinguishing
Objects
%B BOOK31
%P 83-91
%K AI06
%X (in Russian)

%A V. A. Bazhanov
%T Godel's Theorem and the Problem of the Relation Between Natural
and Artificial Intelligence
%B BOOK32
%P 49-59
%K AI16
%X (In Russian)

%A Henryk Biesiada
%T Modification of Methods for Computing the Growth Function of a
Developmental System in the Case of a Complex Start Chain
%J Podstawy Sterowania
%V 15
%D 1985
%N 1-2
%P 113-135

%A Agneta Eriksson
%A Anna Lena Johansson
%T Computer Based Synthesis of Logic Programs
%B BOOK33
%P 105-115
%K AA08 AI10 O02

%A T. I. Ibragimov
%T Cybernetics and Natural Languages
%B BOOK32
%P 59-73
%K AI02
%X (in russian)

%A I. M. Israilov
%T Formulas for Calculating Estimates in Algorithms with
Complex Systems of Support Sets
%J Zh. Vyschisl. Mat. i. Mat. Fiz
%V 25
%D 1985
%N 8
%P 1268-1272
%K AI16
%X (in Russian)

%A D. I. Panyushev
%A D. K. Tkhabisimov
%A D. A. Usikov
%A N. G. Chebotarev
%T Mathematical Bases for the Construction of Systems
of Invariant Criteria in a Pattern Recognition Problem
%B BOOK31
%P 11-23
%K AI06
%X (in Russian)

%A Marco Belia
%A Pierpaolo Degano
%A Giorgio Levi
%A Enrico Dameri
%A Maurizio Martelli
%T Applicative Communicating Processes in First Order Logic
%B BOOK33
%P 1-14
%K AA08 AI11

%A Ernesto J. F. Costo
%T Automatic Program Transformation Viewed as Theorem Proving
%B BOOK33
%P 37-46
%K AA08 AI11

%A Yu. P. Pyt'ev
%T Problems of Morphological Analysis of Images
%B BOOK31
%P 41-83
%K AI06

%A E. L. Lawler
%T The Traveling Salesman Problem
%I John Wiley and Sons
%C Somerset, NJ
%K AT15
%X $64.95 1-90413-9 465 pages

%A J. Gold
%T Do-It-Your-Self Expert Systems
%J Computer Decisions
%V 18
%N 2
%D JAN 14, 1986
%K AI01

%A D. Harel
%A R. Sherman
%T Propositional Dynamic Logic of Flowcharts
%J Information and Control
%V 64
%N 1-3
%D JAN-MAR 1985
%P 119-135
%K AA08 AI11

%A Esko Ukkonen
%T Algorithms for Approximate String Matching
%J Information and Control
%V 64
%N 1-3
%D JAN-MAR 1985
%P 100-118

%A E. M. Scharf
%A N. J. Mandic
%T The Application of a Fuzzy Controller to the Control of a
Multi-Degree-of-Freedom Robot Arm
%B BOOK34
%P 41-62
%K AI07 O04

%A O. Yagishita
%A O. Itoh
%A M. Sugeno
%T Application of Fuzzy Reasoning to the Water Purification
Process
%B BOOK34
%P 19-40
%K O04 AA05

%A M. Sugeno
%A K. Murakami
%T An Experimental Study on Fuzzy Parking Control Using
a Model Car
%B BOOK34
%P 125-138
%K O04 AA19

%A K. Matsushima
%A H. Sugiyama
%T Human Operators Fuzzy Model in Man-Machine System with a
Nonlinear Controlled Object
%B BOOK34
%P 175-186
%K O04 AI08

%A H. Zhao
%A M. C. Ma
%T The Application of Fuzzy and Artificial Intelligence Methods
in the Building of a Blast Furnace Smelting Process Model
%B BOOK34
%P 241
%K O04 AA05

%A Immo O. Kerner
%T Logical Programming. History and Present Usage
%J Elektron. Informationsverarb. Kybernet
%J 21
%D 1985
%N 7-8
%P 355-361
%K AI10

%A B. J. Oommen
%A M. A. L. Thathachar
%T Multiaction Learning Automata Possessing Ergodicity  of the Mean
%J Information Science
%V 35
%N 3
%P 183-198
%K AI12 AI04

%A Ewa Orlowska
%T Logic Approach to Information Systems
%J Fund. Inform.
%V 8
%D 1985
%N 3-4
%P 359-378
%K AA08 AI10

%A Wen Jun Wu
%T Some Remarks on Mechanical Theorem-proving in Elementary Geometry
%J Acta Math. Sci (English Ed.)
%V 3
%D 1983
%N 4
%P 357-360
%K AI11 AA13

%A Vladimir Batagelj
%T Notes on the Dynamic Clusters Method
%B IV Conference on Applied Mathematics
%P 139-146
%D 1985
%X Univer. Split, Split 1985

%A Mirko Khvanek
%T A Note on the Computational Complexity of Hierarchical Overlapping
Clustering
%J Apl. Mat.
%V 30
%D 1985
%N 6
%P 453-460

%A E. Yu Kandrashina
%T Means of Representing Temporal Information in Knowledge Bases
%J Engineering Cybernetics
%V 22
%D 1985
%N 6
%P 89-95
%K AI16

%A George J. Klir
%T Architecture of Systems Problem Solving
%I Plenum Press
%C New York-London
%D 1985
%K AT15
%X 540 pages ISBN 0-306-41867-3

%A D. V. Kochetkov
%T Construction of Correct Pattern Recognition Algorithms in Quasicomplete
Models
%J Trudy Inst. Vychisl. Mat. Akad. Nauk Gruzin SSR
%V 25
%D 1985
%N 2
%P 35-44
%K AI06
%X (in Russian)


%A V. E. Vol'fengagen
%A V. Ya Yatsuk
%T Models and Methods for Representing Knowledge Algebra on Knowledge-
Manipulation Frames
%J Engineering Cybernetics
%V 22
%D 1985
%N 6
%P 79-88
%K AI16

%A V. V. Zadorozhnyi
%T Algorithms for Calculating Estimates for Pattern Recognition
%J Kibernetika (Kiev)
%D 1985
%V 1
%P 103-107
%K AI06
%X (in Russian with English Summary)

%A A. N. Chetaev
%T Neural Nets and Markov Chains
%I Nauka
%C Moscow
%D 1985
%K AI12 AT15
%X (in Russian with English Summary)

%A Irwin R. Goodman
%A Hung T. Nguyen
%T Uncertainty Models for Knowledge Based Systems.  A Unified
Approach to the Measurement of Uncertainty
%I North Holland
%C Amsterdam-New York
%D 1985
%K AT15 O01

%A Eugene C. Freuder
%T A Sufficient Condition for Backtrack-Bounded Search
%J JACM
%V 32
%D 1985
%N 4
%P 755-761
%K AI03

%A J. L. Lassez
%A Michael John Maher
%T Optimal Fixed-Points of Logic Programs
%J Theoretical Computer Science
%V 39
%N 1
%D 1985
%P 15-25
%K AI10

%A Rama Chellapa
%A Shankar Chatterjee
%T Classification of Textures using Gaussian Markov Random Fields
%J IEEE Transactions Acoust. Speech Signal Process.
%V 33
%D 1985
%N 4
%P 959-363
%K AI06

%A I. N. Krupka
%A Yu. I. Petunin
%A M. Yu Petunina
%T Determination of the Similarity of Two Graphic Images by Menas of the
Hausdorff Distance
%J Kibernetika (Kiev)
%D 1985
%N 3%V 1
%P 118-120
%K AI06
%X Russian. English Summary

%A V. A. Nepomnyaschii
%T Elimination of Loop Invariants in Program Verification
%J Programmirovanie
%D 1985
%N 3
%P 3-13
%K AA08
%X in Russian

%A Van Nguyen
%A Alan Demers
%A David Gries
%A Susan Owicki
%T Behavior: a Temporal Approach to Process Modeling
%B BOOK35
%P 237-254
%K AA08

%A Van Nguyen
%T The Incompleteness of Misra and Chandy's Proof Systems
%J Information Processing Letters
%V 21
%D 1985
%N 2
%P 93-96
%K AA08

%A Rohit Parikh
%A Ashok Chandra
%A Joe Halpern
%A Albert Meyer
%T Equations Between Regular Terms and an Application
to Process Logic
%J SIAM J. Computers
%V 4
%D 1985
%N 4
%P 935-985
%K AI10

%A Alex Pelin
%T A Formalism for Treating Equivalence of Recursive Procedures
%J RAIRO Inform. Theor.
%V 19
%D 1985
%N 3
%P 293-313
%K AI10

%A Paul Walton Purdom
%A Cynthia A. Brown
%T The Pure Literal Rule and Polynomial Average Time
%J SIAM J. Comput
%V 14
%D 1985
%N 4
%P 943-953
%K AI14

%A I. Sain
%T The Reasoning Powers of Burstall's (Modal Logic) and
Pneueli's (Temporal Logic) Program Verification Methods
%B BOOK35
%P 302-319
%K AA08 AI10 AI11

%A A. E. Serik
%T Some Exact and Approximate Algorithms for Solution of Some
Sequencing Problems with Constraints
%J Kibernetika (Kiev)
%D 1985
%N 3
%P 29-33
%K AI16
%X (Russian with English Summary)

%A Kurt Sieber
%T A Partial Correctness Logic for Procedures
%B BOOK35
%P 320-342
%K AA08

%A A. E. K. Sobel
%A N. Soundararajan
%T A Proof System for Distributed Processes
%B BOOK35
%P 343-358
%K AA08

%A Robert S. Streett
%T Fixpoints and Progam Looping:
Reductions from the Propositional Mu-Calculus into
Propositional Dynamic Logics of Looping
%B BOOK35
%P 359-372
%K AA08 AI11

%A S. F. Shapiro
%T Electronic Assembly Becoming Dependent on Robotic Tools
%J Computer Design
%V 25
%N 3
%D FEB 1, 1986
%K AI07 AA04 AA26

%A Douglas C. Willson
%T Current Research, Applications Foreshadow AI's Future Impact
%J Data Management
%V 24
%N 2
%D FEB 1986
%P 18-19

%A Paul V. Besl
%A Ramesh C. Jain
%T Invariant Surface Characteristics for 3D Object Recognition in Range
Images
%J Computer Vision, Graphics and Image Processing
%V 33
%N 1
%D JAN 1986
%P 33-80
%K AI06

%A Marloes L. P. Van\ Lierop
%T Geometrical Transformations on Pictures Represented by Leaf Codes
%J Computer Vision, Graphics and Image Processing
%V 33
%N 1
%D JAN 1986
%P 81-98
%K AI06


%A Eric P. Krotkov
%T Visual Hyperacuity: representation and Computation of High Precision
Position Information
%J Computer Vision, Graphics and Image Processing
%V 33
%N 1
%D JAN 1986
%K AI06

%A G. Eichmann
%A L. M. Royfman
%T New Algorithm for Transient Suppression for Images Due to Incomplete or
Partial Boundary Data
%J IEE Proceedings G: Electronic Circuits
%V 133
%N 1
%D FEB 1986
%P 27-29
%K AI06

%A L. F. Huggins
%A J. R. Burrettt
%A D. D. Jones
%T Expert Systems - Concepts and Opportunities
%J Agricultural Engineering
%D JAN-FEB 1986
%V 67
%N 1
%P 21-23
%K AA23 AA05 AI01

%A D. A. Lowther
%A C. M. Saldhana
%A G. Choy
%T The Applications of Expert Systems to CAD in Electromagnetics
%J IEEE Transactions on Magnetics
%V 21
%N 6
%D 1985
%P 2559-2563
%K AA04 AI01