International Conference on Tools for Artificial Intelligence (13th 2001 Dallas, Tex.)