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,
}