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.
|