@incollection{B11,
  Author =	 {Christoph Benzm{\"u}ller 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_preprint = {http://christoph-benzmueller.de/papers/B11.pdf},
  Year =	 2010,
}

{"_id":"nLXJsmps46HsYcFkE","bibbaseid":"benzmller-schiller-siekmann-resourceboundedmodellingandanalysisofhumanlevelinteractiveproofs-2010","author_short":["Benzmüller, C.","Schiller, M.","Siekmann, J."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Marvin"],"propositions":[],"lastnames":["Schiller"],"suffixes":[]},{"firstnames":["Jörg"],"propositions":[],"lastnames":["Siekmann"],"suffixes":[]}],"booktitle":"Resource-Adaptive Cognitive Processes","doi":"10.1007/978-3-540-89408-7_13","editor":[{"firstnames":["Matthew","W."],"propositions":[],"lastnames":["Crocker"],"suffixes":[]},{"firstnames":["Jörg"],"propositions":[],"lastnames":["Siekmann"],"suffixes":[]}],"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_preprint":"http://christoph-benzmueller.de/papers/B11.pdf","year":"2010","bibtex":"@incollection{B11,\n Author =\t {Christoph Benzm{\\\"u}ller and Marvin Schiller and\n J\\\"org Siekmann},\n Booktitle =\t {Resource-Adaptive Cognitive Processes},\n Doi =\t\t {10.1007/978-3-540-89408-7_13},\n Editor =\t {Matthew W. Crocker and J\\\"org Siekmann},\n Isbn =\t {978-3-540-89407-0},\n Keywords =\t {own, Proof Presentation, DIALOG, Natural Language\n Dialog, Proof Assistants, Machine Learning, Tutoring\n Systems},\n Note =\t {(Final project report, DFG SFB 378)},\n Pages =\t {291-311},\n Publisher =\t {Springer},\n Series =\t {Cognitive Technologies},\n Title =\t {Resource-Bounded Modelling and Analysis of\n Human-Level Interactive Proofs},\n url_preprint = {http://christoph-benzmueller.de/papers/B11.pdf},\n Year =\t 2010,\n}\n\n","author_short":["Benzmüller, C.","Schiller, M.","Siekmann, J."],"editor_short":["Crocker, M. W.","Siekmann, J."],"key":"B11","id":"B11","bibbaseid":"benzmller-schiller-siekmann-resourceboundedmodellingandanalysisofhumanlevelinteractiveproofs-2010","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/B11.pdf"},"keyword":["own","Proof Presentation","DIALOG","Natural Language Dialog","Proof Assistants","Machine Learning","Tutoring Systems"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"incollection","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","proof presentation","dialog","natural language dialog","proof assistants","machine learning","tutoring systems"],"search_terms":["resource","bounded","modelling","analysis","human","level","interactive","proofs","benzmüller","schiller","siekmann"],"title":"Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs","year":2010,"downloads":1}