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