Search: System Description: A Dialog Manager Supporting Tutorial
2005
[2]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. (Preprint: http://christoph-benzmueller.de/papers/W29.pdf) [bibtex]
[1]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]