External Links

    Journal: AI in Engineering

    Volume 4, Issue 1

    2 -- 21Reid G. Simmons, John Mohammed. Causal modelling of semiconductor fabrication
    22 -- 31Leo Joskowicz. Reasoning about the kinematics of mechanical devices
    32 -- 40Alan H. Bond, Syed Z. Ahmed. Knowledge-based automatic dimensioning
    41 -- 53T. Yagiu. A predicate-logical method for modelling design objects
    runs on