AAAI Spring Symposium 2008 - Architectures for Intelligent Theory-Based Agents: Stanford University, CA, USA