Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs (bibtex)
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. ((Final project report, DFG SFB 378))
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},
  Url =		 {http://christoph-benzmueller.de/papers/B11.pdf},
  Year =	 2010,
}
Powered by bibtexbrowser