System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs (bibtex)
by Mark Buckley, Christoph Benzmüller
Reference:
System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs (Mark Buckley, Christoph Benzmüller), In Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP), pp. 40-67, 2005. (Url (preprint): http://christoph-benzmueller.de/papers/W29.pdf)
Bibtex Entry:
@inproceedings{W29,
  Address =	 {Edinburgh, Scotland},
  Author =	 {Mark Buckley and Christoph Benzm{\"u}ller},
  Booktitle =	 {Proceedings of the ETAPS Satellite Workshop on User
                  Interfaces for Theorem Provers (UITP)},
  Keywords =	 {own, DIALOG, Proof Presentation, Natural Language
                  Dialog, Proof Assistants, Tutoring Systems, Agents,
                  System Integration},
  Pages =	 {40-67},
  Title =	 {System Description: A Dialog Manager supporting
                  Tutorial Natural Language Dialogue on Proofs},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W29.pdf}},
  Year =	 2005,
}
Powered by bibtexbrowser