Characterizing diagnoses.- An interval propagation and conflict recognition engine for diagnosing continuous dynamic systems.- A new diagnosis approach by deduction and abduction.- Diagnoses as coherent assumption sets.- Sidia: Extending prediction based diagnosis to dynamic models.- Hypothesis classification, abductive diagnosis and therapy.- A generic measurement proposer.- A circumscribed diagnosis engine.- Discrepancies — Theories and applications of model-based diagnosis.- Planning in polynomial time.- Interaction-based invention: Designing novel devices from first principles.- Constraint propagation issues in automated design.- Integrating inductive learning and simulation in rule-based scheduling.- CRONOS-III: Requirements for a knowledge-based scheduling tool covering a broad class of production environments.- Resolution-based reasoning for fuzzy logic.- Match-time predictability in real-time production systems.- Constructing decision trees from examples and their explanation-based generalizations.- Dynamic constraint satisfaction in a bridge design system.- Application of model-based diagnosis to machine tools.- Adaptive rule-based optimisation of combustion in multiple burner installations.- Expert system application in the VA STAHL Linz GmbH.- Expert system development for intelligent monitoring of blast furnace operations.- Scheduling in a steelmaking plant.- Total production control system of BF?MILL with expert system in NKK.- Ai — Knowledge based systems at BHP CPD.- Scheduling of melts in a LD-steel plant.