{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,4]，“日期时间”：“2022-04-04T09:03:19Z”，“时间戳”：1649062999650}，“出版商位置”：“查姆”，“参考计数”：17，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“978303231811”，“类型”：”打印“}，{“值”：“9783030231828”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2019,1,1]]，“date-time”：“2019-01-01T00:00:00Z”，“timestamp”：1546300800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”用法：{“date-parts”：[2019]]}，“DOI”：“10.1007\/978-3-030-23182-8_10”，“type”：“book-chapter”，“created”：{《date-part》：[[2019,6,23]]，“date-time”：“2019-06-23T19:10:01Z”，“timestamp”：1561317001000}，”page“：”131-145“，”update-policy“http://\/dx.DOI.org\/10.10007\/springer_crossmark_policy”，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“探索和概念化证明”]，“前缀”：“10.1007”，“作者”：[{“ORCID”：“http://\/ORCID.org\/0000-0002-8319-2612”，“authenticated-ORCID”：false，“给定”：“Ian”，“family”：“Oliver”，“sequence”：“first”，“affiliation”：[]}豪斯“，”序列“：“additional”，“affiliation”：[]｝，｛“ORCID”：“http:\/\/ORCID.org/0000-0002-66567-6752”，“authenticated ORCID”：false，“given”：“Gem”，“family”：“Stapleton”，“sequence”：“additional”，“affiliation”：[]｝，｛“ORCID”：“http:\/\/ORCID.org/0000-0002-0143-798X”，“authenticated ORCID”：false，“given”：“Zohreh”，“family”：“Shams”，“sequence”：“additional”，“affiliation”：[]｝中，{“ORCID”：“http://\/ORCID.org\/00000-0003-2772-2532”，“authenticated-ORCID”：false，“given”：”Mateja“，”family“：”Jamnik“，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[2019,6,19]]}，“reference”：[{“key”：《10_CR1》，“doi-asserted-by”：“publisher”，“doi”：“10.1017”\/CBO9780511624162“，”卷时间“：“The B-Book:Assigning Programs to Meanings”，“author”：“J Abrial”，“year”：“1996”，“unstructured”：“Abrial，J.：The B-Book：Assigning Procrams to Meanings.CUP，Cambridge（1996）”}，{“key”：“10_CR2”，“doi-asserted-by”：“crossref”，“非结构化”：“Alharbi，E.，Howse，J.，Stapleton，G.，Hamie，A.，Touloumis，A.：视觉逻辑帮助人们：对图表、文本和符号符号的评估。摘自：《视觉语言和以人为本的计算》，第255\u2013259页。IEEE（2017）“，”DOI“：”10.1109\/VLHCC.2017.8103475“}，{”key“：”10_CR3“，”series-title“：”计算机科学讲义（人工智能讲义）“，“DOI-asserted-by”：“publisher”，“first page”：“228”，“DOI”：“10.1007\/978-3-540-32254-2_14”，“volume-title”：“机械化数学推理”，“author”：“F Baader”，“year”：“2005”，“unstructured”：“”Baader，F.，Horrocks，I.，Sattler，U.：描述逻辑作为语义网的本体语言。摘自：Hutter，D.，Stephan，W.（编辑）《机械化数学推理》。LNCS（LNAI），第2605卷，第228\u2013248页。斯普林格，海德堡（2005）。\n https:\/\/doi.org\/10.1007\/978-3-540-32254-2_14“}，{“key”：“10_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Chapman，P.，Stapleton，G.，Howse，J.，Oliver，I.：为概念图推导声音推理规则。摘自：IEEE视觉语言和以人为本计算研讨会，第87\u201394页。IEEE（2011）“，”DOI“：”10.1109\/VLHCC.2011.6070384“}，{”key“：”10_CR5“，”DOI-asserted-by“：”publisher“，”first page“：“47”，“DOI”：“10.1016\/j.future.2014.08.005”，“volume”：“49”，“author”：“W Dai”，“year”：“2015”，“unstructured”：“Dai，W.，et al.：TEE：基于DRTM的虚拟执行环境，用于安全的云计算。未来一代。计算。系统。49，47\u201357（2015）“，“新闻标题”：“未来世代。计算。系统。“}，{”issue“：”4“，”key“：”10_CR6“，”doi-asserted-by“：”publisher“，”first-page“：”317“，”doi“：”10.1006\/jvlc.1999.0130“，”volume“：“10”，”author“：”CGurr“，”year“：”1999“，”unstructured“：”Gurr，C.：有效的图表交流：句法、语义和语用问题。J.Vis.Lang.Compute.10（4），317\u2013342（1999）“，”journal-title“：“J.Vis.Lang。计算。}，{“key”：“10_CR7”，“unstructured”：“Hou，T.，Chapman，P.，Blake，A.：反模式理解：实证评估。In:信息系统中的形式本体。人工智能前沿，第283卷，第211\u2013224页。IOS出版社（2016）“}，{”key“：”10_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“257”，”doi“：”10.1007\/978-3642-25073-6_17“，”volume-title“：“The Semantic Web\u2013 ISWC 2011”，”author“：”J Howse“，”year“：”2011“，”unstructured“：”Howse，J.，Stapleton，G.，Taylor，K.，Chapman，P.：可视化本体：案例研究。收录人：Aroyo，L.、Welty，C.、Alani，H.、Taylor，J.、Bernstein，A.、Kagal，L.，Noy，N.、Blomqvist，E.（编辑）ISWC 2011。LNCS，第7031卷，第257\u2013272页。施普林格，海德堡（2011）。\n https:\/\/doi.org\/10.1007\/978-3-642-25073-6_17“}，{”key“：”10_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“19”，”doi“：”10.1007\/978-30-319-64701-2_2“，”volume-title“：“网络和系统安全”，”author“：”I Oliver“，”year“：”2017“，”unstructured“：”Oliver，I.、Holtmanns，S.、Miche，Y.、Lal，S.，Hippel\u00e4inen，L.、Kalliola，A.、Ravidas，S.：可信云计算经验。收录人：Yan，Z.，Molva，R.，Mazurczyk，W.，Kantola，R..（编辑）NSS 2017。LNCS，第10394卷，第19\u201330页。查姆施普林格（2017）。\n https:\/\/doi.org\/10.1007\/978-3-319-64701-2_2“}，{”key“：”10_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Sato，Y.、Masuda，S.、Someya，Y.，Tsujii，T.、Watanabe，S.：欧拉图在逻辑推理中功效的功能磁共振成像分析。摘自：IEEE视觉语言与以人为本计算研讨会，第143\u2013151页。IEEE（2015）“，”DOI“：”10.1109\/VLHCC.2015.7357209“}，{”key“：”10_CR11“，”DOI-asserted-by“：”publisher“，”first page“：“409”，“DOI”：“10.1007\/s10849-015-9225-4”，“volume”：“24”，“author”：“Y Sato”，“year”：“2015”，“unstructured”：“Sato，Y.，Mineshima，K.：图表如何支持三段论推理：一项实验研究。J.Log.Lang。Inf.24，409\u2013455（2015）“，”journal-title“：”J.Log。Lang.Inf.“}，{“key”：“10_CR12”，“series title”：“计算机科学讲义（人工智能讲义）”，“doi asserted by”：“publisher”，“first page”：“247”，“doi”：“10.1007\/978-3-319-91376-6_25”，“volume title”：“图解表示与推理”，“author”：“Z Shams”，“year”：“2018”，“nonstructured”：“Shams，Z.、Sato，Y.、Jamnik，M.、Stapleton，G.：用图表进行无障碍推理：从认知到自动化。收录于：查普曼·P、斯台普顿·G、莫克特菲·A、佩雷斯-克里兹·S、贝鲁奇·F（编辑）图表2018。LNCS（LNAI），第10871卷，第247\u2013263页。查姆施普林格（2018）。\n https:\/\/doi.org\/10.1007\/978-3-319-91376-6_25“}，{“key”：“10_CR13”，“volume-title”：“图的语义属性及其认知潜力”，“author”：“A Shimojima”，“year”：“2015”，“unstructured”：“Shimojima.A.：图及其认知潜力的语义属性。CSLI Publications，Stanford（2015）”}，“key“：”10_CR14“，“volume-title”：“Z符号：参考手册”，“author”：“J Spivey”，“year”：“1989”，“unstructured”：“Spivey，J.：Z符号：一本参考手册。Prentice Hall，New York（1989）“}，{“key”：“10_CR15”，“unstructured”：“Stapleton，G.，Howse，J.，Chapman，P.，Delaney，A.，Burton，J.和Oliver，I.：形式化概念图。摘自：第19届分布式多媒体系统国际会议，第182\u2013187页。知识系统研究所（2013）“}，{”key“：”10_CR16“，”doi-asserted-by“：”crossref“，”unstructured“：”Yang，Y.，Shiwei，X.，Hunguo，Z.，Fan，Z.：使用一阶逻辑推理TCG\u2019s TPM规范。摘自：信息技术与应用国际论坛，第259\u2013263页。IEEE（2009）“，“DOI”：“10.1109\/IFITA.2009.55”}，{“key”：“10_CR17”，“unstructured”：“Zimmer，V.，Dasari，R.，Brogan，S.：基于TCG的固件：Intel Corporation和IBM Corporation Trusted Platforms的白皮书（2009）.\n https://people.eecs.berkeley.edu\/kubitron\/cs194-24\/hand-outs\/SF09_EFIS001_UEFI_PI_TCG_White_Paper.pdf\n\n。2018年5月访问“}”，“container-title”：[“基于图形的表示和推理”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-030-23182-8_10”，“内容类型”：“未指定”，“content-version”：“vor”，“意向应用程序”：“相似性检查”}]，“存放”：{date-parts“：[[2019,6,23]]，“date-time”：“2019-06-23T19:13:01Z”，“timestamp”：1561317181000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-030-23182-8_10”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2019]]}”，“ISBN”：[“9783030231811”，“9783030231828”]，“references-count”：17，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-030-23182-8_10“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“”，”类型“：”打印“}，{”价值“：”1611-33049“，”类型”：“电子”}]，”主题“：[]，”发布“：{”日期-部分“：[2019]}，“断言”：[{“值”：“19 2019年6月“，”订单“：1，”名称“：”first_online“，”标签“：”first online“，“群组”：{“name”：“ChapterHistory“，”label“：”Chapter History”}}，{“value”：“ICCS”，“order”：1，“name”：“conference_acrombit”，“label”：“conference缩写”，“group”：{“name”:“ConferenceInfo”，“table”：“Meeting Information”}，”value“：”概念结构国际会议“，”order“：2，”name“：”conference_name“，”标签“：”会议名称“，”组“：{”名称“：”ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛“value”：“Marburg”，“order”：3，“name”：“Conference_city”，“label”：“ConferenceCity”，“group”：｛“name”：“ConferenceInfo”，“label”：“ConferenceInformation”｝｝，｛“value”：“Germany”，“order”：4，“name”：“Conference_country”，“label”：“ConferenceCountry”，“group”：｛“name”：“ConferenceInfo”，“label”：“会议信息“}}，{“value”：“2019”，“order”：5，“name”：“Conference_year”，“label”：“Conference_year”，”group“：{“name”:“ConferenceInfo”，“标签”：“会议信息”}}、{“值”：“2017年7月1日”，“订单”：7，“name“Conference_start_date”2019年7月4日“，”order“：8，”name“：”conference_end_date“，”label“：”会议结束日期“，”group“：，“名称”：“conference_id“，”label“：”会议id“，”group“：