David A. Shamma Carl W. Turner Teaching the Foundations in AI: Mobile Robots and Symbolic Victories. 29-33 1998 conf/flairs/1998 FLAIRS Conference db/conf/flairs/flairs1998.html#ShammaT98