{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:30:41Z","timestamp":1725543041793},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540351597"},{"type":"electronic","value":"9783540351603"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11774303_34","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T09:40:40Z","timestamp":1150796440000},"page":"339-348","source":"Crossref","is-referenced-by-count":4,"title":["Handling Errors in Mathematical Formulas"],"prefix":"10.1007","author":[{"given":"Helmut","family":"Horacek","sequence":"first","affiliation":[]},{"given":"Magdalena","family":"Wolska","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Benzm\u00fcller, C., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayov\u00e1, I., Pinkal, M., Siekmann, J., Tsovaltzi, D., Vo, B., Wolska, M.: Language Phenomena in Tutorial Dialogs on Mathematical Proofs. In: Proc. of the 7th Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck), Saarbr\u00fccken, Germany, pp. 165\u2013166 (2003)"},{"key":"34_CR2","unstructured":"Benzm\u00fcller, C., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayov\u00e1, I., Pinkal, M., Siekmann, J., Tsovaltzi, D., Vo, B., Wolska, M.: Tutorial Dialogs on Mathematical Proofs. In: IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, pp. 12\u201322 (2003)"},{"key":"34_CR3","unstructured":"Benzm\u00fcller, C., Vo, Q.B.: Mathematical Domain Reasoning Tasks in Tutorial Natural Language Dialog on Proofs. In: Proc. of the 20th National Conference on Artificial Intelligence (AAAI 2005), Pittsburgh, PA, pp. 516\u2013522 (2005)"},{"key":"34_CR4","unstructured":"Benzm\u00fcller, C., Fiedler, A., Gabsdil, M., Horacek, H., Kruijff-Korbayov\u00e1, I., Pinkal, M., Siekmann, J., Tsovaltzi, D., Vo, B., Wolska, M.: A Wizard-of-Oz Experiment for Tutorial Dialogues in Mathematics. In: Suppl. Proc. of the 11th International Conference on Artificial Intelligence in Education, Sydney, Australia, pp. 471\u2013481 (2003)"},{"key":"34_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-30139-4_23","volume-title":"Intelligent Tutoring Systems","author":"E.A. Croteau","year":"2004","unstructured":"Croteau, E.A., Heffernan, N.T., Koedinger, K.R.: Why Are Algebra Word Problems Difficult? Using Tutorial Log Files and the Power Law of Learning to Select the Best Fitting Cognitive Model. In: Lester, J.C., Vicari, R.M., Paragua\u00e7u, F. (eds.) ITS 2004. LNCS, vol.\u00a03220, pp. 240\u2013250. Springer, Heidelberg (2004)"},{"key":"34_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-27779-8_3","volume-title":"Natural Language Processing and Information Systems","author":"H. Horacek","year":"2004","unstructured":"Horacek, H., Wolska, M.: Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs. In: Meziane, F., M\u00e9tais, E. (eds.) NLDB 2004. LNCS, vol.\u00a03136, pp. 26\u201338. Springer, Heidelberg (2004)"},{"key":"34_CR7","unstructured":"Horacek, H., Wolska, M.: Fault-Tolerant Context-Based Interpretation of Mathematical Formulas. In: Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), poster, Edinburgh, Scotland, pp. 1688\u20131691 (2005)"},{"key":"34_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1007\/978-3-540-30139-4_66","volume-title":"Intelligent Tutoring Systems","author":"M. Makatchev","year":"2004","unstructured":"Makatchev, M., Jordan, P.W., VanLehn, K.: Modeling Students\u2019 Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search. In: Lester, J.C., Vicari, R.M., Paragua\u00e7u, F. (eds.) ITS 2004. LNCS, vol.\u00a03220, pp. 699\u2013709. Springer, Heidelberg (2004)"},{"key":"34_CR9","first-page":"80","volume-title":"Building Dialogue Systems for Tutorial Applications, Papers from the 2000 AAAI Fall Symposium","author":"O. Popescu","year":"2000","unstructured":"Popescu, O., Koedinger, K.R.: Towards understanding geometry explanations. In: Building Dialogue Systems for Tutorial Applications, Papers from the 2000 AAAI Fall Symposium, pp. 80\u201386. AAAI Press, Menlo Park (2000)"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Siekmann, J., Benzm\u00fcller, C., Brezhnev, V., Cheikhrouhou, L., Fiedler, A., Franke, A., Horacek, H., Kohlhase, M., Meier, A., Melis, E., Moschner, M., Normann, I., Pollet, M., Sorge, V., Ullrich, C., Wirth, C.-P., Zimmer, J.: Proof Development with \u03a9mega. In: Proc. of the 18th Conference on Automated Deduction, Copenhagen, Denmark, pp. 144\u2013149 (2002)","DOI":"10.1007\/3-540-45620-1_12"},{"key":"34_CR11","first-page":"929","volume-title":"Proc. of the 17th Florida Artificial Intelligence Research Society Conference (FLAIRS 2004)","author":"D. Tsovaltzi","year":"2004","unstructured":"Tsovaltzi, D., Horacek, H., Fiedler, A.: Building Hint Specifications in an NL Tutorial System for Mathematics. In: Proc. of the 17th Florida Artificial Intelligence Research Society Conference (FLAIRS 2004), pp. 929\u2013934. AAAI Press, Menlo Park (2004)"},{"key":"34_CR12","unstructured":"Vo, B.Q., Benzm\u00fcller, C., Autexier, S.: Assertion Application in Theorem Proving and Proof Planning. In: Proc. of International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 1343\u20131344 (2003)"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Wolska, M., Kruijff-Korbayov\u00e1, I.: Analysis of Mixed Natural and Symbolic Language Input in Mathematical Dialogs. In: Proc. of the 42nd Annual Meeting of the Association for Computational Linguistics (ACL 2004), Barcelona, Spain, pp. 25\u201332 (2004)","DOI":"10.3115\/1218955.1218959"},{"key":"34_CR14","unstructured":"Wolska, M., Vo, B.Q., Tsovaltzi, D., Kruijff-Korbayov\u00e1, I., Karagjosova, E., Horacek, H., Gabsdil, M., Fiedler, A., Benzm\u00fcller, C.: An annotated corpus of tutorial dialogs on mathematical theorem proving. In: Proc. of 4th International Conference on Language Resources and Evaluation, Lisbon, pp. 1007\u20131010 (2004)"},{"key":"34_CR15","unstructured":"Zinn, C., Moore, J.D., Core, M.G., Varges, S., Porayska-Pomsta, K.: The BE&E Tutorial Learning Environment (BEETLE). In: Proc. of the 7th Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck), Saarbr\u00fccken, Germany, pp. 209\u2013210 (2003)"}],"container-title":["Lecture Notes in Computer Science","Intelligent Tutoring Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11774303_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:13:31Z","timestamp":1619507611000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11774303_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540351597","9783540351603"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11774303_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}