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), 2005. (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},
  Addendum =	 {This paper 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},
  Addendum =	 {Preprint:
                  \url{http://christoph-benzmueller.de/papers/J11.pdf}},
  Year =	 2005,
}