IEEE Expert, Volume 8, 1993

Volume 8, Number 1, February 1993

• Jan Aikins:
  Out of the Lab. 2-
  

• Toshinori Munakata:
  Practical AI: Where it's been, and where it is now. 3-5
  

• Wei-Tek Tsai:
  Guest Editor's Introduction. 7-
  
• John Yen, Jonathan Lee:
  A Task-Based Methodology for Specifying Expert Systems. 8-15
  
• John Mylopoulos, Huaiqing Wang, Bryan M. Kramer:
  Knowbel: A Hybrid Tool for Building Expert Systems. 17-24
  

• Musa Jafar, A. Terry Bahill:
  Interactive Verification of Knowledge-Based Systems. 25-32
  
• Franz Lackinger, Wolfgang Nejdl:
  Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning. 33-40
  
• Keki B. Irani, Jie Cheng, Usama M. Fayyad, Zhaogang Qian:
  Applying Machine Learning to Semiconductor Manufacturing. 41-47
  
• Gautam Biswas, Stefanos Manganaris, Xudong Yu:
  Extending Component Connection Modeling for Analyzing Complex Physical Systems. 48-57
  
• Bogdan D. Czejdo, Christoph F. Eick, Malcolm C. Taylor:
  Integrating Sets, Rules, and Data in an Object-Oriented Environment. 59-66
  

• News. 67-69
  

• IJCNN '92. 70-73
  

• Micromachines in Japan. 74-
  

• New Products. 75-76
  

• New Books. 77-78
  

• 1992 Article Reviewers. 84-85
  

• Editorial Guidelines. 86-87
  

Volume 8, Number 2, April 1993

• Phil Hayes:
  Knowledge-Based systems for the information industry. 4-
  

• Dik Lun Lee, W. Bruce Croft:
  Guest Editor's Introduction. 6-7
  
• W. Bruce Croft:
  Knowledge-Based and Statistical Approaches to Text Retrieval. 8-12
  
• Paul S. Jacobs:
  Using Statistical Methods to Improve Knowledge-Based News Categorization. 13-23
  
• Hsinchun Chen, Kevin J. Lynch, Koushik Basu, Tobun Dorbin Ng:
  Generating, integrating, and activating thesauri for concept-based document retrieval. 25-34
  

• Jeffrey C. Schlimmer:
  Self-Modeling Databases. 35-43
  

• James A. Leonard, Mark A. Kramer:
  Diagnosing Dynamic Faults Using Modular Neural Nets. 44-53
  
• James R. Whiteley, James F. Davis:
  Qualitative Interpretation of Sensor Patterns. 54-63
  

• Mahmoud Pegah, Jon Sticklen, William Bond:
  Functional Representation and Reasoning About the F/A-18 Aircraft Fuel System. 65-71
  

• Farokh B. Bastani, Ing-Ray Chen:
  The Reliability of Embedded AI Systems. 72-78
  
• Abhijit Chaudhury, Dan C. Marinescu, Andrew B. Whinston:
  Net-Based Computational Models of Knowledge-Processing Systems. 79-86
  

• News. 87-91
  

• 62: Two thumbs up...if you've got the cash! 92-
  

• New Products. 94-96
  

• The art of the Metaobject Protocol. 97-100
  

• New Books. 100-
  

Volume 8, Number 3, June 1993

• Neal M. Goldsmith:
  The new integration of business and technology. 4-
  

• Interview (Allen Newell). 5-12
  

• Jack W. Smith, David M. Steier, Todd R. Johnson:
  Guest Editor's Introduction. 13-14
  
• Jack W. Smith, Todd R. Johnson:
  A Stratified Approach to Specifying, Designing, and Building Knowledge Systems. 15-25
  
• Gregg R. Yost:
  Acquiring Knowledge in Soar. 26-34
  
• David M. Steier, Richard L. Lewis, Jill Fain Lehman, Anna L. Zacherl:
  Combining Multiple Knowledge Sources in an Integrated Intelligent System. 35-44
  

• Enric Plaza:
  Guest Editor's Introduction. 45-47
  
• Thomas Hoppe, Pedro Meseguer:
  VVT Terminology: A Proposal. 48-55
  
• Paul Krause, John Fox, Mike O'Neil, Andrzej J. Glowinski:
  Can we Formally Specify a Medical Decision Support System? 56-61
  
• Ole J. Mengshoel:
  Knowledge Validation: Principles and Practice. 62-68
  
• Faruk Polat, H. Altay Güvenir:
  UVT: A Unification-Based Tool for Knowledge Base Verification. 69-75
  
• Trevor J. M. Bench-Capon, Frans Coenen, Hyacinth S. Nwana, Ray Paton, Michael J. R. Shave:
  Two Aspects of the Validation and Verification of Knowledge-Based Systems. 76-81
  

• Dale Strok:
  Where is the AI in China? High Tech in China and Hong Kong. 82-83
  

• News. 84-85
  

