Volume 8,
Number 1,
February 1993
Out of the Lab
Forum
Tools for AI
Special Features
- Musa Jafar, A. Terry Bahill:
Interactive Verification of Knowledge-Based Systems.
25-32
Electronic Edition (link) BibTeX
- Franz Lackinger, Wolfgang Nejdl:
Diamon: A Model-Based Troubleshooter Based on Qualitative Reasoning.
33-40
Electronic Edition (link) BibTeX
- Keki B. Irani, Jie Cheng, Usama M. Fayyad, Zhaogang Qian:
Applying Machine Learning to Semiconductor Manufacturing.
41-47
Electronic Edition (link) BibTeX
- Gautam Biswas, Stefanos Manganaris, Xudong Yu:
Extending Component Connection Modeling for Analyzing Complex Physical Systems.
48-57
Electronic Edition (link) BibTeX
- Bogdan D. Czejdo, Christoph F. Eick, Malcolm C. Taylor:
Integrating Sets, Rules, and Data in an Object-Oriented Environment.
59-66
Electronic Edition (link) BibTeX
News
Conferences
World
New Products
New Books
1992 Article Reviewers
Editorial Guidelines
Volume 8,
Number 2,
April 1993
Out of the Lab
AI in Text-Based Information Systems
Machine Learning
Knowledge-Based Diagnostics in Process Engineering
Functional Reasoning & Functional Modeling
Special Features
News
Product Review
New Products
Book Review
New Books
Volume 8,
Number 3,
June 1993
Out of the Lab
Interview
The Soar Architecture
Validation & Verification of Knowledge-Based Systems
World
News
Conferences
New Products
Book Review
New Books
Volume 8,
Number 4,
August 1993
Out of the Lab
World
AI at Work (CAIA '92)
Special Features
Knowledge-Based Software Engineering
News
Conferences
New Products
Book Reviews
New Books
Volume 8,
Number 5,
October 1993
Editorial
Out of the Lab
Genetic Algorithms
AI in the Text-Based Information Retrieval
Special Features
News
Conferences
Product Reviews
New Products
New Books
Volume 8,
Number 6,
December 1993
Out of the Lab
AI in Corporate Service and Support
Special Features
News
New Products
Book Reviews
New Books
Copyright © Sat May 16 23:58:58 2009
by Michael Ley (ley@uni-trier.de)
