System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs

Buckley, Mark; Benzmüller, Christoph

by Mark Buckley, Christoph Benzmüller

Reference:

System Description: A Dialog Manager supporting Tutorial Natural Language Dialogue on Proofs (Mark Buckley, Christoph Benzmüller), 2005. (Url (preprint): http://christoph-benzmueller.de/papers/J11.pdf)

Bibtex Entry:

@unpublished{J11,
  Author =	 {Mark Buckley and Christoph Benzm{\"u}ller},
  Journal =	 {Electronic Notes in Theoretical Computer Science},
  Keywords =	 {own, Natural Language Dialog, Agents, System
                  Integration},
  Note =	 {This article was formally accepted for the UITP'05
                  post-proceedings in ENTCS; this volume did not
                  appear though.},
  Title =	 {System Description: A Dialog Manager supporting
                  Tutorial Natural Language Dialogue on Proofs},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/J11.pdf}},
  Year =	 2005,
}