3. IEA/AIE 1990: Charleston, SC, USA

• Jong H. Park, Stanley Y. W. Su:
  An Integrated Approach to Heterogeneous Expert Systems. 583-592
  
• Rajiv Bhatnagar, Don W. Miller, Brian K. Hajek, B. Chandrasekaran:
  DPRL: A Language for Representation of Operation and Safety Maintenance Procedures of Nuclear Power Plants. 593-600
  
• Andreas Günter, Roman Cunis, Ingo Syska:
  Separating Control from Structural Knowledge in Construction Expert Systems. 601-610
  
• Shigeharu Kito, Tadashi Hattori, Yuichi Murakami:
  A Knowledge Representation for Use of Catalyst Activity Patterns. 611-617
  
• Mauro Cadei, Marco Lazzari, Paolo Salvaneschi:
  Safety Management of Civil Structures Using Knowledge Based Systems. 618-627
  
• C. Bertazzoni, Fosca Giannotti:
  RASP: A Resource Allocator for Software Projects. 628-637
  
• Ron LeMaster:
  ALEX an Expert System for Truck Loading. 638-644
  
• B. Jeyasurya, S. S. Venkata:
  A Knowledge-Based Approach for Power System Dynamic Security Assessment. 645-652
  
• G. L. Lovegrove, G. J. Curtis, R. A. Farrar:
  A PC-Based Expert System in Engineering. 653-659
  
• E. Dennis Huthnance, Dan DiLorenzo:
  Artificial Intelligence in the Treatment of Ventricular Tachycardia. 660-664
  
• Luis Enrique Sucar, Duncan Fyfe Gillies:
  Knowledge-based Assistant for Colonscopy. 665-672
  
• Viviane Jonckers, B. Criel:
  A Management System for a PACS Network in a Hospital Environment. 673-683
  
• Yutaka Miyabe, Osamu Dairiki, Etsuro Minami:
  ESTO: A Practical Environment for Industrial Diagnostics Systems. 684-691
  
• Mehmet H. Göker, Selahattin Kuru:
  The TSE 310 Expert Prototype for the Airbus A310 Commercial Aircraft. 692-696
  
• Narisa N. Y. Chu:
  Knowledge System Applications in Large Business Communication Operations. 697-706
  
• Juan Arellano, Yalu Galicia, Edgar C. Ramirez Dominguez:
  A New Shell for the Development of Alarm Pattern Recognition Expert Systems. 707-715
  
• Nikitas J. Dimopoulos, Ben Huber, Kin F. Li, D. Caughey, Marco A. Escalante, Dongni Li, R. Burnett, Eric G. Manning:
  Modelling Signal Behaviour in DAME. 716-725
  
• Fevzi Belli, Ismael Camara, Alfred Schmidt:
  A Built-in Test Language for PROLOG to Validate Knowledge-Based Systems. 726-734
  
• Xudong Yu, Gautam Biswas:
  CHECKER: An Efficient Algorithm for Knowledge Base Verification. 735-744
  
• Shensheng Zhao, Stewart N. T. Shen:
  The Consistency Problem of Knowledge Bases. 745-750
  
• Graham F. Forsyth, Michael E. Larkin, Glen A. Wallace:
  Verification of Heuristic Diagnostic Knowledge by Comparison with a Causal/Qualitative Model. 751-756
  
• Karl-Heinz Temme, Ingolf Markhof:
  Applications of AI Techniques for Chip-Architecture Planning. 757-759
  
• William A. Smith Jr., John C. Sutton, Jong-Shin Liau:
  A Multiple Perspective Printed Circuit Board Design Guide: Expert System Prototype. 760-765
  
• James M. Vaccaro, Douglas J. Holzhauer:
  Personal Computer (PC) Thermal Analyzer. 766-772
  
• Daniel Ligman:
  DEIMOS: A Functional Paradigm for Mechanical Design. 773-780
  
• M. A. Cassaro, N. N. Athavale, R. K. Ragade, T. E. Fenske:
  A Prototype for KYBAS: The Kentucky Bridge Analysis System. 781-789
  
• Bernd Sutter, Stefan Deßloch, Christoph Hübel, Nelson Mendonça Mattos:
  KBMS Support for Technical Modeling in Engineering Systems. 790-799
  
• M. S. Gandikota, N. Hari Narayanan, J. Maroldt:
  An Integrated Framework for Intelligent Computer Aided Design of Chemical Processes. 800-808
  
• Kevin Ryan, Niamh Harty:
  Supporting Choice and Evaluation in Preliminary Design. 809-818
  
• M. Cartmell, Pat Fothergill, Jörg Forster:
  Design Methodologies in Mechanical Engineering Supported by Artificial Intelligence Techniques. 819-827
  
• Kai-Hsiung Chang, William B. Day:
  Adaptive Multiagent Planning in a Distributed Environment. 828-837
  
• Bernard Faure, Guy Mazaré:
  A VLSI Asynchronous Cellular Architecture for Neural Computing: Functional Definition and Performance Evaluation. 838-847
  
• Jim Butler, Hideomi Ohtsubo:
  A Parallel Logic Programming Approach to Combinatorial Optimization in Design. 848-853
  
• Rose F. Gamble:
  Transforming Rule-Based Programs: From the Sequential to the Parallel. 854-863
  
• D. Sarma, C. P. Wu:
  Pipelined OR-Parallelism Architecture for Parallel Execution of Prolog. 864-873
  
