Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs

Benzmüller, Christoph; Schiller, Marvin; Siekmann, Jörg

doi:10.1007/978-3-540-89408-7_13

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