2015年WoLLIC)“，”display_name“：”第22届逻辑、语言、信息和计算研讨会(2015年WoLLIC)“，”“publication_year”：2016，“publication_date”：“2016-07-07”，“ids”：{“openalex”：“https://openalex.org/W2518850375“，”doi“：”https://doi.org/10.1093/gigpal/jzw014“，”mag“：”2518850375“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1093/gigpal/jzw014“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S2734381524“，”display_name“：”IGPL的逻辑日志“，”issn_l“：”1367-0751“，”issn“：[”1367-0751“，”1368-9894“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310311648“，”“host_organization_name”：“牛津大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311647","https://openalex.org/P4310311648“]，”host_organization_lineage_names“：[”牛津大学“，”牛津大学出版社“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，空，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5033562494“，”display_name“：”Val\u00e9ria de Paiva“，”orcid“：”https://orcid.org/0000-0002-1078-6970“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Valeria de Paiva“，”raw _ afiliation_strings“：[”（计划主席）“]，”从属关系“：[{”raw_ afiliation _string“：”（计划主持人）“，”机构id“：[]}，{”author_position“：”middle“，”author“：”https://openalex.org/A502025402“，”display_name“：”Larry Moss“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1328728281“，”display_name“：”MACOM（美国）“，”ror“：”https://ror.org/04wf6rg14“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1328728281“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Larry Moss“，”raw _affiliation_strings“：[“（Org Comm Local Co-Chair）”]，”从属关系“：[{”raw _affiliation_string“：”（Org Comm Local Co-Chairhttps://openalex.org/I1328728281“]｝]｝，｛”author_position“：”middle“，”author“：｛”id“：”https://openalex.org/A5018841823“，”display_name“：”Dani\u00ebl Leivant“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1328728281“，”display_name“：”MACOM（美国）“，”ror“：”https://ror.org/04wf6rg14“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1328728281“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Daniel Leivant“，”raw _ afiliation_strings“：[“（Org Comm Local Co-Chair）”]，”affiliations“：[{”raw _affiliation_string“：”（Org Comm Local Co-Chairhttps://openalex.org/I1328728281“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5084128763“，”display_name“：”Ruy J.G.B.de Queiroz“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1328728281“，”display_name“：”MACOM（美国）“，”ror“：”https://ror.org/04wf6rg14“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1328728281“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Ruy de Queiroz“，”raw _ afiliation_strings“：[“（Org Comm Co-Chair）”]，”从属关系“：[{”raw _affiliation_string“：”https://openalex.org/I1328728281“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]”，“apc_list”：{“value”：4151，“currency”：“USD”，“value_USD”：4161，“provenance”：“doaj”}，“apc _payd”：null，“fwci”：null，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited”_by_count“：0，”cited_by_percentile_year“：{”min“：0”max“：71}，”biblio“：{”volume“：”24“，”issue“：”5“，”first_page“：”859“，”last_page“：“859”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.9983，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9933，”subfield“：｛”id“：”https://openalex.org/subfields/1703“，”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/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.49085}]，”concepts“：[{”id“：”https://openalex.org/C205649164，“wikidata”：https://www.wikidata.org/wiki/Q1071“，”display_name“：”地理“，”级别“：0，”分数“：0.54364276}，{”id“：”https://openalex.org/C161191863，“wikidata”：https://www.wikidata.org/wiki/Q199655“，”display_name“：”图书馆学“，”level“：1，”score“：0.4023311｝，｛”id“：”https://openalex.org/C15708023，“wikidata”：https://www.wikidata.org/wiki/Q80083“，”display_name“：”人文学科“，”level“：1，”score“：0.3339059}，{”id“：”https://openalex.org/C142362112，“wikidata”：https://www.wikidata.org/wiki/Q735“，”display_name“：”Art“，”level“：0，”score“：0.06666738}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1093/gigpal/jzw014“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S2734381524“，”display_name“：”IGPL的逻辑日志“，”issn_l“：”1367-0751“，”isn“：[”1367-0551“，“1368-9894”]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310311648“，”“host_organization_name”：“牛津大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311647","https://openalex.org/P4310311648“]，”host_organization_lineage_names“：[”牛津大学“，”牛津大学出版社“]，“type”：“journal”}，“license”：null，“liccense_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：null，“sustainable_development_goals”：[{“score”：0.63，“id”：”https://metadata.un.org/sdg/4“，”display_name“：”优质教育“｝]，”拨款“：[]，”数据集“：[]，”版本“：[]，”referenced_works_count“：3，”referenced_works“：[”https://openalex.org/W151008459","https://openalex.org/W2024189573","https://openalex.org/W2094685149“]，”related_works“：[”https://openalex.org/W93312527","https://openalex.org/W828925460","https://openalex.org/W2748952813","https://openalex.org/W2603296253","https://openalex.org/W2559405764","https://openalex.org/W2557454913","https://openalex.org/W1589203209","https://openalex.org/W157591366","https://openalex.org/W11365241","https://openalex.org/W1013667899“]，”ngrams_url“：”https://api.openalex.org/works/W2518850375/ngrams“，”abstract_inverted_index“：{”WoLLIC“：[0,17]，”2015“：[1]，”was“：[2]，”hold“：[3,86]，”in“：[4,11,28,37,53,91,98103108115120126132139149154162165171175178181194198201204208]，”Bloomington“：[5]，”Indiana“：[6]，”USA“：[7]，“20\u201323”：[8]，“July”：[9]，“2015，”：[10]，“the”：[12,31,54,62187]，“校园”：[13]，“的”：[14,24,33,56]，“印第安纳州“：[15]，”大学。":[16],"(":[18],"网址：http://wollic.org“：[19]，”）“：[20]，”is“：[21,44,50,71184]，”a“：[22,47]，”series“：[23]，”workshops“：[25]，”which“：[26,49]，”started“：[27]，”1994“：[29,92]，”with“：[30]，”aim“：[32]，”fouring“：[34]，”interactiversal“：[35]，”research“：[36]，”pure“：[38]，”and“：[39,61,67,69,78,93]，”应用了“：[40]，”逻辑。“：[41]，”The“：[42]，”idea“：[43]，”to“：[45,65,74]，”have“：[46]，”forum“：[48]，”large“：[51]，”enough“：[52,73]，”number“：[55]，”possible“：[57]，”interactions“：[58]，”between“：[59]，”logic“：[60]，”sciences“：[63]，”related“：[64]，”information“：[66]，”computation“：[68]，”yet“：[70]，”小“：[72]，”允许“：[75]，”用于“：[76]，”具体“：[77]，”有用“：[79]，”交互“：[80]，”在“：[81]”参与者中。“：[82]，”以前的“：[83]，”版本“：[84]，”是“：[85]，”在：“：[87]，”累西腓“：[88]，”（伯南布哥，”：[89]，“巴西）“：[90，9710211141112125138148]，”1995；“：[94]，“萨尔瓦多”：[95]，“（巴伊亚，”：[96]，“1996；”：[99]，“福塔莱萨”：[100]，“Cear\u00e1，”：[101]，“1997；”：[104]，“S\u00e 3o”：[105]，“保罗”：[106]，“巴西”：[107131]，“1998；“：[109]，“意大利”：[110]，“（里约”：[111]，“德”：[1112129157]，“热内卢”，“：[113]，“1999；”：[116]，“纳塔尔”：[117]，“RN，”：[118]，“2000；”：121]，“Bras\u00edlia”：/12167]，“地区”：[123]，“联邦”：[124]，“2001；”：/127]，“里约”:[128156]，“热内卢”：[130158]，“2002；”：[133]，“乌罗”：[134]，“普雷托”：[135]，“米纳斯”：[136]，“吉拉斯”：[137]，“2003；”：[140]，“枫丹白露”：[141]，“（法国）“：[142]，”2004年；“：[144]，“Florian\u00f3polis”：[145]，“（Santa”：[146]，“Catarina”：[147]，“2005；”：[150]，“Stanford”：[151]，“加州”：[152]，“美国）”：[153]，“2006；":[155],"2007;“：[160]，”爱丁堡“：[161]，”2008；“：[163]，”东京“：[164]，”2009；":[166],"2010;“：[169]，”费城“：[170]，”2011；“：[172]，”布宜诺斯“：[173]，”艾利斯“：[174]，”2012；“：[176]，”达姆施塔特“：[177]，”2013；“：[179]，”瓦尔帕莱索“：[180]，”2014.“：[182]，”It“：[183]，”planned“：[185]，”that“：[186]，”meeting“：[188]，”will“：[189]，”take“：[190]，”place“：[191]，”in:“：[192]，”2016“：[193]，”Puebla“：[195]，”（墨西哥）“：[196]，”2017“：[197]，”乌得勒支“：[199]，”2018“”：[200]，“波哥大\u00e1”，：[202]，“2019”：[203]，“钦奈”：[205]，“（待定）”，“：[206]，“2020”：[207]，“阿雷基帕。“：[209]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2518850375“，”counts_by_year“：[]，”updated_date“：”2024-06-23T03:11.836154“，”created_dates“：”2016-09-23“}“