Lawrence Byrd

Solving mechanics problems using meta-level inference

Alan Bundy, George F. Luger, Lawrence Byrd, 1979, IJCAI 1979.

Special Purpose, but Domain Independent, Inference Mechanisms

Alan Bundy, Chris Mellish, Lawrence Byrd, 1982, ECAI.

MECHO: A program to solve mechanics problems

Alan Bundy, Chris Mellish, George F. Luger, 1979 .

Solving Symbolic Equations with PRESS

Leon Sterling, Alan Bundy, Bernard Silver, 1989, J. Symb. Comput..

Solving Symbolic Equations with PRESS

Leon Sterling, Alan Bundy, Bernard Silver, 1982, J. Symb. Comput..

Extending Mecho to solve statics problems

Alan Borning, Lawrence Byrd, 1980 .