{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,11,26]]，“日期时间”：“2022-11-26T05:45:42Z”，“时间戳”：1669441542654}，“出版商位置”：“查姆”，“参考计数”：9，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783031157066”，“类型”：”打印“}，{“值”：“9783031157073”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“开始”：{“date-ports”：[2022,1,1]，“日期-时间”：“2042-01-01T 00:00Z”，“timestamp”：1640995200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com//tdm”}，{“start”：{“date-parts”：[[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days“：0，”URL“https:\\/www.spring.com/tdm”}，“日期时间”：“2022-01-01T00:00:00Z”，“时间戳”：1640995200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[2022]，“DOI”：“10.1007\/978-3-031-15707-3_36”，“type”：“book-chapter”，“创建”：{“日期部分”：[[2022,8,26]]，“日期时间”：“2022-08-26T11:02:47Z”，“时间戳”：1661511767000}，“页面”：“470-483”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：0，”title“：[通过\u00a0ASP分析\u00a 0Cyclic故障传播]，”prefix“：”10.1007“，”author“：[{”ORCID“http://\/ORCID”id.org\/00000-0002-4135-103X“，“经过身份验证的兽人”：false，“给定”：“Marco”，“家族”：“Bozzano”，“序列”：“first”，“affiliation”：[]｝，｛“orcid”：“http:\/\/orcid.org/0000-0002-1315-6990”，“经过身份验证的兽人”：false，“给定”：“Alessandro”，“家族”：“Cimatti”，“序列”：“additional”，“affiliation”：[]｝，｛“orcid”：“http:\/\/orcid.org/0000-0002-3311-0893”，“经过身份验证的兽人”：false，“给定”：“Alberto”，“family”：“Griggio”，“sequence”：“additional”，“affiliation”：[]}，{“ORCID”：“http://\/ORCID.org\/0000-0003-4703-0795”，“authenticated-ORCID”：false，“给定”：“Martin”，“家族”：“Jon\u00e1\u0161”，“序列”：“额外”，“从属关系”：[]}，“给定的”：“Greg”，“家庭”：“Kimberly”，“sequence”:“additionable”，“atriation”：[]}]，“成员”：“297”，“在线发布”：{“date-parts”：[[2022,8,29]]}，“reference”：[{“key”：“36_CR1”，“unstructured”：“Barrett，C.W.，Sebastiani，R.，Seshia，S.A.，Tinelli，C.：可满足性模理论。摘自：Biere，A.，Heule，M.，van Maaren，H.，Walsh，T.（编辑）《可满足性手册》，第825\u2013885页。IOS出版社（2009）“}，{“问题”：“1”，“关键”：“36_CR2”，“doi-asserted-by”：“出版商”，“首页”：“63”，“doi”：“10.3233\/FI-2016-1398”，“卷”：“147”，“作者”：“J Bomanson”，“年份”：“2016”，“非结构化”：“Bomanson，J.，Gebser，M.，Janhunen，T.，Kaufmann，B.，Schaub，T.：回答集编程模块非循环性。Fundam.Inform.147（1），63\u201391（2016）“，”新闻标题“：”Fundam。通知。“}，{”key“：”36_CR3“，”doi-asserted-by“：”crossref“，”unstructured“：”Bozzano，M.，Cimatti，A.，Griggio，A.，Jon\u00e1\u0161，M.：通过布尔错误传播对循环冗余架构进行有效分析。在TACAS，vol.13244，LNCS，Springer，Cham（2022）“，”doi“：”10.1007\/978-3030-99527-0_15“}”，{“key”：“36_CR4”，“series-title”：“”计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“209”，“doi”：“10.1007\/978-3-030-81688-9_10”，“volume-title”：“计算机辅助验证”，“author”：“M Bozzano”，“year”：“2021”，“unstructured”：“Bozzano，M.，Cimatti，A.，Fernandes Pires，A.，Griggio，A.，Jon\u00e1\u0161，M.和Kimberly，G.：基于SMT的高效故障传播分析。收录人：Silva，A.，Leino，K.R.M.（编辑）CAV 2021。LNCS，第12760卷，第209\u2013230页。查姆施普林格（2021）。https:\/\/doi.org/10.1007\/978-3-030-81688-9_10“｝，｛“key”：“36_CR5”，“doi asserted by”：“crossref”，“unstructured”：“Brewka，G.，Delgrande，J.，Romero，J.，Schaub，T.:asprin:自定义答案集偏好而不头疼。在：AAAI，pp.1467\u20131474，AAAI，Press（2015）”，“doi”：“10.1609\/aai.v29i1.9398”｝，｛“key”：“36_CR6”，“系列标题“：”计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“93”，“doi”：“10.1007\/978-3642-36742-7_7”，“volume-title”：“系统构建和分析的工具和算法”，“author”：“A Cimatti”，“year”：“2013”，“unstructured”：“Cimatti，A.，Griggio，A.，Schaafsma，B.J.，Sebastiani，R.：MathSAT5 SMT求解器。收录人：Piterman，N.，Smolka，S.A.（编辑）TACAS 2013。LNCS，第7795卷，第93页\u2013107。斯普林格，海德堡（2013）。https:\/\/doi.org/10.1007\/978-3-642-36742-7_7“｝，｛“key”：“36_CR7”，“unstructured”：“Gebser，M.，Kaminski，R.，Kaufmann，B.，Schaub，T.:使用clingo.CoRR的多点ASP求解，abs\/1705.09811（2017）”｝，｛“key”：“36_CR8”，“doi断言为”：“crossref”，“unstructured”：“Gebser，M.，Kaufmann，B.，Schaub，T.：高级冲突驱动析取答案集求解。In:IJCAI（2013）“，”DOI“：”10.1007\/978-3-031-01561-8“}，{“issue”：“4”，“key”：“36_CR9”，“DOI-asserted-by”：“publisher”，“first page”：”485“，”DOI“：“10.1007\/s10601-010-9095-y”，“volume”：：“15”，“author”：“E Di Rosa”，“year”：“2010”，“unstructured”：“Di Rosia，E.，Giunchilia，E.，Maratea，M.：解决可满足性问题带有首选项。约束Int。J.15（4），485\u2013515（2010）“，”journal-title“：”Constraints An Int.J.“}]，”container-title”：[“逻辑编程与非单调推理”，“计算机科学课堂笔记”]，”original-title:[]，”link“：[{”URL“：”https:\/\/link.springer.com\/content\/pdf\/10007\/978-3-031-15707-3_36“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,11,25]]，”date-time“：”2022-11-25T21:35:14Z“，”timestamp“：1669412114000}，”score“：1，”resource“：”primary“：”{“URL”：“https:\/\/link.springer.com\/10007\/978-3-031-15707-3_36”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[2022]]}，“ISBN”：[“9783031157066”，“9783031157073“]，”引用计数“：9，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-031-15707-3_36“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2022]]}，”断言“：[{”值“：”2022年8月29日“，”订单“：1，”名称“：”first_online，“label”：“first online”，“group”：{“name”：“ChapterHistory”，“label:”Chapter History“}}，{“value”：“LPNMR”，“order”：1，“name”，“conference_acrombit”，“标签”：“ConferenceAcronym”，“组”：{“name”:”ConferenceInfo“，”label“：”ConferenceInformation“}，”{“值”：“逻辑编程与非单调推理国际会议”，“订单”：2，“name“：”conference_name“，”label“：”会议名称“，”group“：，“group“：{”name“：”ConferenceInfo“，”label“：”Meeting Information“}}，{”value“：”2022“，”order“：5，”name“:”Conference_year“，”标签“：”会议年份“，”group“:信息“，”label“：”Conference Information“}}，{“value”：“2022年9月9日”，“order”：8，“name”：“Conference_end_date”，“label”：“ConferenceEnd date”，“group”：{“name”:“ConferenceInformation”，“标签”：“会议信息”}}“”value“：”lpnmr2022“，”order“：10，”name“：”conference_id“，”label“：”会议id“，”group“：}，{“value”：“单盲”，“order“：1，”name“：”type“，”label“：”type“，”group“：同行评审信息（由会议组织者提供）“}}，{“value”：“57”，“order”：3，“name”：“number_of_submissions_sent_for_Review”，“label”：“发送供评审的提交数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息”（由会议主办方提供）number_of_full_papers_accepted“，”label“：”接受的全文数“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行评审信息（由会议组织者提供）“}}，{”value“：”5“，”order“：5，”name“:”number_ of_short_papers_Accepteded“，”table“：”已接受的短文数“，“group”：{“name”：“”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}，{”value“：”60%-该值由等式“接受的全文数”/“发送供评审的提交数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_Full_Papers“，”标签“：”全文接受率“，”group“：{”name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information（由会议组织者提供）“}}，{”value“：”3“，”order“：7，”name“:”average_number_of_reviews_per_paper“，”标签“：”每篇论文的平均评论数“，”google“：同行评议信息（由会议组织者提供）“}}，{“value”：“3”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息（由大会组织者提供）”}}external_reviewers_involved“，”label“：”涉及外部审阅者“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行审阅信息（由会议组织者提供）“}}]}}