{“id”：“https://openalex.org/W2751728516“，”doi“：”https://doi.org/10.4204/eptcs.256.17“，”title“：”模型检查社交网络模型“，”display_name“：”模型检查社交网络模型“，”publication_year“：2017，”publication_date“：”2017-09-06“，”ids“：｛”openalex“：”https://openalex.org/W2751728516“，”doi“：”https://doi.org/10.4204/eptcs.256.17“，”mag“：”2751728516“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：null，”pdf_url”：“https://arxiv.org/pdf/1709.02105，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[”crossref“，”datacite“，”doaj“]，”open_access“：{”is_oa“：true，”oa_status“：”gold“，”oa_url“：”https://arxiv.org/pdf/1709.02105“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5057464276“，”display_name“：”Ra\u00fal Pardo“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I66862912“，”display_name“：”Chalmers科技大学“，”ror“：”https://ror.org/040wg7k59“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I66862912“]}，{”id“：”https://openalex.org/I881427289“，”display_name“：”哥德堡大学“，”ror“：”https://ror.org/01tm6cn81“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I881427289“]}]，”国家“：[”SE“]，”is_corresponding“：true，”raw_author_name“：”Ra\u00fal Pardo“，”raw _affiliation_strings“：[“查尔默斯大学计算机科学与工程系|瑞典哥德堡大学”]，”affiliations“：[{”raw _affiliation_string“：”查尔默思大学计算机科学和工程系|瑞士哥德堡学院。“，”机构ID“：[”https://openalex.org/I66862912","https://openalex.org/I881427289“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5051084250“，”display_name“：”Gerardo Schneider“，”orcid“：”https://orcid.org/0000-0003-0629-6853}，“机构”：[{“id”：https://openalex.org/I66862912“，”display_name“：”Chalmers科技大学“，”ror“：”https://ror.org/040wg7k59“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I66862912“]}，{”id“：”https://openalex.org/I881427289“，”display_name“：”哥德堡大学“，”ror“：”https://ror.org/01tm6cn81“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I881427289“]}]，”countries“：[”SE“]，”is_corresponding“：false，”raw_author_name“：”Gerardo Schneider“，”raw_affiliation_strings“：【”查尔默斯大学计算机科学与工程系|瑞典哥德堡大学“】，”affiliations“：[{”raw_affiliation_string“：”查尔默斯大学计算机科技与工程系/瑞典哥德伯格大学“，”机构ID“：[”https://openalex.org/I66862912","https://openalex.org/I881427289“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：2，”corresponding_author_ids“：[”https://openalex.org/A5057464276“]，”对应的机构ID“：[”https://openalex.org/I66862912","https://openalex.org/I881427289“]，”apc_list“：{“value”：0，”currency“：”USD“，”value_USD“：0，“provenance”：“doaj”}，“apc_payed”：{”value“：0”，“currency”：“USD”，“value_USD”：0”provenance“：”doaj“}，”fwci“：2.402，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：6，”citected_by_percentile_year“：{”min“：83，”max“：85}，”biblio“：{”volume“：”256“，”issue“：null，”first_page“：”238“，”last_page“：“252”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10927“，”display_name“：”在线环境中的信任和声誉系统“，”score“：0.9992，”subfield“：{”id“：”https://openalex.org/subfields/3312“，”display_name“：”社会学与政治学“}，”field“：{”id“：”https://openalex.org/fields/33“，”display_name“：”社会科学“}，”域“：{”id“：”https://openalex.org/domains/2“，”display_name“：”社会科学“}}，”主题“：[{”id“：”https://openalex.org/T10927“，”display_name“：”在线环境中的信任和声誉系统“，”score“：0.9992，”subfield“：{”id“：”https://openalex.org/subfields/3312“，”display_name“：”社会学与政治学“}，”field“：{”id“：”https://openalex.org/fields/33“，”display_name“：”社会科学“}，”域“：{”id“：”https://openalex.org/domains/2“，”“display_name”：“社会科学”}}，{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9969，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.9768，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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.603036}]，”concepts“：[{”id“：”https://openalex.org/C73301696，“wikidata”：https://www.wikidata.org/wiki/Q5469984“，”display_name“：”形式主义（音乐）“，”level“：3，”score“：0.69373316}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6473514}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.6383581}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.62308574}，{”id“：”https://openalex.org/C161913894，“wikidata”：https://www.wikidata.org/wiki/Q1077740“，”display_name“：”Kripke结构“，”level“：3，”score“：0.57861024}，{”id“：”https://openalex.org/C2987255567，“wikidata”：https://www.wikidata.org/wiki/Q33002955“，”display_name“：”知识图“，”level“：2，”score“：0.56579924}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5590693}，{”id“：”https://openalex.org/C160131679，“wikidata”：https://www.wikidata.org/wiki/Q2462350“，”display_name“：”Kripke semantics“，”level“：4，”score“：0.51594454}，{”id“：”https://openalex.org/C107247716，“wikidata”：https://www.wikidata.org/wiki/Q1347436“，”display_name“：”认识模态逻辑“，”level“：4，”score“：0.44584242}，{”id“：”https://openalex.org/C4727928，“wikidata”：https://www.wikidata.org/wiki/Q17164759“，”display_name“：”社交网络（社会语言学）“，”level“：3，”score“：0.4412434｝，｛”id“：”https://openalex.org/C27508121，“wikidata”：https://www.wikidata.org/wiki/Q210841“，”display_name“：”模态逻辑“，”level“：3，”score“：0.4121514}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.2868321}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.2739092}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.1853762}，{”id“：”https://openalex.org/C518677369，“wikidata”：https://www.wikidata.org/wiki/Q202833“，”display_name“：”社交媒体“，”level“：2，”score“：0.17976457}，{”id“：”https://openalex.org/C136764020，“wikidata”：https://www.wikidata.org/wiki/Q466“，”display_name“：”万维网“，”level“：1，”score“：0.17000604}，{”id“：”https://openalex.org/C71139939，“wikidata”：https://www.wikidata.org/wiki/Q910194“，”display_name“：”Modal“，”level“：2，”score“：0.13045052}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C188027245，“wikidata”：https://www.wikidata.org/wiki/Q750446“，”display_name“：”聚合物化学“，”level“：1，”score“：0.0}，{”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/C153349607，“wikidata”：https://www.wikidata.org/wiki/Q36649“，”display_name“：”视觉艺术“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：4，”location“：[{”is_oa“：true，”landing_page_url“：null，”pdf_url”：“https://arxiv.org/pdf/1709.02105，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：false，”landing_page_url“：”https://doaj.org/article/93bb1da279ee4989a176226ced3ccb70“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4306401280“，”display_name“：”DOAJ（DOAJ:开放获取期刊目录）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_DOAJ“：false，”is_core“：false，”host_organization“：null，”host_organization_name“：null，”host_organization_lineage“：[]，”host_organization_lineage_names“：[]，”type“：”repository“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false}，{“is_oa”：true，”landing_page_url“：”https://research.chalmers.se/en/publication/252754，“pdf_url”：http://publications.lib.chalmers.se/records/fulltext/252754/local_252754.pdf，“源”：{“id”：https://openalex.org/S4306402469“，”display_name“：”查尔默斯研究所（查尔默斯理工大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I66862912“，”“host_organization_name”：“查尔默斯理工大学”，“host_ordanization_lineage”：[“https://openalex.org/I66862912“]，”host_organization_lineage_names“：[”查尔默斯理工大学“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：false，”landing_page_url“：”https://api.datacite.org/dois/10.48550/arxiv.1709.02105“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，”type“：”metadata“｝，”license“：null，”license_id“：null，”version“：null｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：null，”pdf_url“：”https://arxiv.org/pdf/1709.02105，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is.in_doaj“：false，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：“cc-by-nc-nd”，“licence_id”：“https://openalex.org/licenses/cc-by-nc-nd“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.54，”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“}]，”拨款“：[]，”数据集“：[]，”版本“：[”https://openalex.org/W2751728516","https://openalex.org/W3143667943“]，”referenced_works_count“：12，”referenced_works“：[”https://openalex.org/W140202552","https://openalex.org/W1507793072","https://openalex.org/W1820823256","https://openalex.org/W2000032456","https://openalex.org/W2031522732","https://openalex.org/W2093658517","https://openalex.org/W2104074474","https://openalex.org/W2118994807","https://openalex.org/W2164503131","https://openalex.org/W2953147455","https://openalex.org/W3140030144","https://openalex.org/W4235563958“]，”related_works“：[”https://openalex.org/W4256440757","https://openalex.org/W2974949998","https://openalex.org/W2791039533","https://openalex.org/W2574493628","https://openalex.org/W2295561503","https://openalex.org/W2232612073","https://openalex.org/W2130098903","https://openalex.org/W1599533611","https://openalex.org/W111991431","https://openalex.org/W103108516“]，”ngrams_url“：”https://api.openalex.org/works/W2751728516/ngrams网站“，”abstract_inverted_index“：{”A“：[0]，”社交“：[1,9,22,27,39,49,90,96]，”网络“：[2,91]，”服务“：[3,24]，”是“：[4,25,51,67,95126181]，”A“：[5,21,69132150194]，”平台“：[6]，”to“：[7,58,72]，”构建“：[8]，”关系“：[10]，”中间“：[11]，”人“：[12]，”共享“：[13]，”类似的“：[14]，”兴趣“：[15]，”和“：[16,33,41,74159]，”活动。“：[17]，”底层“：[18]，“结构”：[19]，“of”：[20,44,63,85134136153197]，“网络”：[23,50]，“the”：[26,34,37,83103106117184198]，“graph”，“：[28]，”where“：[29]，”nodes“：[30]，”representation“：[31,36]，”users“：[32107]，”arcs“：[35]，”用户“：[38]，”links“：%40]，”other“：%42]，”kind“：[43]，“连接。一个“：[45]，“重要”：[46]，“关注”：[47]，“在”：[48]，“隐私：”：[52]，“什么”：[53]，“其他”：[54]，“是”：[55139143]，“（不是）”：[56]，“允许”：[57]，“知道”：[59]，“关于”：[60]，“我们。”：[61]，“逻辑”：[62]，“知识”：[64]，“认识”：[65]，“逻辑学”：[66]，“因此”：[68]，“好”：[70]，“形式主义”：[71]，“定义”：[73]，“原因”：[75]，“关于”：[76]，“隐私”：[77]政策。在“：[78]，“this”：[79]，“paper”：[80]，“we”：[81160191]，“consider”：[82]，“problem”：[84120180]，“verifying”：[86]，“knowledge”：[87100137]，“properties”：[88123135]，“over”：[89124]，“models”：[92142165]，“（SNM），”：[93]，“that”：[94105116131138]，“graph”：[97]，“enriced”：[98]，“with”：“[99]，“bases”：[101]，“包含”：[102]，“信息”：[104]，“知道”。更多“：[108]，“具体地”，“：[109]，“我们的”：[110]，“贡献”：[111]，“是：”：[112]，“i）”：[113]，“我”：[114129148172]，“证明”：[115130]，“模型”：[118178]，“检查”：[119179]，“for”：[121175201]，“认知”：[122]，“SNMs”：[125154]，“可判定的；“：[127]，”ii）“：[128]，”数字“：[133]，”声音“：[140145]，”w.r.t.Kripke“：[141]，”也“：[144161]，”w.r.t.SNMs；“：[146]，”iii）“：[147]，”give“：[149]，”satisfaction-preserving“：[151]，”encoding“：[152]，”into“：[155169]，”canonical“：[156]，”Kripke“：[157164189]，”models“：[158]，”characterize“：[162]，”which“：[163]，”may“：[166]，”be“：[167]，”translated“：[168]，”SNMs；“：[170]，”iv）“：[171]，”show“：[173]，”that“：[174]，”SNM“：[176]，”priced“：[182]，”to“：[183]，”one“：[185]，”based“：%186]，”on“：[187]，”standard“：%188]，”models。最后，“：[190]，”have“：[192]，”developed“：[193]，”proof-of-concept“：[195]，”implementation“：[196]，”model-checking“：[199]，”algorithm“：[200]，”SNM。“：[202]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2751728516“，”counts_by_year“：[{“年份”：2023，”cited_by_count“：1}，{“年”：2021，”ciped_by_cunt“：2}，”{“年度”：2020，“cited_by_count”：1}.，{”year“:2019，”cited_by_count