Design by interactive exploration using memory-based techniques
Efficient inference method for computing an optimal solution in predicate-logic hypothetical reasoning
Temporal constraint reasoning mechanisms for microprocessor systems diagnosis
NODES: a numerical and object based modelling system for conceptual engineering design
Framework for knowledge based support in a concurrent engineering environment
Calendar