{“id”：“https://openalex.org/W1987394778“，”doi“：”https://doi.org/10.1006/jsco.1996.0068“，”title“：”非单调推理的可执行时态逻辑“，”display_name“：”非单调推理的可用时态逻辑”，“publication_year”：1996，“publitation_date”：“1996-11-01”，“ids”：{“openalex”：“https://openalex.org/W1987394778“，”doi“：”https://doi.org/10.1006/jsco.1996.0068“，”mag“：”1987394778“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0068“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”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.1006/jsco.1996.0068“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5039512008“，”display_name“：”Joeri Engelfriet“，”orcid“：null｝，”机构“：[]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Joeri Engelfriet“，”raw_affiation_strings“：[”阿姆斯特丹自由大学数学与计算机科学系，De Boelelaan 1081a，阿姆斯特丹，1081 HV，荷兰“]，”附属机构“：[｛”raw_affiation_string“：”阿姆斯特丹自由大学数学与计算机科学系，De Boelelaan 1081a，Amsterdam，1081 HV，The Netherlands“，”机构id“：[]｝]｝，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5083304312“，”display_name“：”Jan Treur“，”orcid“：”https://orcid.org/0000-0003-2466-9158“}，”机构“：[]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”JAN TREUR“，”raw_affiliation_strings“：[“荷兰阿姆斯特丹自由大学数学与计算机科学系，De Boelelaan 1081a，阿姆斯特丹，1081 HV”]，”从属关系“：[{”raw_affiliation_string“：”阿姆斯特丹自由大学数学与计算机科学系，荷兰阿姆斯特丹1081 HV，阿姆斯特丹De Boelelaan 1081a出处“：”doaj“}，”apc_payd“：null，”fwci“：0.555，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：6，”cited_by_percentile_year“：{”min“：76，”max“：77}，“biblio”：{“volume”：“22”，“issue”：“5-6”，“first_page”：“615”，“last_page”：”625“}”，“is_retraced”：false，“is_paratext”：false，“primary_topic”：{“id”：https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9999，”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.9999，”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.999，”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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9967，”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/非单调推理“，”display_name“：”非单调推理“，”score“：0.689688}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.625229}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.562865}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.552343}]，”concepts“：[{”id“：”https://openalex.org/C160145156，“wikidata”：https://www.wikidata.org/wiki/Q778586“，”display_name“：”Executable“，”level“：2，”score“：0.7673092}，{”id“：”https://openalex.org/C72169020，“wikidata”：https://www.wikidata.org/wiki/Q194404“，”display_name“：”单调函数“，”level“：2，”score“：0.73888254}，{”id“：”https://openalex.org/C73301696，“wikidata”：https://www.wikidata.org/wiki/Q5469984“，”display_name“：”形式主义（音乐）“，”level“：3，”score“：0.6221892}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.55408734}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5521237}，{”id“：”https://openalex.org/C159032336，“wikidata”：https://www.wikidata.org/wiki/Q2488768“，”display_name“：”非单调逻辑“，”level“：2，”score“：0.4993608}，{”id“：”https://openalex.org/C4777664，“wikidata”：https://www.wikidata.org/wiki/Q1536492“，”display_name“：”线性时序逻辑“，”level“：2，”score“：0.48790047}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.47620022}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.42446536}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40444335}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”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“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0068“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”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}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1006/jsco.1996.0068“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S18904315“，”display_name“：”符号计算杂志“，”issn_l“：”0747-7171“，”isn“：[”07477771“，”1095-855X“]，”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“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W105667720","https://openalex.org/W1486653873","https://openalex.org/W1501348379","https://openalex.org/W1549122259","https://openalex.org/W1555604471","https://openalex.org/W1574564386","https://openalex.org/W1588751014","https://openalex.org/W169596834","https://openalex.org/W1760193454","https://openalex.org/W185622666","https://openalex.org/W2023870985","https://openalex.org/W2029867900","https://openalex.org/W2080142817","https://openalex.org/W2125814724","https://openalex.org/W2480691574","https://openalex.org/W3000457705","https://openalex.org/W93639380“]，”related_works“：[”https://openalex.org/W428522830","https://openalex.org/W4232446061","https://openalex.org/W3205267199","https://openalex.org/W3035590440","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2124110813","https://openalex.org/W2031188261","https://openalex.org/W2020883449","https://openalex.org/W142171215“]，”ngrams_url“：”https://api.openalex.org/works/W1987394778/ngrams“，”“abstract_inverted_index”：{“In”：[0]，“this”：[1,53]，“paper”：[2]，“we”：[3,27]，“view”：%4]，“non-单调”：[5,65]，“reasoning”：[6,40,66]，“as”：[7,34]，“a”：[8,17,29,35,60]，“（special”：[9]，“kind”：[10]，“of）”：[11]，“process.”：[12]，“as”：%13]，“temporal”：[14]32]，“逻辑”：[15,33]，“是”：[16,46]，“普通”：[18]，“形式主义”：[19]，“到”：[20,48,57]，“指定”：[21]，“和”：[22]，“派生“：[23]，”属性“：[24]，”of“：[25,31,59,63]，”process，“：[26]，”introduce“：[28]，”variant“：[30]，”general“：[36]，”specification“：[37]，”language“：[38]，”for“：[39]，”进程。“：[41,67]，“We”：[42]，“show”：[43]，“that”：[44]，“it”：[45]，“possible”：[47]，“execute”：[49]，“finited”：[50,64]，“specifications”：[51]，“in”：[52]，“language”：[54]，“which”：[55]，“leads”：[56]，“可执行性”：[58]，“large”：[61]，“class”：[62]}，“cited_by_api_url”：”https://api.openalex.org/works？filter=cites:W1987394778“，”counts_by_year“：[]，”updated_date“：”2024-06-20T12:53:03.891419“，”创建日期“：”2016-06-24“}