Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs (bibtex)
by Christoph Benzmüller, Bao Quoc Vo
Reference:
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) (Url (preprint): http://christoph-benzmueller.de/papers/C18.pdf)
Bibtex Entry:
@inproceedings{C18,
  Author =	 {Christoph Benzm{\"u}ller and Bao Quoc Vo},
  Booktitle =	 {Proceedings, The Twentieth National Conference on
                  Artificial Intelligence and the Seventeenth
                  Innovative Applications of Artificial Intelligence
                  Conference, July 9-13, 2005, Pittsburgh,
                  Pennsylvania, USA},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de//papers/2005-AAAI.pdf">slides</a>},
  Editor =	 {Manuela Veloso and Subbarao Kambhampati},
  Keywords =	 {own, DIALOG, Proof Presentation, Natural Language
                  Dialog, Proof Assistants, Tutoring Systems},
  Pages =	 {516-522},
  Publisher =	 {AAAI Press / The MIT Press},
  Title =	 {Mathematical Domain Reasoning Tasks in Natural
                  Language Tutorial Dialog on Proofs},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C18.pdf}},
  Year =	 2005,
}
Powered by bibtexbrowser