Reasoning with Mental and External Diagrams Computational Modeling and Spatial Assistance : Papers from the 2005 AAAI Symposium, March 21-23, Stanford, California