{“id”：“https://openalex.org/W4293179420“，”doi“：”https://doi.org/10.1007/978-3-031-15707-3_36“，”title“：”分析通过ASP的循环故障传播“，”display_name“：”分析通过ASP的循环故障传播“，”publication_year“：2022，”publication_date“：”2022-01-01“，”ids“：｛”openalex“：”https://openalex.org/W4293179420“，”doi“：”https://doi.org/10.1007/978-3-031-15707-3_36“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15707-3_36“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”issn“：[”0302-9743“，”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Bozzano“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5038636493“，”display_name“：”Alberto Griggio“，”orcid“：”https://orcid.org/0000-0002-3311-0893}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alberto Griggio“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5040602865“，”display_name“：”Martin Jon\u00e1\u0161“，”orcid“：”https://orcid.org/0000-0003-4703-0795}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：true，”raw_author_name“：”Martin Jon\u00e1\u0161“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5003384581“，”display_name“：”Greg Kimberly“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1295339012“，”display_name“：”波音（美国）“，”ror“：”https://ror.org/04sm5zn07“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1295339012“]}，{”id“：”https://openalex.org/I58610484“，”display_name“：”西雅图大学“，”ror“：”https://ror.org/02jqc0m91“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I58610484“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Greg Kimberly“，”raw _affiliation_strings“：[“美国西雅图波音公司”]}]，”countries_distict_count“：2，”institutions_disticent_count“：3，”corresponding_author_ids“：[https://openalex.org/A5040602865“]，”对应的机构ID“：[”https://openalex.org/I2277624104“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：false，“cited_by_count”：0，“cited_by_percentile_year”：{“min”：0、“max”：67}、“biblio”：{“volume”：null，“issue”：null，“first_page”：“470”，“last_page”：“483”}，“is_retracted”：falseis_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9956，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9956，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10679“，”display_name“：”QoS-Aware Web服务组合和语义匹配“，”score“：0.9952，”subfield“：{”id“：”https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10906“，”display_name“：”人工智能规划与推理“，”score“：0.9947，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.556098}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.550913}，{”id“：”https://openalex.org/keywords/model-based-programming网站“，”display_name“：”基于模型的编程“，”score“：0.537319}，{”id“：”https://openalex.org/keywords/answer-set-programming网站“，”display_name“：”答案集编程“，”score“：0.531455}，{”id“：”https://openalex.org/keywords/automated-web-service-discovery“，”display_name“：”自动Web服务发现“，”score“：0.5285}]，”concepts“：[{”id“：”https://openalex.org/C164155591，“wikidata”：https://www.wikidata.org/wiki/Q2067766“，”display_name“：”可满足模理论“，”level“：2，”score“：0.7827835}，{”id“：”https://openalex.org/C182620335，“wikidata”：https://www.wikidata.org/wiki/Q2852531网址“，”display_name“：”答案集编程“，”level“：3，”score“：0.72986305}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.72946954}，{”id“：”https://openalex.org/C2778770139，“wikidata”：https://www.wikidata.org/wiki/Q1966904“，”display_name“：”Solver“，”level“：2，”score“：0.7140043｝，｛”id“：”https://openalex.org/C125411270，“wikidata”：https://www.wikidata.org/wiki/Q18653“，”display_name“：”编码（内存）“，”级别“：2，”分数“：0.70798725}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.69587016}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6772714}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.5102165}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.49386102｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.48838824}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.39013317}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.229642}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.21969828}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.2003758}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-031-15707-3_36“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”issn“：[”0302-9743“，”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}”，“best_oa_location”：nuld，“sustainable_development_goals”：[{“score”：0.82，“display_name”：“Climate action”，“id”：“https://metadata.un.org/sdg/13“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：8，”referrenced_works“：【”https://openalex.org/W2051475155","https://openalex.org/W2155378065","https://openalex.org/W221832247","https://openalex.org/W2555981498","https://openalex.org/W3186288550","https://openalex.org/W4211177236","https://openalex.org/W4225847497","https://openalex.org/W4361876935“]，”related_works“：[”https://openalex.org/W4293179420","https://openalex.org/W2953317261","https://openalex.org/W2735287568","https://openalex.org/W2460803124","https://openalex.org/W2433033450","https://openalex.org/W2396384868","https://openalex.org/W2237679549","https://openalex.org/W2160562204","https://openalex.org/W2139922246","https://openalex.org/W1554238444“]，”ngrams_url“：”https://api.openalex.org/works/W4293179420/ngrams网站“，”“abstract_inverted_index”：{“正在分析”：[0]，“the”：[1,8,38,43,52,66,89,99106114126129140155158162168]，“propagation”：[2,26]，“of”：[3,7,37,31,36,45,54，62,74,91101116147]，“faults”：[4,28]，“is”：[5,58,79]，“part”：[6]，“prepartial”：[9]，“safety”：[10]，“assessment”：[11]，“for”：[12]，“complex”：[13]，“安全关键”：[14]，“系统”：[15]，“A”：[16]，“最近的“：[17]，”工作“：[18]，”建议“：[19]，”一个“：[20,75]，”基于smt“：[21156]，”方法“：[22121]，”到“：[23,50,65104]，”交易“：[24]，”with“：[25,81123]，”in“：[29125]，”存在“：[30]，”循环“：[32]，”依赖性。“：[33]，”The“：[34119149]，”set“：[35,53146]，”all“：[37,71]，”fault“：[39]，”configurations“：[40]，”that“：[41]，”cause“：[42]，”contraction“：[44]，”a“：[46,84144]，”property“：[47]，”also“：48]，”refered“：[49]，”as“：[51]，”minimal“：[55,72]，”cut“：[56]，”sets，“：[57]，”计算“：[59]”，通过“：[60,82]”，“表示”：[61]，“重复”：[63]，“调用”：[64]，“smt”：[67,76]，“解算器”：[68]，“因此，“：[69]，”枚举“：[70]，”模型“：[73]，”公式。“：[77]，”循环“：[78]，”处理“：[80]，”强制“：[83]，”严格“：[85]，”时间“：[86]，”顺序“：[87]，”使用“：[88]，”理论“：[90]，”差异“：[92]，”逻辑。“：[93]，“In”：[94]，“this”：[95]，“paper”，：[96]，“we”：/97]，“explore”：[98]，“use”：[100]，“Answer-Set”：[102]，“Programming”：[103]，“through”：[105]，“same”：[107]，“problem”。“：[108]，“我们”：[109137]，“提议”：[110]，“两个”：[111]，“编码”：[112]，“杠杆”：[113]，“概念”：[115]，“稳定”：[117]，“模型”。“：[118]，”first“：[120150]，”deals“：[122]，”cycles“：[124]，”encoding“：[127160]，”while“：[128]，”second“：[130]，”dependent“：[131]，”on“：[132143161]，”asp“：[133]，”Modulo“：[134]，”Acyclicity“：[135]，”（aspma）。“：[136]，”实验“：[138]，”评估“：[139]，”三“：[141]，”方法“：[142]，”综合“：[145]，”基准。“：[148]，”基于asp“：[151]，”编码“：[152]，”显著“：[153]，”优于“：[154]，”方法；“：[157]，”基于aspma“：[159]，”其他“：[163]，”手“：[164]，”做“：[165]，”不“：[166]，”收益率“：[167]，”预期“：[169]，”性能“：[170]，”增益。“：[171]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4293179420“，”counts_by_year“：[]，”updated_date“：”2024-05-23T00:43:54.494334“，”created_date:“2022-08-27”}“