{“id”：“https://openalex.org/W2767103995“，”doi“：”https://doi.org/10.1016/j.ic.2017.08.010“，”title“：”Reasoning about graded strategy quantifiers“，”display_name“：”推理关于分级策略量词“，”publication_year“：2018，”publitation_date“：”2018-04-01“，”ids“：{”openalex“：”https://openalex.org/W2767103995“，”doi“：”https://doi.org/10.1016/j.ic.2017.08.010“，”mag“：”2767103995“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic.2017.08.010“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/j.ic.2017.08.010“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5026864209“，”display_name“：”Vadim Malvone“，”orcid“：”https://orcid.org/0000-0001-6138-4229“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”瓦迪姆·马尔文“，”raw关联字符串“：[”信息学，生物信息学，系统\u00e8mes综合体“]}，{”author_position“：”中间“，”作者“：{”id“：”https://openalex.org/A5052215915“，”display_name“：”Fabio Mogavero“，”orcid“：”https://orcid.org/0000-0002-5140-5783}，“机构”：[{“id”：https://openalex.org/I71267560“，”display_name“：”那不勒斯大学费德里科二世“，”ror“：”https://ror.org/05290cv24“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I71267560“]｝]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Fabio Mogavero“，”raw_affiation_strings“：[”那不勒斯大学费德里科二世分校电气工程与信息技术系“]｝，{”author_position“：”middle“，”author“：”https://openalex.org/A5055415505“，”display_name“：”Aniello Murano“，”orcid“：”https://orcid.org/0000-0003-4876-3448}，“机构”：[{“id”：https://openalex.org/I71267560“，”display_name“：”那不勒斯大学费德里科二世“，”ror“：”https://ror.org/05290cv24“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I71267560“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Aniello Murano“，”raw _ afiliation_strings“：[“那不勒斯大学Federico II”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5045015214“，”display_name“：”L.Sorrentino“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Loredana Sorrentino“，”raw _affiliation_strings“：]}]，”countries_distiction_count“：1，”instistations_distition_count 0，“货币”：“美元”，“value_usd“：2630，”provenance“：”doaj“}，”apc_payed“：{”value“：2630,”currency“：”usd“，”value_usd:2630，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：6，“cited_by_percentile_year”：{“min”：83，“max”：84}，《图书》：{卷：“259”，“issue”：null，“first”_page“：”390“，”last_page“：”411“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9996，”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.9996，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9941，“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/T10456“，”“display_name”：“基于代理建模的方法和技术”，“score”：0.9909，“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/description-logics网站“，”display_name“：”描述逻辑“，”score“：0.540793｝，｛”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.528897}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.521089}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.519576}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.513755}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.55117834}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.5433524}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”片段（逻辑）“，”级别“：2，”分数“：0.4987328}，{”id“：”https://openalex.org/C134026603，“wikidata”：https://www.wikidata.org/wiki/Q846354“，”display_name“：”P“，”level“：3，”score“：0.47253704}，{”id“：”https://openalex.org/C73301696，“wikidata”：https://www.wikidata.org/wiki/Q5469984“，”display_name“：”形式主义（音乐）“，”level“：3，”score“：0.4684857}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4272574}，{”id“：”https://openalex.org/C58468513，“wikidata”：https://www.wikidata.org/wiki/Q1201165“，”display_name“：”确定性“，”level“：2，”score“：0.42456484}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.33755428}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.33190572}，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.26191494}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.22245508}，{”id“：”https://openalex.org/C311688，“wikidata”：https://www.wikidata.org/wiki/Q2393193“，”display_name“：”时间复杂性“，”level“：2，”score“：0.16158336}，{”id“：”https://openalex.org/C142362112，“wikidata”：https://www.wikidata.org/wiki/Q735“，”display_name“：”Art“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C558565934，“wikidata”：https://www.wikidata.org/wiki/Q2743“，”display_name“：”Musical“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C153349607，“wikidata”：https://www.wikidata.org/wiki/Q36649“，”display_name“：”视觉艺术“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic.2017.08.010“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：false，”landing_page_url“：”https://hal.telecom-paris.fr/hal-03779045“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://telecom-paris.hal.science/hal-03779045“，”pdf_url“：null，”source“：null，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic.2017.08.010“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“，”score“：0.66}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：21，”referrenced_works“：【”https://openalex.org/W108213898“，”https://openalex.org/W1486587973“，”https://openalex.org/W1511668635“，”https://openalex.org/W1523929643“，”https://openalex.org/W1546220007“，”https://openalex.org/W1559035930“，”https://openalex.org/W1755994347“，”https://openalex.org/W1994350081“，”https://openalex.org/W2004306067“，”https://openalex.org/W2043507528“，”https://openalex.org/W2048905609“，”https://openalex.org/W2080057244“，”https://openalex.org/W2086035610网址“，”https://openalex.org/W2103197756“，”https://openalex.org/W2114893507“，”https://openalex.org/W2281681012“，”https://openalex.org/W2913210435“，”https://openalex.org/W2952842534“，”https://openalex.org/W3101497863“，”https://openalex.org/W3144889436“，”https://openalex.org/W4248784701“]，”related_works“：[”https://openalex.org/W45652848“，”https://openalex.org/W4301421734“，”https://openalex.org/W4236657165“，”https://openalex.org/W4213060090“，”https://openalex.org/W3037524176“，”https://openalex.org/W2647824962“，”https://openalex.org/W2505787881“，”https://openalex.org/W2088108327“，”https://openalex.org/W1521335825“，”https://openalex.org/W1482555883“]，”ngrams_url“：”https://api.openalex.org/works/W2767103995/ngrams网站“，”“abstract_inverted_index”：{“In”：[0,45]，“this”：[1123203]，“paper”：[2]，“we”：[3139142165]，“introduce”：[4143]，“and”：[5]，“study”：[6]，“Graded”：[7]，“Strategy”：[0,14186]，“Logic”：[9,15187]，“（GSL），”：[10]，“an”：[11160]，”，“extension”：[12]，“of”：[13,49162182189]，“（SL）“：[16]，”with“：[17192]，”Graded“：[18193]，”quantifiers“：[19]，”.“：[20,73,99209]，“SL“：[21190]，“is”：[22125178205]，“a”：[23129136144]，“powerful”：[24]，“formalism”：[25]，“that”：[26,63,89108177198]，“allows”：[27]，“to”：[28132]，“describe”：[29]，“usive”：[30]，“game”：[31]，“concepts”：[32]，”in“：[33101]，“multi-agent”：[34]，“settings”：[3]，“by”：[36,47]，“显式地“：[37]，”量化“：[38]，”超过“：[39148]，”策略“：[40,69,95109]，”将“：[41]”视为“：[42120138]”，“一级”：[43]，“公民”。“：[44]，”GSL，“：[46]，”表示“：[48107]，”the“：[50,76111153171179183199218]，”existative“：[51]，”construct“：[52,78]，”\u300a“：[53]，”x“：[54,70,80,96]，”\ u2265“：[55]，”g“：[56,68,82,94]，”\f300b“：[57]，”u03c6“：[58,72,84,98]，”，“，”：[59,85]，“一个”：[60,86]，“可以”：[61,87]，“强制”：[62]，“那里”：[64]，“存在”：[65]，“在”：[66]，“最少”：[67]，“满意”：[71]，“双重，“：[74]，”通过“：[75]，”通用“：[77]，”\u301a“：[79]，”<“：[81]，”\ u301b“：[83]，”确保“：[88]，”全部“：[90]，”但是“：[91]，”少“：[92]，”小于“：[93]，”满足“：[97]，”策略“：[100]，”GSL“：[102163]，”是“：[103118]，”计数“：[104119]，”语义上的。“：[105]，”此“：[106]，”诱导“：[110]，”相同“：[112]，”结果“：[113]，”偶数“：[114]，”虽然“：[115]，”看起来“：[116]，”不同“：[117]，”一。“：[121]，”While“：[122]，”interpretation“：[124]，”natural“，“：[126]，”it“：[127]，”requires“，”suitable“：[130]，”machine“：[131]，”allow“：[133]，”for“：[13402]，”suse“：[135]，”counting“：[137]，”do.“：[140]，”Precise“，”：[141]，“non-privative”：[145]，”equivalence“：%146]，”relation“：[147]，”strategy“：[149194]，“配置文件”：[150]，“基于”：[151]，“于”：[152213]，“战略”：[154]，“行为”：[155]，“他们”：[156]，“诱导。“：[157]，“收件人”：[158]，“给予”：[159]，“证据”：[161]，“可用性”：[164]，“调查”：[166]，“一些”：[167214]，“基本”：[168]，“问题”：[169]，“关于”：[170217]，“香草”：[172]，“GSL[”：[173]，“1g”：[174]，“]”：[175]，“片段”：[176]，“香荚”：[180]，“限制”：[181]，“研究充分“：[184]，”One-Goal“：[185]，”fragment“：[188]，”augmented“：[191]，”量词。“：[195]，“We”：[196210]，“show”：[197]，“model-checking”：[200]，“problem”：[201]，“logic”：[204]，“PTime”：[206]，“-”：[207]，“complete”：[208]，“also”：[211]，“report”：[212]，“positive”：[215]，“results”：[216]，“determinaticy”。“：[219]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2767103995“，”counts_by_year“：[{”year“:2020，”cited_by_count“：1}，{”year“：2019，”cited_by_count”：1}.，{“year”：2018，”citecd_by_count“:4}]，”updated_date“：”2024-05-27T20:58.223717“，”created_date:“2017-11-10”}