@inproceedings{W20,
  Address =	 {Acapulco, Mexico},
  Author =	 {Christoph Benzm{\"u}ller and Armin Fiedler and Malte
                  Gabsdil and Helmut Horacek and Ivana
                  Kruijff-Korbayova and Manfred Pinkal and J{\"o}rg
                  Siekmann and Dimitra Tsovaltzi and Bao Quoc Vo and
                  Magdalena Wolska},
  Booktitle =	 {Proceedings of IJCAI-03 Workshop on Knowledge
                  Representation and Automated Reasoning for
                  E-Learning Systems},
  Comment =	 {<a href="http://christoph-benzmueller.de//papers/2003-ijcai-ws-dialog-talk.pdf">slides</a>},
  Keywords =	 {own, DIALOG, Proof Presentation, Natural Language
                  Dialog, Proof Assistants, Tutoring Systems},
  Pages =	 {12-22},
  Title =	 {Tutorial Dialogs on Mathematical Proofs},
  url_preprint = {http://christoph-benzmueller.de/papers/W20.pdf},
  Year =	 2003,
}

{"_id":"bEdQarvLqvuBtuSri","bibbaseid":"benzmller-fiedler-gabsdil-horacek-kruijffkorbayova-pinkal-siekmann-tsovaltzi-etal-tutorialdialogsonmathematicalproofs-2003","author_short":["Benzmüller, C.","Fiedler, A.","Gabsdil, M.","Horacek, H.","Kruijff-Korbayova, I.","Pinkal, M.","Siekmann, J.","Tsovaltzi, D.","Vo, B. Q.","Wolska, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Acapulco, Mexico","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Armin"],"propositions":[],"lastnames":["Fiedler"],"suffixes":[]},{"firstnames":["Malte"],"propositions":[],"lastnames":["Gabsdil"],"suffixes":[]},{"firstnames":["Helmut"],"propositions":[],"lastnames":["Horacek"],"suffixes":[]},{"firstnames":["Ivana"],"propositions":[],"lastnames":["Kruijff-Korbayova"],"suffixes":[]},{"firstnames":["Manfred"],"propositions":[],"lastnames":["Pinkal"],"suffixes":[]},{"firstnames":["Jörg"],"propositions":[],"lastnames":["Siekmann"],"suffixes":[]},{"firstnames":["Dimitra"],"propositions":[],"lastnames":["Tsovaltzi"],"suffixes":[]},{"firstnames":["Bao","Quoc"],"propositions":[],"lastnames":["Vo"],"suffixes":[]},{"firstnames":["Magdalena"],"propositions":[],"lastnames":["Wolska"],"suffixes":[]}],"booktitle":"Proceedings of IJCAI-03 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems","comment":"<a href=\"http://christoph-benzmueller.de//papers/2003-ijcai-ws-dialog-talk.pdf\">slides</a>","keywords":"own, DIALOG, Proof Presentation, Natural Language Dialog, Proof Assistants, Tutoring Systems","pages":"12-22","title":"Tutorial Dialogs on Mathematical Proofs","url_preprint":"http://christoph-benzmueller.de/papers/W20.pdf","year":"2003","bibtex":"@inproceedings{W20,\n Address =\t {Acapulco, Mexico},\n Author =\t {Christoph Benzm{\\\"u}ller and Armin Fiedler and Malte\n Gabsdil and Helmut Horacek and Ivana\n Kruijff-Korbayova and Manfred Pinkal and J{\\\"o}rg\n Siekmann and Dimitra Tsovaltzi and Bao Quoc Vo and\n Magdalena Wolska},\n Booktitle =\t {Proceedings of IJCAI-03 Workshop on Knowledge\n Representation and Automated Reasoning for\n E-Learning Systems},\n Comment =\t {<a href=\"http://christoph-benzmueller.de//papers/2003-ijcai-ws-dialog-talk.pdf\">slides</a>},\n Keywords =\t {own, DIALOG, Proof Presentation, Natural Language\n Dialog, Proof Assistants, Tutoring Systems},\n Pages =\t {12-22},\n Title =\t {Tutorial Dialogs on Mathematical Proofs},\n url_preprint = {http://christoph-benzmueller.de/papers/W20.pdf},\n Year =\t 2003,\n}\n\n","author_short":["Benzmüller, C.","Fiedler, A.","Gabsdil, M.","Horacek, H.","Kruijff-Korbayova, I.","Pinkal, M.","Siekmann, J.","Tsovaltzi, D.","Vo, B. Q.","Wolska, M."],"key":"W20","id":"W20","bibbaseid":"benzmller-fiedler-gabsdil-horacek-kruijffkorbayova-pinkal-siekmann-tsovaltzi-etal-tutorialdialogsonmathematicalproofs-2003","role":"author","urls":{" preprint":"http://christoph-benzmueller.de/papers/W20.pdf"},"keyword":["own","DIALOG","Proof Presentation","Natural Language Dialog","Proof Assistants","Tutoring Systems"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","dialog","proof presentation","natural language dialog","proof assistants","tutoring systems"],"search_terms":["tutorial","dialogs","mathematical","proofs","benzmüller","fiedler","gabsdil","horacek","kruijff-korbayova","pinkal","siekmann","tsovaltzi","vo","wolska"],"title":"Tutorial Dialogs on Mathematical Proofs","year":2003}