{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,2,17]]，“日期时间”：“2023-02-17T05:21:50Z”，“时间戳”：1676611310365}，“出版商位置”：“查姆”，“参考计数”：9，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783319196855”，“类型”：”打印“}，{“值”：“9783319196862”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2015,1,1]]，“date-time”：“2015-01-01T00:00:00Z”，“timestamp”：1420070400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springernature.com\/gp\/researters\/text-and-data-mining”}，{“开始”：{“date-ports”：[2015,1]]、“date-ti”我“：”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 19686-2_3“，”type“：”book-chapter“，“created”：{“date-parts”：[[2015,5,13]]，“date-time”：“2015-05-13T16:45:12Z”，“timestamp”：1431535512000}，“page”：“34-49”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：1，“title”：[“On Compiling Linearning Logic Programs with Comprehensions，Aggregate and Rule Priorities”]，“prefix”：“10.1007”，“作者”：[{“given”：“Flavio”，“family”：“Cruz”，“sequence”：“first”，“affiliation”：[]}，{“fixed”：“Ricardo”，”family“：”Rocha“，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“published-online”：{“date-parts”：[2015,5,14]}，“reference”：[}“key”：”3_CR1“，“series-title”：“讲座计算机科学笔记“，”doi-asserted-by“：”crossref“，“first page”：“137”，“DOI”：“10.1007\/11564751_13”，“volume-title”：“约束编程的原理和实践-CP 2005”，“author”：“H Betz”，“year”：“2005”，《unstructured》：“Betz，H.，Fr\u00fchwirth，T.：约束处理规则的线性逻辑语义。In:van Beek，P.（ed.）CP 2005。LNCS，第3709卷，第137\u2013151页。Springer，Heidelberg（2005）“}，{”key“：”3_CR2“，”doi-asserted-by“：”crossref“，”unstructured“：”Cruz，F.，Rocha，R.，Goldstein，S.，Pfenning，F.：图结构上并发编程的线性逻辑编程语言。《逻辑编程理论与实践杂志》，国际逻辑编程会议，专刊，第493\u2013507页（2014年7月）“，”DOI“：”10.1017\/S147106841400167“}，{“key”：“3_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“Cruz，F.，Rocha，R.，Goldstein，S.C.：用于执行线性逻辑程序的多线程虚拟机的设计和实现。摘自：《声明性编程原则与实践国际研讨会》，第43页\u201353。ACM出版社，2014年9月“，”DOI“：”10.1145\/2643152643150“}，{”key“：”3_CR4“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”crossref“，”first page“：“32”，“DOI”：“10.1007\/978-3-540-78969-7_5”，“volume-title”：“函数和逻辑编程”，“author”：“L De Koninck”，“年份”：“2008”，“非结构化”：“De Koninck，L.、Stuckey，P.J.、Duck，G.J.：利用规则优先级优化chr的编译。In：Garrigue，J.，Hermenegildo，M.V.（编辑）FLOPS 2008。LNCS，第4989卷，第32页\u201347。Springer，Heidelberg（2008）“}，{”key“：”3_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“90”，”doi“：”10.1007\/3-540-59155-9_6“，”volume-title“：“约束编程：基础与趋势”，”author“：”T Fr\u00fchwirth“，”year“：”1995“，”unstructured“：”Fr\u00fchworth，T.：约束处理规则。摘自：Podelski，A.（编辑）《约束编程：基础与趋势》。LNCS，第910卷，第90\u2013107页。Springer，Heidelberg（1995）“}，{“key”：“3_CR6”，“unstructured”：“Gonzalez，J.，Low，Y.，Guestrin，C.：最佳并行化信念传播的剩余飞溅。摘自：人工智能与统计（2009）”Holzbaur，C.，de la Banda，M.J.G.，Stuckey，P.J.，Duck，G.J.：优化HAL中约束处理规则的编译。CoRR公司。PL\/0408025（2004）“}，{“key”：“3_CR8”，“unstructured”：“Low，Y.，Gonzalez，J.，Kyrola，A.，Bickson，D.，Guestrin，C.，Hellerstein，J.M.：Graphlab：并行机器学习的新框架。In:人工智能不确定性会议（UAI），pp.340\u2013349（2010）”}Wuille，P.，Schrijvers，T.，Demoen，B.：CCHR：最快的CHR实现，载于C。in：约束处理规则研讨会，pp.123\u2013137（2007）“｝]，“容器标题”：[“声明性语言的实践方面”，“计算机科学讲义”]，“原标题”：[]，“链接”：[｛”URL“：”https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-319-19686-2_3“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2023,2,16]]，“date-time”：”2023-02-16T21:50:28Z“，“timestamp”：1676584228000}，“score”：1，“resource”:{“primary”：{“URL”：“https:\/\/link.springer.com/10.1007\/978-3-319-19686-2_3“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2015]]}，“ISBN”：[“9783319196855”，“97833.19196862”]，”引用计数“：9，”URL“：”http://\/dx.doi.org\/10.1007\/9783-319-19686-2_3“，”关系“：{}，“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-9743”，“type”:“print”}，{“value“：”1611-3349“，”type“：“electronic”}]，”subject“：[]，”published“：{”date-parts“：[[2015]]}，”assertion“：[{”value“:”2015年5月14日“，”order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“ChapterHistory”，”label:“Chapter History“}}]}