{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T04:02:03Z","timestamp":1748491323026,"version":"3.41.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031669965"},{"type":"electronic","value":"9783031669972"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-66997-2_20","type":"book-chapter","created":{"date-parts":[[2024,8,3]],"date-time":"2024-08-03T20:03:12Z","timestamp":1722715392000},"page":"345-351","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Oruga: Implementation and\u00a0Use of\u00a0Representational Systems Theory"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Raggi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gem","family":"Stapleton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aaron","family":"Stockdill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grecia Garcia","family":"Garcia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter C.-H.","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mateja","family":"Jamnik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,29]]},"reference":[{"issue":"2\u20133","key":"20_CR1","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0360-1315(99)00029-9","volume":"33","author":"S Ainsworth","year":"1999","unstructured":"Ainsworth, S.: The functions of multiple representations. Comput. Educ. 33(2\u20133), 131\u2013152 (1999)","journal-title":"Comput. Educ."},{"key":"20_CR2","first-page":"3","volume-title":"Logical Reasoning with Diagrams","author":"J Barwise","year":"1996","unstructured":"Barwise, J., Etchemendy, J.: Visual information and valid reasoning. In: Allwein, G., Barwise, J. (eds.) Logical Reasoning with Diagrams, pp. 3\u201325. Oxford University Press, Oxford (1996)"},{"issue":"2157","key":"20_CR3","doi-asserted-by":"publisher","first-page":"20130194","DOI":"10.1098\/rspa.2013.0194","volume":"469","author":"A Bundy","year":"2013","unstructured":"Bundy, A.: The interaction of representation and reasoning. Proc. Roy. Soc. A: Math. Phys. Eng. Sci. 469(2157), 20130194 (2013)","journal-title":"Proc. Roy. Soc. A: Math. Phys. Eng. Sci."},{"issue":"6","key":"20_CR4","doi-asserted-by":"publisher","first-page":"945","DOI":"10.1016\/j.jvlc.2014.10.022","volume":"25","author":"P Chapman","year":"2014","unstructured":"Chapman, P., Stapleton, G., Rodgers, P.: PaL diagrams: a linear diagram-based visual language. J. Vis. Lang. Comput. 25(6), 945\u2013954 (2014)","journal-title":"J. Vis. Lang. Comput."},{"issue":"3","key":"20_CR5","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1111\/j.1756-8765.2009.01065.x","volume":"3","author":"PC-H Cheng","year":"2011","unstructured":"Cheng, P.C.-H.: Probably good diagrams for learning: representational epistemic recodification of probability theory. Top. Cogn. Sci. 3(3), 475\u2013498 (2011)","journal-title":"Top. Cogn. Sci."},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-030-86062-2_43","volume-title":"Diagrammatic Representation and Inference","author":"PC-H Cheng","year":"2021","unstructured":"Cheng, P.C.-H., Garcia Garcia, G., Raggi, D., Stockdill, A., Jamnik, M.: Cognitive properties of representations: a framework. In: Basu, A., Stapleton, G., Linker, S., Legg, C., Manalo, E., Viana, P. (eds.) Diagrams 2021. LNCS (LNAI), vol. 12909, pp. 415\u2013430. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-86062-2_43"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-319-03545-1_9","volume-title":"Certified Programs and Proofs","author":"B Huffman","year":"2013","unstructured":"Huffman, B., Kun\u010dar, O.: Lifting and transfer: a modular design for quotients in Isabelle\/HOL. In: Gonthier, G., Norrish, M. (eds.) CPP 2013. LNCS, vol. 8307, pp. 131\u2013146. Springer, Cham (2013). https:\/\/doi.org\/10.1007\/978-3-319-03545-1_9"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Jamnik, M., Cheng, P.C.-H.: Endowing Machines with the Expert Human Ability to Select Representations: Why and How, pp. 355\u2013378. Oxford University Press (2021). Book Section\u00a018","DOI":"10.1093\/oso\/9780198862536.003.0018"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1111\/j.1551-6708.1987.tb00863.x","volume":"11","author":"JH Larkin","year":"1987","unstructured":"Larkin, J.H., Simon, H.A.: Why a diagram is (sometimes) worth ten thousand words. J. Cogn. Sci. 11, 65\u201399 (1987)","journal-title":"J. Cogn. Sci."},{"issue":"1","key":"20_CR10","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1146\/annurev.cs.01.060186.001351","volume":"1","author":"HJ Levesque","year":"1986","unstructured":"Levesque, H.J.: Knowledge representation and reasoning. Annu. Rev. Comput. Sci. 1(1), 255\u2013287 (1986)","journal-title":"Annu. Rev. Comput. Sci."},{"key":"20_CR11","unstructured":"Raggi, D., Stapleton, G., Stockdill, A., Jamnik, M., Garcia, G.G., Cheng, P.C-H.: Structure transfer: an inference-based method for representation transformation (2023). In preparation \u2013 available on request"},{"key":"20_CR12","unstructured":"Raggi, D., Stapleton, G., Stockdill, A., Jamnik, M., Garcia, G.G., Cheng, P.C.-H.: Representational systems theory: a unified approach to encoding, analysing and transforming representations. Accepted for Publication at CSLI Press (2024). arXiv:2206.03172"},{"issue":"2","key":"20_CR13","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10849-017-9250-6","volume":"26","author":"G Stapleton","year":"2017","unstructured":"Stapleton, G., Jamnik, M., Shimojima, A.: What makes an effective representation of information: a formal account of observational advantages. J. Logic Lang. Inform. 26(2), 143\u2013177 (2017)","journal-title":"J. Logic Lang. Inform."},{"key":"20_CR14","doi-asserted-by":"publisher","unstructured":"Wu, L., et al.: Generation of visual representations for multi-modal mathematical knowledge. In: AAAI Demonstrations (2024). rep2rep.cl.cam.ac.uk\/mare, https:\/\/doi.org\/10.1609\/aaai.v38i21.30586","DOI":"10.1609\/aaai.v38i21.30586"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-66997-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T06:05:35Z","timestamp":1748412335000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-66997-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031669965","9783031669972"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-66997-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CICM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Computer Mathematics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Montreal, QC","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 August 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mkm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cicm-conference.org\/2024\/cicm.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}