{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:29Z","timestamp":1750221269234,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":67,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,9]],"date-time":"2017-09-09T00:00:00Z","timestamp":1504915200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EPSRC","award":["EP\/K040251\/1"],"award-info":[{"award-number":["EP\/K040251\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,9]]},"DOI":"10.1145\/3122938.3122942","type":"proceedings-article","created":{"date-parts":[[2017,8,30]],"date-time":"2017-08-30T12:52:29Z","timestamp":1504097549000},"page":"10-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Modelling the way mathematics is actually done"],"prefix":"10.1145","author":[{"given":"Joseph","family":"Corneli","sequence":"first","affiliation":[{"name":"University of Edinburgh, UK"}]},{"given":"Ursula","family":"Martin","sequence":"additional","affiliation":[{"name":"University of Oxford, UK"}]},{"given":"Dave","family":"Murray-Rust","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}]},{"given":"Alison","family":"Pease","sequence":"additional","affiliation":[{"name":"University of Dundee, UK"}]},{"given":"Raymond","family":"Puzio","sequence":"additional","affiliation":[{"name":"PlanetMath.org, USA"}]},{"given":"Gabriela","family":"Rino Nesin","sequence":"additional","affiliation":[{"name":"University of Brighton, UK"}]}],"member":"320","published-online":{"date-parts":[[2017,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Drawing programs: the theory and practice of schematic functional programming","author":"Addis Tom","year":"2009","unstructured":"Tom Addis and Jan Addis . Drawing programs: the theory and practice of schematic functional programming . Springer Science & amp; Business Media, 2009 . Tom Addis and Jan Addis. Drawing programs: the theory and practice of schematic functional programming. Springer Science & Business Media, 2009."},{"issue":"1","key":"e_1_3_2_1_2_1","first-page":"58","article-title":"A city is not a tree","volume":"122","author":"Alexander Christopher","year":"1965","unstructured":"Christopher Alexander . A city is not a tree . Architectural Forum , 122 ( 1 ): 58 \u2013 62 , April 1965 . Christopher Alexander. A city is not a tree. Architectural Forum, 122(1):58\u201362, April 1965.","journal-title":"Architectural Forum"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198245537.001.0001","volume-title":"How to Do Things With Words","author":"Austin John Langshaw","year":"1975","unstructured":"John Langshaw Austin . How to Do Things With Words . Oxford University Press , 1975 . John Langshaw Austin. How to Do Things With Words. Oxford University Press, 1975."},{"key":"e_1_3_2_1_4_1","volume-title":"The handbook of artificial intelligence","author":"Barr Avron","year":"1981","unstructured":"Avron Barr and Edward A Feigenbaum . The handbook of artificial intelligence , volume 1 . Butterworth-Heinemann , 1981 . Avron Barr and Edward A Feigenbaum. The handbook of artificial intelligence, volume 1. Butterworth-Heinemann, 1981."},{"key":"e_1_3_2_1_5_1","first-page":"231","volume-title":"Arne De Boever","author":"Barth\u00e9l\u00e9my Jean-Hugues","unstructured":"Jean-Hugues Barth\u00e9l\u00e9my . Fifty key terms in the works of Gilbert Simondon . In Arne De Boever , Alex Murray, Jon Roffe, and Ashley Woodward, editors, Gilbert Simondon : Being and Technology , pages 203\u2013 231 . Edinburgh University Press, 2012. Jean-Hugues Barth\u00e9l\u00e9my. Fifty key terms in the works of Gilbert Simondon. In Arne De Boever, Alex Murray, Jon Roffe, and Ashley Woodward, editors, Gilbert Simondon: Being and Technology, pages 203\u2013231. Edinburgh University Press, 2012."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of 13th International Conference on Computational Models of Natural Argument (CMNA 2013)","author":"Budzynska Katarzyna","year":"2013","unstructured":"Katarzyna Budzynska , Mathilde Janier , Chris Reed , and Patrick Saint-Dizier . Towards extraction of dialogical arguments . In Proceedings of 13th International Conference on Computational Models of Natural Argument (CMNA 2013) , 2013 . Katarzyna Budzynska, Mathilde Janier, Chris Reed, and Patrick Saint-Dizier. Towards extraction of dialogical arguments. In Proceedings of 13th International Conference on Computational Models of Natural Argument (CMNA 2013), 2013."},{"key":"e_1_3_2_1_7_1","first-page":"924","volume-title":"Olena Yaskorska. A Model for Processing Illocutionary Structures and Argumentation in Debates. In Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC-2014)","author":"Budzynska Katarzyna","year":"2014","unstructured":"Katarzyna Budzynska , Mathilde Janier , Chris Reed , Patrick Saint-Dizier , Manfred Stede , and Olena Yaskorska. A Model for Processing Illocutionary Structures and Argumentation in Debates. In Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC-2014) , Reykjavik, Iceland , May 26-31, 2014 , pages 917\u2013 924 , 2014. Katarzyna Budzynska, Mathilde Janier, Chris Reed, Patrick Saint-Dizier, Manfred Stede, and Olena Yaskorska. A Model for Processing Illocutionary Structures and Argumentation in Debates. In Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC-2014), Reykjavik, Iceland, May 26-31, 2014, pages 917\u2013924, 2014."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.2013.0194"},{"key":"e_1_3_2_1_9_1","volume-title":"Dialogue games: An approach to discourse analysis","author":"Carlson Lauri","year":"2012","unstructured":"Lauri Carlson . Dialogue games: An approach to discourse analysis . Springer Science & amp; Business Media, 2012 . Lauri Carlson. Dialogue games: An approach to discourse analysis. Springer Science & Business Media, 2012."},{"key":"e_1_3_2_1_10_1","volume-title":"Logical syntax of language","author":"Carnap Rudolf","year":"1937","unstructured":"Rudolf Carnap . Logical syntax of language . Psychology Press , 1937 . Rudolf Carnap. Logical syntax of language. Psychology Press, 1937."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5840\/thinking19888129"},{"key":"e_1_3_2_1_12_1","volume-title":"Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, 2017","author":"Corneli Joseph","year":"2017","unstructured":"Joseph Corneli , Ursula Martin , Dave Murray-Rust , and Alison Pease . Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues. In Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, and Olaf Teschke, editors , Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, 2017 , Proceedings , 2017 . Joseph Corneli, Ursula Martin, Dave Murray-Rust, and Alison Pease. Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues. In Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, and Olaf Teschke, editors, Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, 2017, Proceedings, 2017."},{"key":"e_1_3_2_1_13_1","volume-title":"Technical report, metameso.org\/ar\/","author":"Corneli Joseph","year":"2017","unstructured":"Joseph Corneli and Raymond Puzio . Arxana 2017. Technical report, metameso.org\/ar\/ , 2017 . Joseph Corneli and Raymond Puzio. Arxana 2017. Technical report, metameso.org\/ar\/, 2017."},{"key":"e_1_3_2_1_14_1","first-page":"195","volume-title":"International Conference on Intelligent Computer Mathematics","author":"Cramer Marcos","unstructured":"Marcos Cramer , Peter Koepke , and Bernhard Schr\u00f6der . Parsing and disambiguation of symbolic mathematics in the Naproche system . In International Conference on Intelligent Computer Mathematics , pages 180\u2013 195 . Springer, 2011. Marcos Cramer, Peter Koepke, and Bernhard Schr\u00f6der. Parsing and disambiguation of symbolic mathematics in the Naproche system. In International Conference on Intelligent Computer Mathematics, pages 180\u2013195. Springer, 2011."},{"key":"e_1_3_2_1_15_1","first-page":"36","volume-title":"KONVENS","author":"Cramer Marcos","year":"2010","unstructured":"Marcos Cramer , Daniel K\u00fchlwein , and Bernhard Schr\u00f6der . Presupposition Projection and Accommodation in Mathematical Texts . In KONVENS , pages 29\u2013 36 , 2010 . Marcos Cramer, Daniel K\u00fchlwein, and Bernhard Schr\u00f6der. Presupposition Projection and Accommodation in Mathematical Texts. In KONVENS, pages 29\u201336, 2010."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020316000277"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(92)90124-Z"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1121583"},{"key":"e_1_3_2_1_19_1","first-page":"39","volume-title":"Journal of Automated Reasoning","author":"Ganesalingam M.","year":"2016","unstructured":"M. Ganesalingam and W. T. Gowers . A Fully Automatic Theorem Prover with Human-Style Output . Journal of Automated Reasoning , pages 1\u2013 39 , 2016 . M. Ganesalingam and W. T. Gowers. A Fully Automatic Theorem Prover with Human-Style Output. Journal of Automated Reasoning, pages 1\u201339, 2016."},{"key":"e_1_3_2_1_20_1","series-title":"LNCS","volume-title":"A Linguistic and Philosophical Investigation","author":"Ganesalingam Mohan","year":"2013","unstructured":"Mohan Ganesalingam . The Language of Mathematics , A Linguistic and Philosophical Investigation , volume 7805 of LNCS . Springer Verlag , 2013 . Mohan Ganesalingam. The Language of Mathematics, A Linguistic and Philosophical Investigation, volume 7805 of LNCS. Springer Verlag, 2013."},{"key":"e_1_3_2_1_21_1","volume-title":"The structure of mathematical expressions. Master\u2019s thesis","author":"Ginev Deyan","year":"2011","unstructured":"Deyan Ginev . The structure of mathematical expressions. Master\u2019s thesis , Jacobs University , Bremen, Germany , 2011 . Deyan Ginev. The structure of mathematical expressions. Master\u2019s thesis, Jacobs University, Bremen, Germany, 2011."},{"key":"e_1_3_2_1_22_1","series-title":"Atlantis Thinking Machines","volume-title":"Engineering General Intelligence, Part 1: A Path to Advanced AGI via Embodied Learning and Cognitive Synergy","author":"Goertzel Ben","year":"2014","unstructured":"Ben Goertzel , Cassio Pennachin , and Nil Geisweiller . Engineering General Intelligence, Part 1: A Path to Advanced AGI via Embodied Learning and Cognitive Synergy , volume 5 of Atlantis Thinking Machines . Springer , 2014 . Ben Goertzel, Cassio Pennachin, and Nil Geisweiller. Engineering General Intelligence, Part 1: A Path to Advanced AGI via Embodied Learning and Cognitive Synergy, volume 5 of Atlantis Thinking Machines. Springer, 2014."},{"key":"e_1_3_2_1_23_1","series-title":"Atlantis Thinking Machines","volume-title":"Embodied AGI","author":"Goertzel Ben","year":"2014","unstructured":"Ben Goertzel , Cassio Pennachin , and Nil Geisweiller . Engineering General Intelligence, Part 2: The CogPrime Architecture for Integrative , Embodied AGI , volume 6 of Atlantis Thinking Machines . Springer , 2014 . Ben Goertzel, Cassio Pennachin, and Nil Geisweiller. Engineering General Intelligence, Part 2: The CogPrime Architecture for Integrative, Embodied AGI, volume 6 of Atlantis Thinking Machines. Springer, 2014."},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the Eighth International Conference on Computational Creativity, ICCC 2017","author":"Guckelsberger Christian","year":"2017","unstructured":"Christian Guckelsberger , Christoph Salge , and Simon Colton . Addressing the \u201cWhy?\u201d in Computational Creativity: A Non-Anthropocentric, Minimal Model of Intentional Creative Agency. In Ashok Goel, Anna Jordanous, Alison Pease, Mikhail Jacob, and Matthew Guzdial, editors , Proceedings of the Eighth International Conference on Computational Creativity, ICCC 2017 , 2017 . Christian Guckelsberger, Christoph Salge, and Simon Colton. Addressing the \u201cWhy?\u201d in Computational Creativity: A Non-Anthropocentric, Minimal Model of Intentional Creative Agency. In Ashok Goel, Anna Jordanous, Alison Pease, Mikhail Jacob, and Matthew Guzdial, editors, Proceedings of the Eighth International Conference on Computational Creativity, ICCC 2017, 2017."},{"key":"e_1_3_2_1_25_1","volume-title":"Forum of Mathematics, Pi","author":"Thomas Hales","year":"2017","unstructured":"Thomas Hales et al. A formal proof of the Kepler conjecture . In Forum of Mathematics, Pi , volume 5 . Cambridge University Press , 2017 . Thomas Hales et al. A formal proof of the Kepler conjecture. In Forum of Mathematics, Pi, volume 5. Cambridge University Press, 2017."},{"key":"e_1_3_2_1_26_1","first-page":"1701","volume-title":"Advances in Neural Information Processing Systems","author":"Hermann Karl Moritz","year":"2015","unstructured":"Karl Moritz Hermann , Tomas Kocisky , Edward Grefenstette , Lasse Espeholt , Will Kay , Mustafa Suleyman , and Phil Blunsom . Teaching machines to read and comprehend . In Advances in Neural Information Processing Systems , pages 1693\u2013 1701 , 2015 . Karl Moritz Hermann, Tomas Kocisky, Edward Grefenstette, Lasse Espeholt, Will Kay, Mustafa Suleyman, and Phil Blunsom. Teaching machines to read and comprehend. In Advances in Neural Information Processing Systems, pages 1693\u20131701, 2015."},{"key":"e_1_3_2_1_27_1","volume-title":"Mathematical reasoning with diagrams","author":"Jamnik Mateja","year":"2001","unstructured":"Mateja Jamnik . Mathematical reasoning with diagrams . University of Chicago Press , 2001 . Mateja Jamnik. Mathematical reasoning with diagrams. University of Chicago Press, 2001."},{"key":"e_1_3_2_1_28_1","volume-title":"HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving. CoRR, abs\/1703.00426","author":"Kaliszyk Cezary","year":"2017","unstructured":"Cezary Kaliszyk , Fran\u00e7ois Chollet , and Christian Szegedy . HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving. CoRR, abs\/1703.00426 , 2017 . Cezary Kaliszyk, Fran\u00e7ois Chollet, and Christian Szegedy. HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving. CoRR, abs\/1703.00426, 2017."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-014-9303-3"},{"key":"e_1_3_2_1_30_1","unstructured":"Cezary Kaliszyk Josef Urban Ji\u0159\u00ed Vysko\u010dil and Herman Geuvers. Developing corpus-based translation methods between informal and formal mathematics {Poster of { 31 }}. http:\/\/cl-informatik.uibk.ac.at\/cek\/docs\/14\/ ckjujvhg-cicm14-poster.pdf .  Cezary Kaliszyk Josef Urban Ji\u0159\u00ed Vysko\u010dil and Herman Geuvers. Developing corpus-based translation methods between informal and formal mathematics {Poster of { 31 }}. http:\/\/cl-informatik.uibk.ac.at\/cek\/docs\/14\/ ckjujvhg-cicm14-poster.pdf ."},{"key":"e_1_3_2_1_31_1","first-page":"439","volume-title":"International Conference on Intelligent Computer Mathematics","author":"Kaliszyk Cezary","unstructured":"Cezary Kaliszyk , Josef Urban , Ji\u0159\u00ed Vysko\u010dil , and Herman Geuvers . Developing corpus-based translation methods between informal and formal mathematics . In International Conference on Intelligent Computer Mathematics , pages 435\u2013 439 . Springer, 2014. Cezary Kaliszyk, Josef Urban, Ji\u0159\u00ed Vysko\u010dil, and Herman Geuvers. Developing corpus-based translation methods between informal and formal mathematics. In International Conference on Intelligent Computer Mathematics, pages 435\u2013439. Springer, 2014."},{"key":"e_1_3_2_1_32_1","volume-title":"March","author":"Koch Christof","year":"2017","unstructured":"Christof Koch . How the Computer Beat the Go Master , March 2017 . Christof Koch. How the Computer Beat the Go Master, March 2017."},{"key":"e_1_3_2_1_33_1","volume-title":"STEX: Semantic markup in TEX\/L A TEX. Self-Documenting L A TEX package","author":"Kohlhase M.","year":"2017","unstructured":"M. Kohlhase . STEX: Semantic markup in TEX\/L A TEX. Self-Documenting L A TEX package , 2017 . M. Kohlhase. STEX: Semantic markup in TEX\/L A TEX. Self-Documenting L A TEX package, 2017."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2012.78"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139171472"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1995.12004627"},{"issue":"173","key":"e_1_3_2_1_37_1","first-page":"183","article-title":"Specifying Concurrent Systems with TLA + . NATO Science Series","volume":"173","author":"Lamport Leslie","year":"1999","unstructured":"Leslie Lamport . Specifying Concurrent Systems with TLA + . NATO Science Series , III: Computer and Systems Sciences , 173 ( 173 ): 183 \u2013 247 , 1999 . Leslie Lamport. Specifying Concurrent Systems with TLA + . NATO Science Series, III: Computer and Systems Sciences, 173(173):183\u2013247, 1999.","journal-title":"III: Computer and Systems Sciences"},{"key":"e_1_3_2_1_38_1","volume-title":"How to write a 21st century proof. Journal of fixed point theory and applications, 11(1):43\u201363","author":"Lamport Leslie","year":"2012","unstructured":"Leslie Lamport . How to write a 21st century proof. Journal of fixed point theory and applications, 11(1):43\u201363 , 2012 . Leslie Lamport. How to write a 21st century proof. Journal of fixed point theory and applications, 11(1):43\u201363, 2012."},{"key":"e_1_3_2_1_39_1","volume-title":"A Preliminary Guide","author":"Lamport Leslie","year":"2014","unstructured":"Leslie Lamport . TLA +2 : A Preliminary Guide . 2014 . Leslie Lamport. TLA +2 : A Preliminary Guide. 2014."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5840\/owl199931119"},{"key":"e_1_3_2_1_41_1","volume-title":"Symbol Grounding via Chaining of Morphisms. CoRR, abs\/1703.04368","author":"Lian Ruiting","year":"2017","unstructured":"Ruiting Lian , Ben Goertzel , Linas Vepstas , David Hanson , and Changle Zhou . Symbol Grounding via Chaining of Morphisms. CoRR, abs\/1703.04368 , 2017 . Ruiting Lian, Ben Goertzel, Linas Vepstas, David Hanson, and Changle Zhou. Symbol Grounding via Chaining of Morphisms. CoRR, abs\/1703.04368, 2017."},{"key":"e_1_3_2_1_42_1","volume-title":"Deep Network Guided Proof Search. CoRR, abs\/1701.06972","author":"Loos Sarah M.","year":"2017","unstructured":"Sarah M. Loos , Geoffrey Irving , Christian Szegedy , and Cezary Kaliszyk . Deep Network Guided Proof Search. CoRR, abs\/1701.06972 , 2017 . Sarah M. Loos, Geoffrey Irving, Christian Szegedy, and Cezary Kaliszyk. Deep Network Guided Proof Search. CoRR, abs\/1701.06972, 2017."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(92)90136-6"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00128990"},{"key":"e_1_3_2_1_45_1","volume-title":"RDF primer. W3C recommendation","author":"Manola Frank","year":"2004","unstructured":"Frank Manola , Eric Miller , Brian McBride , RDF primer. W3C recommendation , 2004 . Frank Manola, Eric Miller, Brian McBride, et al. RDF primer. W3C recommendation, 2004."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.10.001"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1080\/13546780442000024"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/504216.504281"},{"key":"e_1_3_2_1_49_1","first-page":"124","volume-title":"The cognitive foundations of mathematics. Handbook of mathematical cognition","author":"N\u00fa\u00f1ez Rafael","year":"2005","unstructured":"Rafael N\u00fa\u00f1ez and George Lakoff . The cognitive foundations of mathematics. Handbook of mathematical cognition , pages 109\u2013 124 , 2005 . Rafael N\u00fa\u00f1ez and George Lakoff. The cognitive foundations of mathematics. Handbook of mathematical cognition, pages 109\u2013124, 2005."},{"key":"e_1_3_2_1_50_1","first-page":"66","volume-title":"Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA 2014","author":"Pease Alison","year":"2014","unstructured":"Alison Pease , Katarzyna Budzynska , John Lawrence , and Chris Reed . Lakatos Games for Mathematical Argument. In S. Parsons, N. Oren, C. Reed, and F. Cerutti, editors , Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA 2014 ), pages 59\u2013 66 , Pitlochry , 2014 . IOS Press. Alison Pease, Katarzyna Budzynska, John Lawrence, and Chris Reed. Lakatos Games for Mathematical Argument. In S. Parsons, N. Oren, C. Reed, and F. Cerutti, editors, Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA 2014), pages 59\u201366, Pitlochry, 2014. IOS Press."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2017.02.006"},{"key":"e_1_3_2_1_52_1","volume-title":"The New Elements of Mathematics","author":"Peirce Charles S.","year":"1976","unstructured":"Charles S. Peirce . The New Elements of Mathematics , volume 4 . Mouton , 1976 . Charles S. Peirce. The New Elements of Mathematics, volume 4. Mouton, 1976."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"crossref","DOI":"10.1515\/9781400828678","volume-title":"How to Solve It","author":"P\u00f3lya G.","year":"1945","unstructured":"G. P\u00f3lya . How to Solve It . Princeton University Press , 1945 . G. P\u00f3lya. How to Solve It. Princeton University Press, 1945."},{"key":"e_1_3_2_1_54_1","volume-title":"Word and object","author":"Orman Quine Willard Van","year":"2013","unstructured":"Willard Van Orman Quine , Patricia S Churchland , and Dagfinn F\u00f8llesdal . Word and object . MIT press , 2013 . Willard Van Orman Quine, Patricia S Churchland, and Dagfinn F\u00f8llesdal. Word and object. MIT press, 2013."},{"key":"e_1_3_2_1_55_1","volume-title":"Using stories to teach human values to artificial agents","author":"Riedl Mark O","year":"2016","unstructured":"Mark O Riedl and Brent Harrison . Using stories to teach human values to artificial agents . In Paula Boddington, Miles Brundage, Joanna Bryson, Judy Goldsmith, Ben Kuipers, and Toby Walsh, editors, AI, Ethics , and Society Workshop at the Thirtieth AAAI Conference on Artificial Intelligence , 2016 . Mark O Riedl and Brent Harrison. Using stories to teach human values to artificial agents. In Paula Boddington, Miles Brundage, Joanna Bryson, Judy Goldsmith, Ben Kuipers, and Toby Walsh, editors, AI, Ethics, and Society Workshop at the Thirtieth AAAI Conference on Artificial Intelligence, 2016."},{"key":"e_1_3_2_1_56_1","volume-title":"Extending Inference Anchoring Theory for use with mathematical argumentation. Technical report","author":"Nesin Gabriela Rino","year":"2016","unstructured":"Gabriela Rino Nesin . Extending Inference Anchoring Theory for use with mathematical argumentation. Technical report , University of Edinburgh , 2016 . Gabriela Rino Nesin. Extending Inference Anchoring Theory for use with mathematical argumentation. Technical report, University of Edinburgh, 2016."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/0010-0285(72)90022-9"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","DOI":"10.4324\/9780203781036","volume-title":"plans, goals, and understanding: An inquiry into human knowledge structures","author":"Schank Roger C","year":"2013","unstructured":"Roger C Schank and Robert P Abelson . Scripts , plans, goals, and understanding: An inquiry into human knowledge structures . Psychology Press , 2013 . Roger C Schank and Robert P Abelson. Scripts, plans, goals, and understanding: An inquiry into human knowledge structures. Psychology Press, 2013."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1287\/opre.6.1.1"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.09.004"},{"key":"e_1_3_2_1_62_1","volume-title":"Elsevier","author":"Sowa John F","year":"2008","unstructured":"John F Sowa . Conceptual Graphs . In F. van Harmelen , V. Lifschitz , and B. Porter , editors, Handbook of Knowledge Representation, chapter 5, pages 213\u2013237 . Elsevier , 2008 . John F Sowa. Conceptual Graphs. In F. van Harmelen, V. Lifschitz, and B. Porter, editors, Handbook of Knowledge Representation, chapter 5, pages 213\u2013237. Elsevier, 2008."},{"key":"e_1_3_2_1_63_1","first-page":"36","volume-title":"Conceptual Structures for Knowledge Creation and Communication: 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings, number 2746 in LNAI","author":"Sowa John F","unstructured":"John F Sowa and Arun K Majumdar . Analogical reasoning. In A. Aldo, W. Lex, and B. Ganter, editors , Conceptual Structures for Knowledge Creation and Communication: 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings, number 2746 in LNAI , pages 16\u2013 36 . Springer, 2003. John F Sowa and Arun K Majumdar. Analogical reasoning. In A. Aldo, W. Lex, and B. Ganter, editors, Conceptual Structures for Knowledge Creation and Communication: 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings, number 2746 in LNAI, pages 16\u201336. Springer, 2003."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094855.1094860"},{"key":"e_1_3_2_1_65_1","volume-title":"We Really Don\u2019t Know How To Compute! In Strange Loop","author":"Sussman Gerald Jay","year":"2011","unstructured":"Gerald Jay Sussman . We Really Don\u2019t Know How To Compute! In Strange Loop , 2011 . Gerald Jay Sussman. We Really Don\u2019t Know How To Compute! In Strange Loop, 2011."},{"key":"e_1_3_2_1_66_1","volume-title":"On proof and progress in mathematics. Bulletin (New Series) of the American Mathematical Society, 30(2):161\u2013177","author":"Thurston W.P.","year":"1994","unstructured":"W.P. Thurston . On proof and progress in mathematics. Bulletin (New Series) of the American Mathematical Society, 30(2):161\u2013177 , 1994 . W.P. Thurston. On proof and progress in mathematics. Bulletin (New Series) of the American Mathematical Society, 30(2):161\u2013177, 1994."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/4.3.256"},{"key":"e_1_3_2_1_69_1","volume-title":"Praveen Paritosh. Characterizing Online Discussion Using Coarse Discourse Sequences. In Proceedings of the Eleventh International Conference on Web and Social Media. AAAI Press","author":"Zhang Amy X","year":"2017","unstructured":"Amy X Zhang , Bryan Culbertson , and Praveen Paritosh. Characterizing Online Discussion Using Coarse Discourse Sequences. In Proceedings of the Eleventh International Conference on Web and Social Media. AAAI Press , 2017 . Amy X Zhang, Bryan Culbertson, and Praveen Paritosh. Characterizing Online Discussion Using Coarse Discourse Sequences. In Proceedings of the Eleventh International Conference on Web and Social Media. AAAI Press, 2017."}],"event":{"name":"ICFP '17: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Oxford UK","acronym":"ICFP '17"},"container-title":["Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122938.3122942","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3122938.3122942","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:04Z","timestamp":1750212664000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122938.3122942"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,9]]},"references-count":67,"alternative-id":["10.1145\/3122938.3122942","10.1145\/3122938"],"URL":"https:\/\/doi.org\/10.1145\/3122938.3122942","relation":{},"subject":[],"published":{"date-parts":[[2017,9,9]]},"assertion":[{"value":"2017-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}