{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:19Z","timestamp":1750307059982,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,29]],"date-time":"2012-10-29T00:00:00Z","timestamp":1351468800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,29]]},"DOI":"10.1145\/2396761.2398487","type":"proceedings-article","created":{"date-parts":[[2012,11,15]],"date-time":"2012-11-15T16:38:00Z","timestamp":1352997480000},"page":"1632-1636","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Preprocessing of informal mathematical discourse in context ofcontrolled natural language"],"prefix":"10.1145","author":[{"given":"Ra\u00fal Ernesto","family":"Guti\u00e9rrez de Pi\u00f1erez Reyes","sequence":"first","affiliation":[{"name":"Universidad del Valle, Cali, Colombia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Francisco","family":"D\u00edaz Fr\u00edas","sequence":"additional","affiliation":[{"name":"Universidad del Valle, Cali, Colombia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,10,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Bracketing guidelines for treebank ii style: Penn treebank project","author":"Beis A.","year":"1995","unstructured":"A. Beis , M. Ferguson , K. Katz , and R. Mac-Intire . Bracketing guidelines for treebank ii style: Penn treebank project . University of Pennsylvania , 1995 . A. Beis, M. Ferguson, K. Katz, and R. Mac-Intire. Bracketing guidelines for treebank ii style: Penn treebank project. University of Pennsylvania, 1995."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1289189.1289191"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1273073.1273091"},{"key":"e_1_3_2_1_4_1","volume-title":"A perl program for sentence splitting using rules","author":"Clough P.","year":"1991","unstructured":"P. Clough . A perl program for sentence splitting using rules . University of Sheffield , April 1991 . P. Clough. A perl program for sentence splitting using rules. University of Sheffield, April 1991."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.3115\/1220575.1220675"},{"key":"e_1_3_2_1_8_1","first-page":"795","volume-title":"Proceedings of the 2009 Conference on Controlled Natural Language CNL'09","author":"Cramer M.","year":"2009","unstructured":"M. Cramer , B. Fisseni , P. Koepke , D. Kuhlwein , B. Schr\u00f6der , and J. Veldman . The naproche project controlled natural language proof checking of mathematical texts . In Proceedings of the 2009 Conference on Controlled Natural Language CNL'09 , pages 795 -- 802 . Springer-Verlag Berlin, Heidelberg , 2009 . M. Cramer, B. Fisseni, P. Koepke, D. Kuhlwein, B. Schr\u00f6der, and J. Veldman. The naproche project controlled natural language proof checking of mathematical texts. In Proceedings of the 2009 Conference on Controlled Natural Language CNL'09, pages 795--802. Springer-Verlag Berlin, Heidelberg, 2009."},{"key":"e_1_3_2_1_9_1","first-page":"167","volume-title":"Proceedings of the Konvens-2006 Workshop on the Lexicon-Discourse Interface","author":"Dipper S.","year":"2006","unstructured":"S. Dipper and M. Stede . Disambiguating potential connectives . In Proceedings of the Konvens-2006 Workshop on the Lexicon-Discourse Interface , pages 167 -- 173 . Konstanz, Germany , 2006 . S. Dipper and M. Stede. Disambiguating potential connectives. In Proceedings of the Konvens-2006 Workshop on the Lexicon-Discourse Interface, pages 167--173. Konstanz, Germany, 2006."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1943628.1943665"},{"key":"e_1_3_2_1_11_1","volume-title":"Seventh Message Understanding Conference (MUC-7). Washington, D.C.","author":"Millerand S.","year":"1998","unstructured":"S. Millerand , H. Fox , L. Ramshaw , and R. Weischedel . Sift - statistically-derived information from text . In Seventh Message Understanding Conference (MUC-7). Washington, D.C. , 1998 . S. Millerand, H. Fox, L. Ramshaw, and R. Weischedel. Sift - statistically-derived information from text. In Seventh Message Understanding Conference (MUC-7). Washington, D.C., 1998."},{"key":"e_1_3_2_1_12_1","unstructured":"L. Padr\u00f3. Freeling 3.0: An open source suite of language analyzers. http:\/\/nlp.lsi.upc.edu\/freeling\/ 2010.  L. Padr\u00f3. Freeling 3.0: An open source suite of language analyzers. http:\/\/nlp.lsi.upc.edu\/freeling\/ 2010."},{"key":"e_1_3_2_1_13_1","first-page":"27","volume-title":"Proceedings of Quinto Simposio de la Sociedad Espa\u00f1ola de Investigaci\u00f3n en Educaci\u00f3n Matem\u00e1tica","author":"Recio A.","year":"2001","unstructured":"A. Recio . La demostraci\u00f3n en matem\u00e1tica. una aproximaci\u00f3n epistemol\u00f3gica y did\u00e1ctica . In Proceedings of Quinto Simposio de la Sociedad Espa\u00f1ola de Investigaci\u00f3n en Educaci\u00f3n Matem\u00e1tica , pages 27 -- 43 . Sociedad Espa nola de Investigaci\u00f3n en Educaci\u00f3n Matem\u00e1tica (SEIEM), Septiembre 2001 . A. Recio. La demostraci\u00f3n en matem\u00e1tica. una aproximaci\u00f3n epistemol\u00f3gica y did\u00e1ctica. In Proceedings of Quinto Simposio de la Sociedad Espa\u00f1ola de Investigaci\u00f3n en Educaci\u00f3n Matem\u00e1tica, pages 27--43. Sociedad Espa nola de Investigaci\u00f3n en Educaci\u00f3n Matem\u00e1tica (SEIEM), Septiembre 2001."},{"key":"e_1_3_2_1_14_1","volume-title":"Universidad Aut\u00f3noma de Madrid","author":"Ruesga S.","year":"1999","unstructured":"S. Ruesga , A. Sandoval , and L. Le\u00f3n . Spanish treebank: Specifications version 5 . Universidad Aut\u00f3noma de Madrid , 1999 . S. Ruesga, A. Sandoval, and L. Le\u00f3n. Spanish treebank: Specifications version 5. Universidad Aut\u00f3noma de Madrid, 1999."},{"key":"e_1_3_2_1_15_1","first-page":"131","volume-title":"Sojka","author":"Wolska M.","year":"2008","unstructured":"M. Wolska . A language engineering architecture for processing informal mathematical discourse. In Sojka , Petr (ed.): Towards Digital Mathematics Library, pages 131 -- 136 . Masaryk University , July 2008 . M. Wolska. A language engineering architecture for processing informal mathematical discourse. In Sojka, Petr (ed.): Towards Digital Mathematics Library, pages 131--136. Masaryk University, July 2008."},{"key":"e_1_3_2_1_16_1","first-page":"1007","volume-title":"Proceedings of the of 4th International Conference on Language Resources and Evaluation","author":"Wolska M.","year":"2004","unstructured":"M. Wolska , B. Q. Vo , D. Tsovaltzi , I. Kruijff-Korbayov\u00e1 , E. Karagjosova , H. Horacek , A. Fiedler , and C. Benzm\u00fcller . Annotated corpus of tutorial dialogs on mathematical theorem proving . In Proceedings of the of 4th International Conference on Language Resources and Evaluation , pages 1007 -- 1010 . European Language Resources Association (ELRA ), May 2004 . M. Wolska, B. Q. Vo, D. Tsovaltzi, I. Kruijff-Korbayov\u00e1, E. Karagjosova, H. Horacek, A. Fiedler, and C. Benzm\u00fcller. Annotated corpus of tutorial dialogs on mathematical theorem proving. In Proceedings of the of 4th International Conference on Language Resources and Evaluation, pages 1007--1010. European Language Resources Association (ELRA), May 2004."}],"event":{"name":"CIKM'12: 21st ACM International Conference on Information and Knowledge Management","sponsor":["SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGIR ACM Special Interest Group on Information Retrieval"],"location":"Maui Hawaii USA","acronym":"CIKM'12"},"container-title":["Proceedings of the 21st ACM international conference on Information and knowledge management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2396761.2398487","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2396761.2398487","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:14Z","timestamp":1750238474000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2396761.2398487"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,29]]},"references-count":14,"alternative-id":["10.1145\/2396761.2398487","10.1145\/2396761"],"URL":"https:\/\/doi.org\/10.1145\/2396761.2398487","relation":{},"subject":[],"published":{"date-parts":[[2012,10,29]]},"assertion":[{"value":"2012-10-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}