• Christine Bonnet, Helene Taterode, Jacques Kouloumdjian, Mohand-Said Hacid:
  Using Artificial Intelligence Techniques for Intelligent Simulation in Memory Re-education. 874-881
  
• Jane Silber:
  PAL: An Intelligent Help System. 882-889
  
• Janet T. Kerner, Roy S. Freedman:
  Developing Intelligent Tutoring Systems with a Hypermedia Object-Based Intelligent Educator (HOBIE). 890-897
  
• Moon-Chuen Lee:
  An Augmented Prolog Programming Environment for Tutoring Applications. 898-906
  
• V. Masson, Rene Quiniou:
  Application of Artificial Intelligence to Aphasia Treatment. 907-913
  
• Diane J. Cook:
  Application of Parallelized Analogical Planning to Engineering Design. 914-922
  
• Bernard Silver:
  Netman: A Learning Network Traffic Controller. 923-931
  
• Bradley L. Whitehall, Robert E. Stepp, Stephen C. Y. Lu:
  Knowledge-Based Learning Integrating Acquisition and Learning. 932-941
  
• Hua Yang, Douglas H. Fisher, Hubertus Franke:
  Improving Planning Efficient by Conceptual Clustering. 942-948
  
• Jerzy W. Grzymala-Busse, Sachin Mithal:
  A Comparison of Four Tests for Attribute Dependency in the LEM and LERS Systems for Learning from Examples. 949-958
  
• Masayuki Numao, Masamichi Shimura:
  A Knowledge-Level Analysis of Explanation-Based Learning. 959-967
  
• Mohammad Jamil Sawar, Richard C. Thomas:
  Learning Apprentice System for Turbine Modelling. 968-971
  
• J. C. Royer, A. Merle, Christian de Sainte Marie:
  An Application of Machine Learning to the Problem of Parameter Setting in Non-Destructive Testing. 972-980
  
• B. John Oommen, Radhakrishna S. Valiveti, Jack R. Zgierski:
  A Fast Learning Automaton Solution to the Keyboard Optimization Problem. 981-990
  
• William G. Wee, Srinivas Krovvidy:
  A Knowledge Based Planning Approach for Waste Water Treatment System. 991-998
  
• Bradley L. Whitehall, Robert E. Stepp, Stephen C. Y. Lu:
  Equation Generation for Clustering. 999-1004
  
• Lawrence B. Holder:
  Application of Machine Learning to the Maintenance of Knowledge-Based Performance. 1005-1012
  
• Li-Min Fu:
  Recognition of Semantically Incorrect Rules: A Neural-Network Approach. 1013-1018
  
• Vincenzo Piuri:
  Continuous Learning: A Design Methodology for Fault-Tolerant Neural Networks. 1019-1029
  
• Mo-Yuen Chow, Sui Oi Yee:
  Real Time Application of Artificial Neural Network for Incipient Fault Detection of Induction Machines. 1030-1036
  
• P. Patrick van der Smagt:
  A Comparative Study of Neural Network Algorithms Applied to Optical Character Recognition. 1037-1044
  
• Lefteri H. Tsoukalas, J. Reyes-Jimenez:
  A Hybrid Expert System - Neural Networks Methodology for Anticipatory Control in a Process Environment. 1045-1053
  
• Scott M. Huse:
  Optimal Path Analysis Using a Predator-Prey Neural Network Model. 1054-1062
  
• Lorien Y. Pratt, Kathleen D. Cebulka, Peter Clitherow:
  Residual Speech Signal Compression: An Experiment in the Practical Application of Neural Network Technology. 1063-1072
  
• Maria Zamfir Bleyberg, T. Zhou, Thomas L. Isenhour, John C. Marshall:
  The Design and Implementation of an Analytical Chemistry Expert System. 1073-1078
  
• Tarek K. Alameldin, Tarek M. Sobh:
  On the Evaluation of Reachable Workspace for Redundant Manipulators. 1079-1085
  
• B. A. Gardone, R. K. Ragade:
  IREX: An Expert System for the Selection of Industrial Robots and its Implementation in two Environments. 1086-1095
  
• Afke van Rijn:
  A Natural Language Interface for a Flexible Assembly Cell. 1096-1103
  
• Pablo Gonzales:
  Airbotics: A Look into the Future. 1104-1111
  
• Bernard Moulin, Daniel Rousseau:
  Knowledge Acquisition from Prescriptive Texts. 1112-1121
  
• Gerald L. Atkinson:
  Technology Transfer Utilizing Automated Knowledge Acquisition Tools. 1122-1131
  
• Nigel Shadbolt, Robert Stobart:
  Knowledge Acquisition for Knowledge Based Process Control. 1132-1139
  
• Franco Torquati, Massimo Paltrinieri, Alberto Momigliano:
  A Constraint Satisfaction Approach to Operative Management of Aircraft Routing. 1140-1146
  
• Jozsef A. Toth:
  Specification of an Object to Object Protocol in Abstract Syntax Notation One (ASN.1). 1147-1152
  
• Alfred Schmidt, Fevzi Belli:
  An Extension of PROLOG for Object-Oriented Programming in Logic. 1153-1161
  
• Stephen G. Pimentel, John L. Cuadrado:
  The Event Calculus and Consistency Maintenance. 1162-1166
  
• Elenita E. Silverstein, Peggy Sun:
  A Constraint Management Tool for Concurrent Engineering. 1167-1172