{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,8]]，“日期时间”：“2024-09-08T21:14:08Z”，“时间戳”：1725830048830}，“出版商位置”：“查姆”，“引用计数”：10，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“类型”：”打印“，“值”：“9783319232638”}，{“类型”：“电子”，“value”：“9783319232645”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springernature.com\/gp\researters\/text-and-data-mining”}，{“tart”：[2015,1]]，“日期时间”：“2015-01-01T00:00:00Z”，“时间戳”：1420070400000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https://www.springernature.com//gp\/researters\/text-and-data-mining”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2015]]}”，“DOI”：“10.1007\/978-3-19 23264-5_29“，”type“：”book-capter“，“created”：｛“date parts”：[[2015,9,14]]，“date time”：“2015-09-14T06:29:48Z”，“timestamp”：1442212188000｝，“page”：“346-353”，“update policy”：“http:\/\/dx.doi.org/10.1007\/springer_crossmark_policy”，“source”：“Crossref”，“由count引用”：0，“title”：[“使用完全丰富的自动机进行森林逻辑程序推理”]，“prefix”：“10.1007”，“author”：[{“given”：“Cristina”，“family”：“Feier”，“sequence”：“first”，“affiliation”：[]}“首页”：“1”，“doi”：“10.2168\/LMCS-4（3:11）2008”，“卷”：“4”，“author”：“PA Bonatti”，“year”：“2008”，“unstructured”：“Bonatti，P.A.，Lutz，C.，Murano，A.，Vardi，M.Y.：丰富的$$\\mu$$-calculi.Log.Methods Compute.Sci.4（3），1\u201327（2008）”，“journal-title”：“Log.Methods compute.Sci.”}，{“unstrustured”：“Feier，C.：森林逻辑程序的最坏情况最优推理。在：韩国科学院院刊，2012208\u2013212（2012）”，“key”：“29_CR2”｝，｛“非结构化”：“Feier，C.：森林逻辑程序的推理，博士论文，TU Wien（2014）”，“key”：“29_CR3”｝，｛“issue”：“13”，“key”：“29_CR4”，“first page”：“395”，“volume”：“3”，“author”：“C Feier”，“year”：“2013”，“非结构化”：“Feier，C.，Heymans，S.：用森林逻辑程序和f-hybrid知识库进行推理。TPLP 3（13），395\u2013463（2013）”，“日志标题”：“TPLP”}，{“非结构化的”：“Gelfond，M.，Lifschitz，V.：逻辑编程的稳定模型语义。In:Proceedings of ICLP 1988，pp.1070\u20131080：“Heymans，S.：可决定开放答案集编程。博士论文，理论计算机科学实验室（TINF），计算机科学系，布鲁塞尔Vrije大学（2006）”，“key”：“29_CR6”}，{“issue”：“1”，“密钥”：“29 _CR7”，“doi-asserted-by”：“publisher”，“first page”：”144“，“doi”：“10.1016\/j.jal.2006.02.001”，“volume”：第“5”，“author”：“S Heymans”，“year”：“2007年”，“非结构化”：“Heymans，S.，Van Nieuwenborgh，D.，Vermeir，D.：语义网的开放式答案集编程。J.Appl.Logic 5（1），144\u2013169（2007）”，“日志标题”：“J.Appl.Logic”}，{“issue”：“4”，“key”：“29_CR8”，“doi-asserted-by”：“publisher”，“first page”:“1”，“doi”：“10.1145\/1380572.1380575”，“volume”：，“年份”：“2008”，“非结构化”：“Heymans，S.，Van Nieuwenborgh，D.，Vermeir，D.：使用保护程序进行开放答案集编程。Trans.Comput.Logic 9（4），1\u201353（2008）”，“日志标题”：“Trans.Comput.Logic”}，{“问题”：“1”，“密钥”：“29_CR9”，“doi-asserted-by”：“publisher”，“首页”：“41”，“doi”：“10.1016\/j.websem.2005.001”，“卷”：“3”，“作者”：“B Motik”，“year”：“2005”，“unstructured”：“Motik，B.，Sattler，U.，Studer，R.：使用规则查询OWL-DL。J.Web Semant.3（1），41\u201360（2005）”，“日志标题”：“J.Web Semant.”}，{“doi-asserted-by”：“crossref”，“非结构化”：“Rosati，R.：关于结合描述逻辑本体论和非递归数据日志规则。In:Proceedings of the RR，pp.13\u201327（2008）”，“key”：“29_CR10”，“DOI”：“10.1007\/978-3-540-88737-9_3”}]，“container-title”：[“Leach Notes In Computer Science”，“logic Programming and Non-monotonic Reasoning”]，“original title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3319-23264-5_29”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部件”：[[2023,2,21]]，“日期-时间”：“2023-02-21T11:27:52Z”，“时间戳”：1676978872000}，“分数”：1，“资源”：{-“主要”：{“URL”：“https:\/\/link.springer.com/10.1007\/978-3-319-23264-5_29”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[2015]]}N“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{“类型”：“电子”，“值”：“1611-3349”}]，“主题”：[]，“发布”：{“日期部分”：[[2015]]}，“断言”：[{“值”:“2015年9月15日”，“订单”：1，“名称”：“first_online”，“标签”：“首次联机”，“组”：{“名称”:“章节历史”，“label”：“章节历史“}}]}