{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:59:43Z","timestamp":1743019183396,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030868543"},{"type":"electronic","value":"9783030868550"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-86855-0_22","type":"book-chapter","created":{"date-parts":[[2021,10,4]],"date-time":"2021-10-04T22:58:16Z","timestamp":1633388296000},"page":"317-330","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Cognitive Patterns for Semantic Presentation of Natural-Language Descriptions of Well-Formalizable Problems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9039-516X","authenticated-orcid":false,"given":"Sergey","family":"Kurbatov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Fominykh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksandr","family":"Vorobyev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,4]]},"reference":[{"key":"22_CR1","unstructured":"Kuhn, T.: The Structure of Scientific Revolutions. Chicago, 1962; 2edn. Chicago, 1970. HOL interactive theorem prover (2018)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Lakoff, G.: Metaphors We Live By. University of Chicago Press. 2003 edition contains an 'Afterword', 2003 (1980)","DOI":"10.7208\/chicago\/9780226470993.001.0001"},{"key":"22_CR3","unstructured":"Naidenova, X., Kurbatov, S., Ganapolsky, V.: Cognitive models in planimetric task text processing. Int. J. Cogn. Res. Sci. Eng. Educ. (ISSN: 2334\u2013847X)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Kurbatov, S.S., Fominykh, I.B., Vorobyev, A.B.: ontology-controlled geometric solver. In: Kuznetsov, S.O., Panov, A.I., Yakovlev, K.S. (eds.) Artificial Intelligence. RCAI 2020. LNCS, vol. 12412. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59535-7_19","DOI":"10.1007\/978-3-030-59535-7_19"},{"key":"22_CR5","first-page":"432","volume-title":"Mathematical Discovery: On Understanding, Learning and Teaching Problem Solving","author":"G Polya","year":"1981","unstructured":"Polya, G.: Mathematical Discovery: On Understanding, Learning and Teaching Problem Solving, p. 432. Wiley, Hoboken (1981)"},{"key":"22_CR6","unstructured":"Dynamic mathematics with JavaScript, JSXGraph is a cross-browser JavaScript library for interactive geometry, function plotting, charting, and data visualization in the web browser. \u2013 http:\/\/jsxgraph.uni-bayreuth.de\/wp\/index.html"},{"key":"22_CR7","unstructured":"MathJax is a cross-browser JavaScript library that displays mathematical notation in web browsers, using MathML, LaTeX and ASCIIMathML markup. \u2013 https:\/\/github.com\/mathjax\/MathJax\/releases\/tag\/3.1.2"},{"key":"22_CR8","unstructured":"Screenshot-1. http:\/\/www.eia--dostup.ru\/APP-1.pdf"},{"key":"22_CR9","unstructured":"Screenshot-2. http:\/\/www.eia--dostup.ru\/APP-2.pdf"},{"key":"22_CR10","unstructured":"Kulanin, E.D.: 3000 konkursnyh zadach po matematike. Geometriya, Ileksa (2018)"},{"key":"22_CR11","volume-title":"Conceptual information processing","author":"RC Schenk","year":"1975","unstructured":"Schenk, R.C., Goldman, N.M., Rieger, C.J., Riesbeck, C.K.: Conceptual information processing. Norh-Holland Publishing Company, Amsterdam (1975)"},{"key":"22_CR12","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0285(72)90002-3","volume-title":"Understanding Natural Language","author":"T Winograd","year":"1972","unstructured":"Winograd, T.: Understanding Natural Language. Academic Press, New York (1972)"},{"key":"22_CR13","first-page":"152","volume-title":"Fundamentals of Dynamic Geometry","author":"TF Sergeeva","year":"2016","unstructured":"Sergeeva, T.F., Shabanova, M.V., Grozdev, S.I.: Fundamentals of Dynamic Geometry, p. 152. Publishing house ASOU, Russia (2016).(in Russian)"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Sergey, S., Kurbatov, I.B., Fominykh, A.B.: Vorobyev applied aspects of the integrated problem solving system with natural language interface. In: Conference: 2020 V International Conference on Information Technologies in Engineering Education ( Inforino ), IEEE Computer Society (2020)","DOI":"10.1109\/Inforino48376.2020.9111841"},{"key":"22_CR15","unstructured":"Gan, W., Yu, X.: Automatic understanding and formalization of natural language geometry problems using syntax-semantics models. Int. J. Innov. Comput. Inf. Control ICIC 14(1), 83\u201398 (2018)"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Seo, M., Hajishirzi, H., Farhadi, A., Etzioni, O., Malcolm, C.: Solving geometry problems: combining text and diagram interpretation. http:\/\/geometry.allenai.org\/assets\/emnlp2015.pdf","DOI":"10.18653\/v1\/D15-1171"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Shi, S., Wang, Y., Lin, C.-Y., Liu, X., Yong Rui, Y:. Automatically solving number word problems by semantic parsing and reasoning. In: Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing. Lisbon, Portugal, 17\u201321 September, pp. 1132\u20131142 (2015)","DOI":"10.18653\/v1\/D15-1135"},{"key":"22_CR18","unstructured":"Wang, K., Su, Z.: Automated geometry theorem proving for human-readable proofs. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Buenos Aires, Argentina, 25\u201331 July (2015)"},{"key":"22_CR19","unstructured":"AllenNLP 2.5.0. https:\/\/pypi.org\/project\/allennlp\/"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-86855-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,4]],"date-time":"2021-10-04T23:06:51Z","timestamp":1633388811000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-86855-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030868543","9783030868550"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-86855-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"4 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RCAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Russian Conference on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Taganrog","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Russia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rcai2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2021.rncai.ru\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"80","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,9","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}