selected publications

• chapter

  • A Tool for Supporting Progressive Refinement of Wizard-of-Oz Experiments in Natural Language.  Lecture Notes in Computer Science. 325-335. 2004

• conference paper

  • Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs.  International Joint Conference on Artificial Intelligence. 358-363. 1999
  • Proof verbalization as an application of NLG.  International Joint Conference on Artificial Intelligence. 965-970. 1997