｛“id”：“https://openalex.org/W2030117515“，”doi“：”https://doi.org/10.1016/j.apal.2005.12.003“，”title“：”On complexity of verification of interacting agents\u2019 behavior“，”display_name“：”关于交互代理验证的复杂性\u2019行为“，”publication_year“：2006，”publitation_date“：”2006-09-01“，”ids“：{”openalex“：”https://openalex.org/W2030117515“，”doi“：”https://doi.org/10.1016/j.apal.2005.12.003“，”mag“：”2030117515“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.apal.2005.12.003“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S172477885“，”display_name“：”纯逻辑和应用逻辑年鉴“，”issn_l“：”0168-0072“，”issn“：[”0168-0072“，”1873-2461“]，”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“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”article“，”type_crossref“：”journal article“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”bronze“，”oa_url“：”http://www.keldysh.ru/papers/2006/source/article/apal-ddv.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5001414935“，”display_name“：”Michael Dekhtyar“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I2799967260“，”display_name“：”Tver州立大学“，”ror“：”https://ror.org/03c8qq315“，”country_code“：”RU“，”type“：“教育”，”世系“：[”https://openalex.org/I2799967260“]}]，”国家“：[”RU“]，”is_corresponding“：true，”raw_author_name“：”Michael Dekhtyar“，”raw _ afiliation_strings“：[“俄罗斯特维尔圣大学CS系，170000”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5017931042“，”display_name“：”Alexander Dikovsky“，”orcid“：”https://orcid.org/0000-0003-0990-5095}，“机构”：[{“id”：https://openalex.org/I97188460“，”display_name“：”南特大学\u00e9“，”ror“：”https://ror.org/03gnr7b55“，”country_code“：”FR“，”type“：“教育”，”世系“：[”https://openalex.org/I97188460“]}，{”id“：”https://openalex.org/I86427540“，”display_name“：”Keldysh应用数学研究所“，”ror“：”https://ror.org/01dv3hq14“，”“country_code”“：”RU“，”type“：”facility“，”lineage“：[”https://openalex.org/I1313323035","https://openalex.org/I4210124601","https://openalex.org/I86427540“]}]，”国家“：[”FR“，”RU“]，”is_corresponding“：false，”raw_author_name“：”Alexander Dikovsky“，”raw _affiliation_strings“：[“IRIN，University \u00e9 de Nantes，2，rue de la Houssini \u00e 8re，BP 92208 44322 Nantes Cedex 03，France”，“Keldysh Inst.for Appl.Math.，Moscow，125047，Russia”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5004306964“，”display_name“：”M.K.Valiev“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I86427540“，”display_name“：”Keldysh应用数学研究所“，”ror“：”https://ror.org/01dv3hq14“，”“country_code”“：”RU“，”type“：”facility“，”lineage“：[”https://openalex.org/I1313323035","https://openalex.org/I4210124601","https://openalex.org/I86427540“]}]，”countries“：[”RU“]，”is_corresponding“：false，”raw_author_name“：”Mars Valiev“，”raw _affiliation_strings“：【”Keldysh应用数学研究所，莫斯科，125047，俄罗斯“】}]，“countries_distinact_count”：2，“institutions_distiction_count“：3，”corresponding_author_ids“：[“”https://openalex.org/A5001414935“]，”对应的机构ID“：[”https://openalex.org/I2799967260“]，”apc_list“：｛”value“：3390，”currency“：”USD“，”value_USD“：3390，”出处“：”doaj“｝，”apc_payed“：｛”value“：3390，”currency“：”USD“，”value_USD“：3390，”出处“：”doaj“｝，”has_fulltext“：false，”cited_by_count“：6，”cited_by_percentle_year“：｛”min“：80，”max“：82｝，”biblio“：｛”volume“：”141“，”issue“：”3“，”first_page“：”336“，”last_page“：”362“｝，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9998，”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.9998，”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.9997，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9982，”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/multi-gent-systems网站“，”display_name“：”Multi-Agent Systems“，”score“：0.558064}，{”id“：”https://openalex.org/keywords/agent-based-modeling网站“，”display_name“：”基于代理的建模“，”score“：0.54495}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.59296536}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5376756}，{”id“：”https://openalex.org/C41550386，“wikidata”：https://www.wikidata.org/wiki/Q529909“，”display_name“：”Multi-agent system“，”level“：2，”score“：0.4751886}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.45377877}，{”id“：”https://openalex.org/C2779167558，“wikidata”：https://www.wikidata.org/wiki/Q176468“，”display_name“：”过渡系统“，”level“：2，”score“：0.43105507}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.35256743}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.apal.2005.12.003“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S172477885“，”display_name“：”纯逻辑和应用逻辑年鉴“，”issn_l“：”0168-0072“，”isn“：[”0168-0072“，”1873-2461“]，”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”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.96.8126，“pdf_url”：http://www.keldysh.ru/papers/2006/source/article/apal-ddv.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.96.8126，“pdf_url”：http://www.keldysh.ru/papers/2006/source/article/apal-ddv.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：17，“referrenced_works”：https://openalex.org/W1551909346","https://openalex.org/W1587782590","https://openalex.org/W1597383628","https://openalex.org/W1975264039","https://openalex.org/W2001516787","https://openalex.org/W2015640848","https://openalex.org/W2023051844","https://openalex.org/W2035671237","https://openalex.org/W2046135868","https://openalex.org/W2069709605","https://openalex.org/W2090398333","https://openalex.org/W2093916942","https://openalex.org/W2106172458","https://openalex.org/W2124344619","https://openalex.org/W2128672031","https://openalex.org/W4213009134","https://openalex.org/W4241108585“]，”related_works“：[”https://openalex.org/W2763487042","https://openalex.org/W2746423042","https://openalex.org/W2546438959","https://openalex.org/W2468920154","https://openalex.org/W2158345050","https://openalex.org/W2142909653","https://openalex.org/W1593632240","https://openalex.org/W1592617145","https://openalex.org/W1581671536","https://openalex.org/W1559863564网址“]，”ngrams_url“：”https://api.openalex.org/works/W2030117515/ngrams网站“，”abstract_inverted_index“：{”This“：[0]，”paper“：[1]，”studies“：[2]，”the“：[3,25,30,33,43]，”complexity“：[4,40]，”of“：[5,7,32,42]，”behavior“：[6,44]，”multi-agent“：[8,34]，”systems.“：[9]，”behavior”：[10]，“properties”：[11,45]，“are”：[12,20]，”formulated“：[13]，”using“：[14]，”classical“15]，“时间”：[16]，“逻辑”：[17]，“语言”：[18]，“和”：[19,49,55]，“选中“：[21]，”with“：[22]，”respect“：[23]，”to“：[24]，”transition“：[26]，”system“：/27]，”induced“：[28]，”by“：[29]，”definition“：[31]，”系统。“：[35]，“我们”：[36]，“建立”：[37]，“各种”：[38]，“紧密”：[39]，“界限”：[41]，“低于”：[46]，“自然”：[47]，“结构”：[48]，“语义”：[50]，“限制”：[51]，“on”：[52]，“代理”：[53]，“程序”：[54]，“操作”。“：[56]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2030117515”，“counts_by_year”：[｛“year”：2017，“cited_by_count”：1｝，｛“year”：2015，“cited_by_count”：1｝，｛“year”：2012，“cited_by_count”：1｝]，“updated_date”：“2024-06-07T07:04:56.544834”，“created_date”：“2016-06-24”｝