Expert Systems in Engineering 1990: Vienna, Austria

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