{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,6]]，“日期-时间”：“2024-09-06T10:46:56Z”，“时间戳”：1725619616730}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：67，“发布商”：“ACM”，“许可证”：[{“开始”:{“日期-零件”：[2017,9,9]]，“日期时间”：“2017-09-09T00:00:00Z”，“时间戳”：1504915200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“出资人”：[{“name”：“EPSRC”，“award”：[“EP\/K040251\/1”]}]，”content-domain“：{”domain“:[”dl.acm.org“]，”crossmark-restriction“：true}，”shortcontainer-title“：[]，“published-print”：{“date-parts”：[[2017,9,9]]}，“DOI”：“10.1145\/3122938.3122942”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2017,8,30]]，“date-time”：“2017-08-30T12:52:29Z”，“timestamp”：1504097549000}，“page”：：“10-19”，“update-policy”：”http://\/dx.doi.org\/10.1145\/crossmark-policy“，”source“Crossref”，“is-referenced-by-count”：6，“title”：[“建模数学的实际实现方式”]，“prefix”：“10.1145”，“volume”：“122”，“author”：[{“给定”：“Joseph”，“family”：“Corneli”，“sequence”：“first”，“affiliation”：[}“name”：“University of Edinburgh，UK”}]}，{“given”：”Ursula“，”family“：”Martin“sequence:”additional“，”affiliation:[{”name“：”University ofOxford，UK“}]}，{”givent“Dave”，“家庭”：“Murray-Rust”，”sequence“：”附加“，”从属关系“：[{“name”：“University of Edinburgh，UK”}]}，{“given”：“Alison”，“family”：“Pease”，“sequence”：“additional”，“affiliation:[{”name“：”University ofDundee，UK“}]}，{”given“：”Raymond“，”family“：”Puzio“，”sequence“：”additional，“sequence”：“additional”，“affiliation”：[{“name”：“University of Brighton，UK”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2017,9,9]]}，“reference”：“volume-title”：“Drawing programs:the theory and practice of schematic functional programming”，“year”：“2009”，“author”：“Addis Tom”，“key”：“e_1_3_2_1_1_1_1”，“unstructured”：“Tom Addis和Jan Addis。绘图程序：图式函数编程的理论和实践。Springer Science&Business Media，2009。Tom Addies和Jan Adis。绘图项目：图式功能编程的理论与实践。Spring er Science＆Business Media，2009.”}，{“issue”：“1”，“key”：“e_1_3_2_1_2_1”，“first page”：“58”，“文章标题”：“城市不是树”，“卷”：“122”，“作者”：“亚历山大·克里斯托弗”，“年份”：“1965年”，“非结构化”：“克里斯托弗·亚历山大。城市不是树。建筑论坛，122（1）：58\u2013 621965年4月。克里斯托弗·亚历山大。一个城市不是树，建筑论坛，22（1）:58\u2013621965月。”，“新闻标题”：“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年。”}，{“volume-title”：“人工智能手册”，“year”：“1981”，“author”：“Barr Avron”，“key”：“e_1_3_2_1_4_1”，《非结构化》：“Avron Barr和Edward A Feigenbaum，《人工智能手册》，第1卷。Butterworth-Heinemann，1981年。Avron Bar和爱德华A Feigen baum，人工智能手册，第1册。Butterworth-Heinemann，1981.“}，{“首页”：“231”，“卷标”：“Arne De Boever”，“作者”：“Barth\u00e9l\u00e9my Jean-Hugues”，“键”：“e_1_3_2_1_5_1”，“非结构化”：“Jean-Hugues Barth\u00e9l\u00e 9岁。吉尔伯特·西蒙登作品中的五十个关键术语。Arne De Boever、Alex Murray、Jon Roffe和Ashley Woodward，编辑，Gilbert Simondon:Being and Technology，第203\u2013 231页。爱丁堡大学出版社，2012年。Jean Hugues Barth\u00e9l\u00e9年。吉尔伯特·西蒙登作品中的五十个关键术语。阿恩·德博弗、亚历克斯·穆雷、乔恩·罗菲和阿什利·伍德沃德主编，吉尔伯特·西蒙登：存在与技术，第203\u2013231页。爱丁堡大学出版社，2012.“}，{“volume-title”：“第十三届自然论证计算模型国际会议论文集（CMNA 2013）”，“年份”：“2013”，“作者”：“Budzynska Katarzyna”，“key”：“e_1_3_2_1_6_1”，“非结构化”：“Katarzyna Budzynska、Mathilde Janier、Chris Reed和Patrick Saint-Dizier。对话论点的提取。《第十三届自然论证计算模型国际会议论文集》（CMNA 2013），2013年。Katarzyna Budzynska、Mathilde Janier、Chris Reed和Patrick Saint-Dizier。对话论点的提取。《第十三届自然论证计算模型国际会议论文集》（CMNA 2013），2013年。“}，{”key“：”e_1_3_2_1_7_1“，”first page“：“924”，”volume-title“：”奥列娜·亚斯科斯卡。辩论中话语结构和论证的处理模型。在《第九届国际语言资源与评价会议论文集》（LREC-2014）中，“作者”：“Budzynska Katarzyna”，“年份”：“2014年”，“非结构化”：“Katarzyanska、Mathilde Janier、Chris Reed、Patrick Saint-Dizier、Manfred Stede和Olena Yaskorska。辩论中话语结构和论证的处理模型。2014年5月26日至31日，冰岛雷克雅未克，第九届国际语言资源与评估会议记录，第917\u2013 924页。卡塔兹娜·巴丁斯卡（Katarzyna Budzynska）、马蒂尔德·贾尼尔（Mathilde Janier）、克里斯·里德（Chris Reed）、帕特里克·圣蒂泽尔（Patrick Saint-Dizier）、曼弗雷德·斯特德（Manfred Stede）和奥列娜·亚斯科斯卡（Olena Yaskorska）。辩论中话语结构和论证的处理模型。《第九届国际语言资源与评价会议论文集》（LREC-2014），冰岛雷克雅未克，2014年5月26日至31日，第917\u2013924页，2014年Carlson Lauri“，“key”：“e_1_3_2_1_9_1”，“非结构化”：“Lauri Carlson。对话游戏：一种话语分析方法。施普林格科学公司；商业媒体，2012年。劳里·卡尔森。对话游戏：一种话语分析方法。Springer Science&Business Media，2012.“}，{”volume-title“：“语言的逻辑语法”，“year”：“1937”，“author”：“Carnap Rudolf”，“key”：“e_1_3_2_1_10_1”，”unstructured“：”Rudolf-Carnap.语言的逻辑句法。心理学出版社，1937.Rudolf-Carnap.逻辑句法。心理出版社，1937publisher“，”DOI“：”10.5840\/thinking19888129“}，{”volume-title“：”智能计算机数学第十届国际会议，CICM 2017，英国爱丁堡，2017“，”年份“：”2017“，“作者”：“Corneli Joseph”，“key”：“e_1_3_2_12_1”，“非结构化”：“约瑟夫·科内利（Joseph Corneli）、乌苏拉·马丁（Ursula Martin）、戴夫·莫里·鲁斯特（Dave Murray-Rust）和艾莉森·皮斯（Alison Pease）。通过数学问答对话的内容和过程模型走向数学人工智能。Herman Geuvers、Matthew England、Osman Hasan、Florian Rabe和Olaf Teschke，智能计算机数学第十届国际会议编辑，CICM 2017，英国爱丁堡，2017，会议记录，2017。约瑟夫·科内利（Joseph Corneli）、乌苏拉·马丁（Ursula Martin）、戴夫·莫里·鲁斯特（Dave Murray-Rust）和艾莉森·皮斯（Alison Pease）。通过数学问答对话的内容和过程模型走向数学人工智能。Herman Geuvers、Matthew England、Osman Hasan、Florian Rabe和Olaf Teschke，智能计算机数学第十届国际会议编辑，CICM 2017，英国爱丁堡，2017，会议记录，2017。“}，{“volume-title”：“技术报告，metameso.org \/ar \/”，“年份”：“2017”，“作者”：“Corneli Joseph”，“密钥”：“e_1_3_2_13_1”，“非结构化”：“约瑟夫·科内利和雷蒙德·普齐奥。Arxana 2017年。技术报告，metameso.org，2017年。约瑟夫·科内利和雷蒙德·普齐奥。Arxana 2017年。技术报告，metameso.org，2017.“}，{“首页”：“195”，“卷-时间”：“智能计算机数学国际会议”，“作者”：“Cramer Marcos”，“密钥”：“e_1_3_2_1_14_1”，”非结构化“：”Marcos Cramer、Peter Koepke和Bernhard Schr。Naproche系统中符号数学的解析和消歧。在智能计算机数学国际会议上，第180页\u2013 195页。施普林格，2011年。马科斯·克莱默（Marcos Cramer）、彼得·科普克（Peter Koepke）和伯恩哈德·施罗德（Bernhard Schr \u00f6der）。Naproche系统中符号数学的解析和消歧。在智能计算机数学国际会议上，第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）和伯恩哈德·施罗德（Bernhard Schr\u00f6der）。数学文本中的预设投射和调节。在KONVENS，第29页\u2013第36页，2010年。马科斯·克莱默（Marcos Cramer）、丹尼尔·科夫奇尔温（Daniel K\u00fchlwein）和伯恩哈德·施罗德（Bernhard Schr\u00f6der）。数学文本中的预设投射和调节。在KONVENS，第29\u201336页，2010年。“publisher”，“doi”：“10.5555\/1121583”}，{“key”：“e_1_3_2_19_1”，”首页“：”39“，”卷标题“：《自动推理杂志》”，“作者”：“Ganesalingam M.”，“年份”：“2016”，“非结构化”：“M.Ganesalingam和W.T.Gowers。具有人性化输出的全自动定理证明器。《自动推理杂志》，第1\u2013 39页，2016年。M.Ganesalingam和W.T.Gowers。具有人性化输出的全自动定理证明器。《自动推理杂志》，第1\u201339页，2016年。“}，{”key“：”e_1_3_2_1_20_1“，”series-title“：”LNCS“，”volume-title“：“语言学和哲学研究”，“作者”：“Ganesalingam Mohan”，“年份”：“2013年”，“非结构化”：“莫汉·加内萨林根（Mohan Ganesalingam）。《数学语言，语言与哲学研究》，LNCS第7805卷。施普林格出版社，2013年。莫汉·加内萨林根（Mohan Ganesalingam）。《数学语言，语言与哲学研究》，LNCS第7805卷。Springer Verlag，2013.“}，{“volume-title”：“数学表达式的结构。硕士\u2019s论文”，“年份”：“2011”，“作者”：“Ginev Deyan”，“关键”：“e_1_3_2_1_21_1”，“非结构化”：“德扬·吉涅夫（Deyan Ginev）。数学表达式的结构。2011年，德国不来梅雅各布斯大学硕士论文。德扬·吉涅夫（Deyan Ginev）。数学表达式的结构。2019年硕士论文，德国不来梅雅各布斯大学，2011年。“}，{“key”：“e_1_3_2_1_22_1”，“series-title”：“亚特兰蒂斯思维机器”，“volume-title”：《工程通用智能，第1部分：通过实现学习和认知协同实现高级AGI的途径》，“author”：“Goertzel Ben”，“year”：“2014”，“unstructured”：“本·戈泽尔（Ben Goertzel）、凯西奥·佩纳钦（Cassio Pennachin）和尼尔·盖斯威勒（Nil Geisweiller）。《工程通用智能》，第1部分：通过具体化学习和认知协同实现高级AGI的途径，亚特兰蒂斯思维机器第5卷。斯普林格，2014年。本·戈泽尔（Ben Goertzel）、凯西奥·佩纳钦（Cassio Pennachin）和尼尔·盖斯威勒（Nil Geisweiller）。《工程通用智能》，第1部分：通过具体化学习和认知协同实现高级AGI的途径，亚特兰蒂斯思维机器第5卷。Springer，2014.“}，{”key“：”e_1_3_2_1_23_1“，”series-title“：”Atlantis Thinking Machines“，”volume-title“：“实体AGI”，“author”：“Goertzel Ben”，“year”：“2014”，“unstructured”：“本·戈策尔、卡西奥·彭纳钦和尼尔·盖斯维勒。《工程一般情报》，第2部分：《亚特兰蒂斯思维机器》第6卷，一体化、具体化AGI的CogPrime架构。斯普林格，2014年。本·戈泽尔（Ben Goertzel）、凯西奥·佩纳钦（Cassio Pennachin）和尼尔·盖斯威勒（Nil Geisweiller）。《工程一般情报》，第2部分：《亚特兰蒂斯思维机器》第6卷，一体化、具体化AGI的CogPrime架构。Springer，2014.“}，{“volume-title”：“第八届国际计算创造力会议论文集，2017年ICCC”，“年份”：“2017年”，“作者”：“Guckelsberger Christian”，“key”：“e_1_3_2_1_24_1”，“非结构化”：“Christian Guckelsberger，Christoph Salge，and Simon Colton。解决\u201cWhy？\u201d《计算创造力：一个非人本主义的意图创新机构的最小模型》。Ashok Goel、Anna Jordanous、Alison Pease、Mikhail Jacob和Matthew Guzdial，编辑，《第八届国际计算创造力会议论文集》，ICCC 2017年和2017年。Christian Guckelsberger、Christoph Salge和Simon Colton。解决\u201c为什么？\计算创造力中的u201d：一个非以人为中心的、意向创造性代理的最小模型。在Ashok Goel、Anna Jordanous、Alison Pease、Mikhail Jacob和Matthew Guzdial编辑的《第八届国际计算创造力会议论文集》中，ICCC 2017年，2017年。开普勒猜想的形式证明。数学论坛，Pi，第5卷。剑桥大学出版社，2017。托马斯·黑尔斯等人。开普勒猜想的正式证明。数学论坛，Pi，第5卷。剑桥大学出版社，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。教机器阅读和理解。《神经信息处理系统进展》，第1693\u2013 1701页，2015年。卡尔·莫里茨·赫尔曼（Karl Moritz Hermann）、托马斯·科西斯基（Tomas Kocisky）、爱德华·格雷芬斯特特（Edward Grefenstette）、拉斯·埃斯佩霍尔特（Lasse Espeholt）、威尔·凯（Will Kay）、穆斯塔法·苏莱曼（Mustafa Suleyman）和菲尔·布隆森（Phil Blunsom）。教机器阅读和理解。《神经信息处理系统进展》，第1693\u20131701页，2015年马蒂亚·贾姆尼克（Mateja Jamnik）。用图表进行数学推理。芝加哥大学出版社，2001年。马蒂亚·贾姆尼克（Mateja Jamnik）。用图表进行数学推理。芝加哥大学出版社，2001.“}，{“volume-title”：“HolStep:用于高阶逻辑定理证明的机器学习数据集。CoRR，abs\/1703.00426”，“年份”：“2017”，“作者”：“Kaliszyk Cezary”，“key”：“e_1_3_2_1_28_1”，“非结构化”：“Cezary Kaliszyk、Fran\u00e7ois Cholet和Christian Szegedy。HolStep:用于高阶逻辑定理证明的机器学习数据集。CoRR，abs \/1703.004262017年。Cezary Kaliszyk、Fran\u00e7ois Cholet和Christian Szegedy。HolStep:用于高阶逻辑定理证明的机器学习数据集。CoRR，abs\/1703.00426，2017。“}，{”key“：”e_1_3_2_1_29_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007”，{“key”：“e_1_ 3_2_1_30_1”，“unstructured”：“Cezary Kaliszyk Josef Urban Ji\u0159 \u00ed Vysko\u010dil和Herman Geuvers。发展基于实体的非正式数学和正式数学之间的翻译方法{31}的海报。http://\/cl-informationk.uibk.ac.at\/cek\/docs\/14\/ckjujvhg-cicm14-poster.pdf。Cezary Kaliszyk Josef Urban Ji\u0159\u00ed Vysko\u010dil和Herman Geuvers。在非正式数学和正式数学之间开发基于语料库的翻译方法{Poster of{31}}。http://\/cl-informationk.uibk.ac.at\/cek\/docs\/14\/ckjujvhg-cicm14-poster.pdf。“}，{”第一页“：”439“，”卷-时间“：”智能计算机数学国际会议“，”作者“：”Kaliszyk Cezary“，”密钥“：”e_1_3_2_1_31_1“，”非结构化“：”Cezary Kaliszyk、Josef Urban、Ji\u0159\u00ed Vysko\u010dil和Herman Geuvers。开发非正式数学和正式数学之间基于实体的翻译方法。在智能计算机数学国际会议上，第435\u2013 439页。斯普林格，2014年。Cezary Kaliszyk、Josef Urban、Ji\u0159\u00ed Vysko\u010dil和Herman Geuvers。开发非正式数学和正式数学之间基于实体的翻译方法。在智能计算机数学国际会议上，第435\u2013439页。施普林格，2014.“｝，｛”卷标题“：”三月“，”年份“：”2017“，”作者“：”科赫-克里斯托夫“，”密钥“：”e_1_3_2_1_32_1“，”非结构化“：”克里斯托夫·科赫。计算机如何击败围棋大师，2017年3月。克里斯托夫·科赫。计算机如何击败围棋大师，2017年3月。“｝，｛”卷标题“：”STEX:TEX\/LA TEX中的语义标记。自记录L A TEX包“，”年份”：“2017年”，“作者”：“Kohlhase M.”，“关键字”：“e_1_3_2_1_33_1”，”非结构化“：“M.Kohlhase。STEX：TEX\/L A TEX中的语义标记。自我记录L A TEX包，2017年。M.科尔哈斯。STEX：TEX\/L A TEX中的语义标记。自我文档化L A TEX包，2017.“}，｛“key”：“e_1_3_2_34_1”，“doi断言者”：“publisher”，“doi”：“10.1109\/SYNASC.2012.78”}，｛“key”：“e_1_3_2_35_1”，“doi断言者”：“publisher”，“doi”：“10.1017\/CBO9781139171472”}，｛“key”：“e_1_3_2_1_36_1”，“doi断言者”：“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+.NTO Science Series“，”volume“：“173”，”author“：”Lamport Leslie“，”year“：”1999“，”unstructured“：”莱斯利·兰波特。使用TLA+指定并发系统。北约科学丛书，III：计算机和系统科学，173（173）：183\u2013 2471999。莱斯利·兰波特。使用TLA+指定并发系统。北约科学丛书，III：计算机和系统科学，173（173）：183\u20132471999.“，“期刊标题”：“III：计算机与系统科学”}，{“卷标”：“如何编写21世纪的证明。不动点理论与应用杂志，11（1）：43\u201363”，“年份”：“2012”，“作者”：“Lamport Leslie”，“关键字”：“e_1_3_2_1_38_1”，“非结构化”：“莱斯利·兰波特。如何编写21世纪的证明。不动点理论与应用杂志，11（1）：43\u2013632012。莱斯利·兰波特。如何编写21世纪的证明。不动点理论与应用杂志，11（1）：43\u2013632012。“}，{“volume-title”：“初步指南”，“year”：“2014”，“author”：“Lamport Leslie”，“key”：“e_1_3_2_1_39_1”，“unstructured”：“Leslie Lamport。TLA+2:初步指南。2014.Leslie Lanport.TLA+2：初步指南publisher”，“DOI”：“10.5840\/owl199931119”}，{“volume-title”：“通过形态链的符号根植。CoRR，abs\/1703.04368”，“年份”：“2017年”，“作者”：“连瑞汀”，“密钥”：“e_1_3_2_1_41_1”，”非结构化“：”芮婷莲、本·戈泽尔、利纳斯·维普斯塔斯、大卫·汉森和周长乐。通过形态链的符号根植。CoRR，abs \/1703.043682017年。芮婷莲、本·戈泽尔、利纳斯·维普斯塔斯、大卫·汉森和周长乐。通过形态链的符号根植。CoRR，abs \/1703.04368，2017.“}，{“volume-title”：“深度网络引导证明搜索。CoRR。Loos、Geoffrey Irving、Christian Szegedy和Cezary Kaliszyk。深度网络引导的证据搜索。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-assert-by”：“publisher”，”doi“：”10.1007\/BF00128990“}”，{“volume-title”：“RDF primer.W3C recommension”，“year”：“2004”，“author”：“马诺拉·弗兰克”，“key”：“e_1_3_2_1_45_1”，“非结构化”：“Frank Manola，Eric Miller，Brian McBride，RDF入门。W3C建议，2004年。Frank Manola、Eric Miller、Brian McBride等，RDF底漆。W3C推荐标准，2004。“}，{”key“：”e_1_3_2_1_46_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.artint.2008.10001”}，“key”：“e_1_ 3_2_1 _47_1”，“doi-assert-by”：“publisher”，”doi“：”10.1080\/1354678044200024“}”，{\/504216.504281“}，{”键“：”e_1_3_2_1_49_1“，”首页“：”124“，“卷-时间”：“数学的认知基础。《数学认知手册》，“作者”：“N\u00fa\u00f1ez Rafael”，“年份”：“2005年”，“非结构化”：“Rafael N\u001ez和George Lakoff。数学的认知基础。《数学认知手册》，第109\u2013 124页，2005年。拉斐尔·N\u00fa\u00f1ez和乔治·拉科夫。数学的认知基础。《数学认知手册》，第109\u20131242005页。“｝，｛”键“：”e_1_3_2_1_50_1“，”第一页“：”66“，”卷标题“：”第五届国际论证计算模型会议论文集（COMMA 2014），“作者”：”Pease Alison“，”年份“：”2014“，”非结构化“：”Alison Pease、Katarzyna Budzynska、John Lawrence和Chris Reed。拉卡托斯数学辩论游戏。S.Parsons、N.Oren、C.Reed和F.Cerutti编辑，《第五届国际争论计算模型会议论文集》（COMMA 2014），第59\u2013 66页，Pitlochry，2014年。IOS出版社。Alison Pease、Katarzyna Budzynska、John Lawrence和Chris Reed。拉卡托斯数学辩论游戏。S.Parsons、N.Oren、C.Reed和F.Cerutti编辑，《第五届国际争论计算模型会议论文集》（COMMA 2014），第59\u201366页，Pitlochry，2014年。IOS出版社。“}，{”key“：”e_1_3_2_1_51_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.artint.2017.02.006”}，}”volume-title“：”The New Elements of Mathematics“，”year“：”1976“，”author“：”Peirce Charles S。皮尔士。数学新要素，第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\u00 f3lya.How to Solve It。普林斯顿大学出版社，1945。G.P\u0083lya.如何解决它。普林斯顿学院出版社，1945.”}，{“卷标”：“单词和对象”，“年份”：“2013年”，“作者”：“奥曼·奎因·威拉德·凡”，“钥匙”：“e_1_3_2_1_54_1”，“非结构化”：“威拉德·范·奥曼·奎因，帕特里夏·S·丘格兰和达格芬·福勒斯达尔。单词和宾语。麻省理工学院出版社，2013年。威拉德•范•奥曼•奎因（Willard Van Orman Quine）、帕特里夏•S•丘格兰（Patricia S Churchland）和达格芬•F•u00f8llesdal。单词和宾语。麻省理工出版社，2013年。“}，{“卷-时间”：“用故事向人工智能传授人类价值”，“年份”：“2016年”，“作者”：“里德尔·马克·O”，“关键”：“e_1_3_2_1_55_1”，“非结构化”：“Mark O Riedl和Brent Harrison。利用故事向人造代理人传授人类价值观。2016年第三十届AAAI人工智能会议人工智能、道德与社会研讨会编辑Paula Boddington、Miles Brundage、Joanna Bryson、Judy Goldsmith、Ben Kuipers和Toby Walsh。Mark O Riedl和Brent Harrison。利用故事向人造代理人传授人类价值观。Paula Boddington、Miles Brundage、Joanna Bryson、Judy Goldsmith、Ben Kuipers和Toby Walsh，2016年第三十届AAAI人工智能会议人工智能、伦理和社会研讨会编辑。“}，{“卷-时间”：“扩展推理锚定理论用于数学论证。技术报告”，“年份”：“2016”，“作者”：“Nesin Gabriela Rino“，”key“：”e_1_3_2_1_56_1“，”unstructured“：”Gabriela-Rino Nesin“。扩展推理锚定理论用于数学论证。技术报告，爱丁堡大学，2016年。加布里埃拉·里诺·内辛。扩展推理锚定理论用于数学论证。技术报告，爱丁堡大学，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-assert-by”：“crossref”，”doi“：”10.4324\/9781036“，”volume-title“：”计划、目标和理解：人类知识结构的探究“，”作者：“Schank Roger C“，”年份”：“2013年”，“非结构化”：“Roger C Schank和Robert P Abelson。脚本、计划、目标和理解：对人类知识结构的探究。心理学出版社，2013年。罗杰·夏克（Roger C Schank）和罗伯特·阿伯森（Robert P Abelson）。脚本、计划、目标和理解：对人类知识结构的探究。心理学出版社，2013.“}，{”key“：”e_1_3_2_1_60_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1287\/opere.6.1.1”}，“key”：“e_1_a_2_1_61_1”，“doi-assert-by”：“publisher”，”doi“：”10.1016\/j.artint.2008.09.004“}”，{“volume-title”：“Elsevier”，“year”：“2008”，“author”：“Sowa John F”，”key：“e_ 1_3_2_1_62_1“，”非结构化“：”约翰·F·索瓦。概念图。编辑F.van Harmelen、V.Lifschitz和B.Porter，《知识表示手册》，第5章，第213\u2013237页。爱思唯尔，2008年。约翰·F·索瓦。概念图。编辑F.van Harmelen、V.Lifschitz和B.Porter，《知识表示手册》，第5章，第213\u2013237页。Elsevier，2008.“}，{“第一页”：“36”，“卷-时间”：“知识创造和传播的概念结构：第十一届国际概念结构会议，2003年7月21日至25日，德国德累斯顿，2003年，《国际计算机学会论文集》，LNAI第2746号”，“作者”：“Sowa John F”，“密钥”：“e_1_3_2_1_63_1”，“非结构化”：“John F Sowa和Arun K Majumdar。类比推理。A.Aldo，W.Lex和B.Ganter，编辑，《知识创造和传播的概念结构：第11届概念结构国际会议》，ICCS 2003，德累斯顿，2003年7月21日至25日，德国，LNAI，第2746号论文集，第16页\u2013年36页。斯普林格，2003年。John F Sowa和Arun K Majumdar。类比推理。A.Aldo，W.Lex和B.Ganter，编辑，《知识创造和传播的概念结构：第11届概念结构国际会议》，2003年7月21日至25日，德国德累斯顿，ICCS 2003，LNAI第2746号论文集，第16\u201336页。Springer，2003.“}，{”key“：”e_1_3_2_1_64_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1094855.1094860”}，“volume-title”：“我们真的不知道如何计算！在奇怪的循环中”，“year”：“2011”，“author”：“Sussman Gerald Jay”，“key”：“e_1_i_2_1_65_1”，“unstructured”：“Gerald Jey Sussman。我们真的不会计算！”！《怪圈》（In Strange Loop），2011年。杰拉尔德·杰伊·萨斯曼。我们真的不知道如何计算！In Strange Loop，2011.“}，{“volume-title”：“On proof and progress In mathematics.Bulletin（New Series）of American Mathematical Society，30（2）：161\u2013177”，“year”：“1994”，“author”：“Thurston W.P.”，”key“：”e_1_3_2_1_66_1“，”unstructured“：”W.P.Thurston.On proof-and-progress In methologics.Bulletin美国数学学会，30（2）：161\u20131771994。W.P.瑟斯顿。关于数学证明和进步。美国数学学会公报（新系列），30（2）：161\u20131771994。“}，{”key“：”e_1_3_2_1_67_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1093\/philmat\/4.3.256”}，“volume-title”：“普拉文·帕里托什（Praveen Paritosh）。使用粗略的话语序列表征在线讨论。第十一届网络和社交媒体国际会议论文集。AAAI出版社”，“年份”：“2017年”，“作者”：“张艾米X”，“关键”：“e_1_3_2_1_69_1”，“非结构化”：“艾米X张，布莱恩·卡尔伯森，和普拉文·帕里托什。使用粗略的话语序列表征在线讨论。第十一届网络和社交媒体国际会议记录。AAAI出版社，2017年。Amy X Zhang、Bryan Culbertson和Praveen Paritosh。使用粗略的话语序列表征在线讨论。第十一届网络和社交媒体国际会议论文集。AAAI出版社，2017年。“}”，“event”：{“name”：“ICFP‘17:ACM SIGPLAN函数式编程国际会议”，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”]，“location”：“Oxford UK”，“缩写词”：“IC FP‘17”}，“container-title”：[”第五届ACM SIGPLAN功能艺术、音乐、建模和设计国际研讨会论文集“]，“original-title”：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/3122938.3122942”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,11]]，“date-time“：”2023-01-11T20:19:45Z“，”timestamp“：1673468385000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/3122938.3122942”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[2017,9,9]}，《参考计数》：67，“alternative-id”：[“10.1145\/312938.3122942”3122942“，”10.1145\/3122938“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/3122938.3122942“，”关系“：{}，”主题“：[]，”已发布“：{”日期部分“：[[2017,9,9]]}，“断言”：[{“值”：“2017-09-09”，“顺序”：2，“名称”：“已发布”，“标签”：“发布”，”组“：”名称“：”发布历史“，”标签“：“发布历史”}}}}