Expert Systems in Engineering 1990: Vienna, Austria

Georg Gottlob, Wolfgang Nejdl (Eds.): Expert Systems in Engineering, Principles and Applications, International Workshop, Vienna, Austria, September 24-26, 1990, Proceedings. Lecture Notes in Computer Science 462 Springer 1990, ISBN 3-540-53104-1

Model-Based Diagnosis

Johan de Kleer, Alan K. Mackworth, Raymond Reiter:
Characterizing Diagnoses. 1-15
Philippe Dague, Olivier Jehl, Patrick Taillibert:
An Interval Propagation and Conflict Recognition Engine for Diagnosing Continuous Dynamic Systems. 16-31
Béchir el Ayeb, Pierre Marquis, Michaël Rusinowitch:
A New Diagnosis Approach by Deduction and Abduction. 32-46
Oskar Dressler:
Diagnoses as Coherent Assumption Sets. 47-52
Thomas Guckenbiehl, Gisela Schäfer-Richter:
SIDIA: Extending Prediction Based Diagnosis to Dynamic Models. 53-68
Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl:
Hypothesis Classification, Abductive Diagnosis and Therapy. 69-78
Hartmut Freitag:
A Generic Measurement Proposer. 79-89
Olivier Raiman:
A Circumscribed Diagnosis Engine. 90-101
Peter Struss, Oskar Dressler:
Discrepancies - Theories and Applications of Model-Based Diagnosis. 102-102

Planning/Design/Scheduling

Christer Bäckström, Inger Klein:
Planning in Polynomial Time. 103-118
Brian C. Williams:
Interaction-based Invention: Designing Novel Devices from First Principles. 119-134
Jean Patrick Tsang:
Constraint Propagation Issues in Automated Design. 135-151
Sang-Chan Park, Selwyn Piramuthu, Narayan Raman, Michael J. Shaw:
Integrating Inductive Learning and Simulation in Rule-based Scheduling. 152-167
Ulrico Canzi, Giovanni Guida, Giuseppe Maifredi, Emilio Paolucci, Marina Poggio:
CRONOS-III: Requirements for a Knowledge-based Scheduling Tool Covering a Broad Class of Production Environments. 168-175

General Reasoning

Thomas J. Weigert:
Resolution-based Reasoning for Fuzzy Logic. 176-189
Franz Barachini:
Match-Time Predictability in Real-Time Production Systems. 190-203
Kai Zercher:
Constructing Decision Trees from Examples and Their Explanation-based Generalizations. 204-216

Applications

Ian F. C. Smith, Kefeng Hua, Boi Faltings, Djamila Haroud, Graham Kimberley:
Dynamic Constraint Satisfaction in a Bridge Design System. 217-232
Günter Spur, Sabine Weiß:
Application of Model-based Diagnosis to Machine Tools. 233-240
Terence C. Fogarty:
Adaptive Rule-based Optimisation of Combustion in Multiple Burner Installations. 241-248

Panel Discussion

Franz Blümelhuber:
Expert System Application in the VA Stahl Linz GmbH. 249-250
Abhay B. Bulsari, L. Karilainen, Henrik Saxén:
Expert System Development for Intelligent Monitoring of Blast Furnace Operations. 251-252
Dorothea Czedik, Jürgen Dorn, Alexandra Eder:
Scheduling in a Steelmaking Plant. 253-254
Yasutsugu Ogura, Hiroyuki Hamada:
Total Production Control of BF-MILL with Expert Systems in NKK. 255-256
David Stirling:
AI-Knowledge Based Systems at BHP CPD. 257-258
K. Stohl, W. Snopek:
Scheduling of Melts in a LD-Steel Plant. 259-260

Last update Thu May 24 04:17:20 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page