Search: C18
[1]Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs (Christoph Benzmüller, Bao Quoc Vo), In Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA (Manuela Veloso, Subbarao Kambhampati, eds.), AAAI Press / The MIT Press, pp. 516-522, 2005. (slides) (Preprint: [bibtex]