• Peter G. Selfridge:
  CAIA '93: Innovative technologies for applications. 86-87
  

• New Products. 88-90
  

• Consciousness Reconsidered. 91-92
  

• New Books. 93-
  

Volume 8, Number 4, August 1993

• Avron Barr:
  Active information systems: The evolution of expert systems. 2-3
  

• Luc Steels, Brice Lepape:
  Knowledge Engineering in Esprit. 4-10
  

• Jan Aikins, Bernadette Kowalski-Minton:
  Guest Editor's Introduction. 11-
  
• Monika Pfau-Wagenbauer, Wolfgang Nejdl:
  Integrating Model-Based and Heuristic Features in a Real-Time Expert System. 12-18
  
• Tej Anand, Gary S. Kahn, A. C. Nielsen:
  Focusing Knowledge-Based Techniques on Market Analysis. 19-24
  
• Uwe Nonnenmann, John K. Eddy:
  Software Testing with Kitss. 25-30
  
• Robert Paasch, Alice M. Agogino:
  A Structural and Behavioral Reasoning System for Diagnosing Large-Scale Systems. 31-36
  
• R. Bhart Roa, Stephen C. Y. Lu:
  A Knowledge-Based Equation Discovery System for Engineering Domains. 37-42
  

• Ottmar Lutzy, Andreas Dengel:
  A Comparison on Neural Net Simulators. 43-51
  
• DeLiang L. Wang:
  Pattern Recognition: Neural Networks in Perspective. 52-60
  
• David Kortenkamp, Marcus Huber, Charles Cohen, Ulrich Raschke, Clint Bidlack, Clare Bates Congdon, Frank Koss, Terry E. Weymouth:
  Integrated Mobile-Robot Design-Winning the AAAI 1992 Robot Competition. 61-73
  
• Angi Voß, Werner Karbach:
  Implementing KADS Expertise Models with Model-K. 74-81
  

• W. Lewis Johnson, Kevin Benner, David R. Harris:
  Developing Formal Specifications from Informal Requirements. 82-90
  

• News. 91-92
  

• Intelligent and Cooperative Information Systems. 93-96
  

• New Products. 97-99
  

• Book Reviews. 100-101
  

• New Books. 101-
  

Volume 8, Number 5, October 1993

• Learning from the past. 2-
  

• Neena Buck:
  Knowledge for sale: The advent of industry-specific class libraries. 3-4
  

• John J. Grefenstette:
  Guest Editor's Introduction. 5-8
  
• Alan C. Schultz, John J. Grefenstette, Kenneth A. De Jong:
  Test and Evaluation by Genetic Algorithms. 9-14
  
• N. Serdar Uckun, Sugato Bagchi, Kazuhiko Kawamura, Yutaka Miyabe:
  Managing Genetic Search in Job Shop Scheduling. 15-24
  
• David J. Janson, James F. Frenzel:
  Training Product Unit Neural Networks with Genetic Algorithms. 26-33
  

• Silvano Pozzi, Augusto Celentano:
  Knowledge-Based Document Filing. 34-45
  
• Allen Ginsberg:
  A Unified Approach to Automatic Indexing and Information Retrieval. 46-56
  

• Jean Michel Penalva, Laurent Coudouneau, Lydie Leyval, Jacky Montmain:
  A Supervision Support System for Industrial Processes. 57-65
  
• Paul F. M. J. Verschure:
  Formal Minds and Biological Brains: AI and Edelman's Extended Theory of Neuronal Group Selection. 66-75
  

• News. 76-77
  

• Coming out from under a cloud: AAAI and IAAI '93. 78-81
  

• Aion Development System CAD/Chem. 82-89
  

• New Products. 90-92
  

• New Books. 93-
  

Volume 8, Number 6, December 1993

• Ralph Barletta:
  Case-based reasoning and information retrieval: Opportunities for technology sharing. 2-
  

• Anil Rewari:
  Guest Editor's Introduction. 5-8
  
• Peter G. Anick:
  Integrating Natural Language Processing and Information Retrieval in a Troubleshooting Help Desk. 9-17
  
• Mark Kriegsman, Ralph Barletta:
  Building a Case-Based Help Desk Application. 18-26
  
• Ramasamy Uthurusamy, Linda G. Means, Kurt Godden, Steven L. Lytinen:
  Extracting Knowledge from Diagnostic Databases. 27-38
  

• Philip Kahn:
  Building Blocks for Computer Vision Systems. 40-50
  
• Douglas H. Fisher, Ling Xu, James R. Carnes, Yoram Reich, Steven J. Fenves, Jason Chen, Richard Shiavi, Gautam Biswas, Jerry B. Weinberg:
  Applying AI Clustering to Engineering Tasks. 51-60
  
• Sholom M. Weiss, Nitin Indurkhya:
  Optimized Rule Induction. 61-69
  

• News. 70-74
  

• New Products. 74-75
  

• Made-Up Minds: A Constructivist Approach to Artificial Intelligence. 76-78
  

• New Books. 79-80