by Christoph Benzmüller, Marvin Schiller, Jörg Siekmann
Reference:
Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs (Christoph Benzmüller, Marvin Schiller, Jörg Siekmann), Chapter in Resource-Adaptive Cognitive Processes (Matthew W. Crocker, Jörg Siekmann, eds.), Springer, Cognitive Technologies, pp. 291-311, 2010. (Url (preprint): http://christoph-benzmueller.de/papers/B11.pdf)
Bibtex Entry:
@incollection{B11,
Author = {Christoph Benzm\"uller and Marvin Schiller and
J\"org Siekmann},
Booktitle = {Resource-Adaptive Cognitive Processes},
Doi = {10.1007/978-3-540-89408-7_13},
Editor = {Matthew W. Crocker and J\"org Siekmann},
Isbn = {978-3-540-89407-0},
Keywords = {own, Proof Presentation, DIALOG, Natural Language
Dialog, Proof Assistants, Machine Learning, Tutoring
Systems},
Note = {(Final project report, DFG SFB 378)},
Pages = {291-311},
Publisher = {Springer},
Series = {Cognitive Technologies},
Title = {Resource-Bounded Modelling and Analysis of
Human-Level Interactive Proofs},
Note = {Url (preprint):
\url{http://christoph-benzmueller.de/papers/B11.pdf}},
Year = 2010,
}