{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T00:16:05Z”，“时间戳”：1648944965637}，“出版商位置”：“柏林，海德堡”，“参考计数”：8，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642276934”，“类型”：“打印”}，{“值”：“9783642276941”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2012,1,1]]，“date-time”：“2012-01T00:00:00Z”，“timestamp”：1325376000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，”content-domain“：{”domain“[]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”用法：{“date-parts”：[[2012]]}，“DOI”：“10.1007\/978-3642-27694-1_7”，“type”：“book-chapter”，“created”：{”date-part“：[2012,2,7]]，“date-time”：“2012-02-07T17:38:40Z”，“timestamp”：1328636320000}，”page“：”78-92“，”source“：“Crossref”，“is-referenced-by-count”：4，“title”：[“Cutting-Edge使用的实用和方法学方面”ASP工具“]，”前缀“：“10.1007”，“author”：[{“given”：“Marcello”，“family”：“Balduccini”，“sequence”：“first”，“affiliation”：[]}，{“fixed”：“Yulia”，“家族”：“Lierler”，“序列”：“additional”，“filiation“：[]{”，“member”：“297”，“reference”：[[{”key“：”7_CR1“，”非结构化“：”第三届答案集编程竞赛（2011），\n\n https:\/\/www.mat.unical.it \/aspcomp2011\/“}，{“key”：“7_CR2”，“unstructured”：“Balduccini，M.：通过组合多个答案集程序解决复杂问题的通用方法。收录于：ICLP 2009年答案集编程和其他计算范式研讨会（ASPOCP 2009）（2009年7月）”}，}，[key“：”7_CR3“，”非结构化”：“Baldcucini，M.：表示回答集编程中的约束满足问题。摘自：ICLP 2009年答案集编程和其他计算范式研讨会（ASPOCP 2009）（2009年7月）“}，{“key”：“7_CR4”，“unstructured”：“Balduccini，M.，Lierler，Y.：使用切割边缘工具解决基于ASP的问题。摘自：2011年ICLP答案集编程与其他计算范式讲习班（ASPOCP 2011），第14\u201328页（2011年7月7_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“190”，”doi“：”10.1007\/978-3-540-89982-2_23“，”volume-title“：”Logic Programming“，”author“：”M.Gebser“，”year“：”2008“，”unstructured“：”Gebser，M.，Kaminski，R.，Kaufmann，B.，Ostrowski，M.、Schaub，T.、Thiele，S.：工程增量ASP求解器。收录：Garcia de la Banda，M.，Pontelli，E.（编辑）ICLP 2008。LNCS，第u00a05366卷，第190\u2013205页。Springer，Heidelberg（2008）“}，{“key”：“7_CR6”，“unstructured”：“Gebser，M.，Kaufmann，B.，Neumann，A.，Schaub，T.：冲突驱动的答案集求解。摘自：Veloso，M.M.（ed.）《第二十届国际人工智能联合会议论文集》（IJCAI 2007），第386\u2013392页（2007）”}第一页“：”365“，”DOI“：”10.1007\/BF03037169“，”volume“：”9“，”author“：”M.Gelfond“，“year”：“1991”，“unstructured”：“Gelfund，M.，Lifschitz，V.：逻辑程序和析取数据库中的经典否定。新一代计算\u00a09365\u2013385（1991）“，“journal-title”：“新一代计算机”}，{“issue”：“3”，“key”：“7_CR8”，“doi-asserted-by”：“publisher”，“first-page”：“499”，“doi”：“10.1145\/11491149114.1149117”，《volume》：“7”，“author”：“N.Leone”，”年份“2006”，“unstructured”：“Leone，N.、Pfeifer，G.、Faber，W.、Eiter，T.、Gottlob，G.，Perri，S.、Scarcello，F.：DLV知识表示和推理系统。ACM计算逻辑学报\u00a07（3），499\u2013562（2006）“，”journal-title“：”ACM计算逻辑学学报“}]，”container-title”：[“声明语言的实用方面”，“计算机科学讲义”]，“original-tittle”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.10007\/978-3642-27694-1_7”，“content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，“deposed”：{“date-parts”：[[2019,4,26]]，“date-time”：“2019-04-26T02:48:56Z”，“timestamp”：1556246936000}，“score”：1，“resource”：{primary“：”http://link.springer.com\/10007\/978-3642-27694-1_7“}，”副标题“：[]，“短标题”：[]date-parts“：[[2012]]}，”ISBN“：[”9783642276934“，”978364 2276941“]，”references-count“：8，”URL“：”http://\/dx.doi.org\/10.1007\/978-3642-27694-1_7“，”relationship“：{}，“ISSN”：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value”：“1611-3344”349“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2012]]}}