Christoph Benzmüller, 
   Ivana Kruijff-Korbayova, 
   Manfred Pinkal and 
   Magdalena Wolska. Natural language dialog with a tutor system for mathematical proofs.  In 
   Ruqian Lu, 
   Joerg Siekmann and 
   Carsten Ullrich editors,  Proceedings of the Joint Chinese-German Workshop on Cognitive Systems 2005, Shanghai, China, Vol.  4429:1-14 of Lecture Notes in Artificial Intelligence,  Springer-Verlag,   2007.      google Note: MP.
     |