AAAI Spring Symposium 2010 - Embedded Reasoning: Stanford University, CA, USA