publication venue for Towards a model-centric cognitive architecture for service robots 2011 Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs 1999 Proof verbalization as an application of NLG 1997