{“id”：“https://openalex.org/W1516977875“，”doi“：”https://doi.org/10.1007/978-3-642-60085-2_6“，”title“：”Horn逻辑表示及其应用“，”display_name“：”Horn逻辑表示及应用“，“publication_year”：1999，”publication_date“：”1999-01-01“，”ids“：{”openalex“：”https://openalex.org/W1516977875“，”doi“：”https://doi.org/10.1007/978-3-642-60085-2_6“，”mag“：”1516977875“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-60085-2_6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210212235“，”display_name“：”人工智能“，”issn_l“：”1431-0066“，”isn“：[”1431-066“]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310319965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P4310319965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“book-series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，“indexed_in”：[”crossref“]，，“any_repository_has_fulltext”：假}，“authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5067377863“，”display_name“：”Gopal Gupta“，”orcid“：”https://orcid.org/0000-0001-9727-0362}，“机构”：[{“id”：https://openalex.org/I10052268“，”display_name“：”新墨西哥州立大学“，”ror“：”https://ror.org/00hpz7z43“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I10052268“]}]，”countries“：[”US“]，”is_corresponding“：true，”raw_author_name“：”Gopal Gupta“，”raw _affiliation_strings“：【”美国新墨西哥州新墨西哥州立大学计算机科学系逻辑、数据库和高级编程实验室“】}]，“countries_disticont_count”：1，“institutions_disticent_count“：1，”corresponding_author_ids“：[“”https://openalex.org/A5067377863“]，”对应的机构ID“：[”https://openalex.org/I10052268“]，”apc_list“：null，”apc _ paid“：nul，”has_fulltext“：false，”cited_by_count“：28，”cited_by_percentile_year“：{”min“：88，”max“：89}，”biblio“：{volume“：null，”issue“：null，”first_page“：”127“，”last_page“：”159https://openalex.org/T10181“，”display_name“：”统计机器翻译和自然语言处理“，”score“：0.9979，”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/T10181“，”display_name“：”统计机器翻译和自然语言处理“，”score“：0.9979，”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.9965，“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.9929，”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/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.58063}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.549381}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.546251}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.544649}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.522924}]，”concepts“：[{”id“：”https://openalex.org/C152076505，“wikidata”：https://www.wikidata.org/wiki/Q1126540“，”display_name“：”French horn“，”level“：2，”score“：0.614403}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.46454787}，{”id“：”https://openalex.org/C189790780，“wikidata”：https://www.wikidata.org/wiki/Q933932“，”display_name“：”Horn子句“，”level“：3，”score“：0.44694376}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.20785308}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”等级“：0，”分数“：0.18752047}，{”id“：”https://openalex.org/C24890656，“wikidata”：https://www.wikidata.org/wiki/Q82811“，”display_name“：”Acoustics“，”level“：1，”score“：0.08428663}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.0611434}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-60085-2_6“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210212235“，”display_name“：”人工智能“，”issn_l“：”1431-0066“，”isn“：[”1431-066“]，”is_oa“：false，”is-in_doaj“：false，”host_organization“：”https://openalex.org/P4310319965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P4310319965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[{“score”：0.42，“display_name”：“减少不平等”，“id”：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：29，”referenced_works“：[”https://openalex.org/W1480711285","https://openalex.org/W1516977875","https://openalex.org/W1519972603","https://openalex.org/W1524332517","https://openalex.org/W1531108889","https://openalex.org/W1542063909","https://openalex.org/W1572725695","https://openalex.org/W1584490456","https://openalex.org/W1598074860","https://openalex.org/W2014385852","https://openalex.org/W2015534329","https://openalex.org/W2021712311","https://openalex.org/W2033130678","https://openalex.org/W2037929850","https://openalex.org/W2049583580","https://openalex.org/W2059019165","https://openalex.org/W2070598037","https://openalex.org/W2077436409","https://openalex.org/W2104890704","https://openalex.org/W2111304450","https://openalex.org/W2123396057","https://openalex.org/W2600130231","https://openalex.org/W2987827267","https://openalex.org/W2987907651","https://openalex.org/W3198923990","https://openalex.org/W4206370914","https://openalex.org/W4236439997","https://openalex.org/W4242041539","https://openalex.org/W4248424893“]，”related_works“：[”https://openalex.org/W328089188","https://openalex.org/W2600034178","https://openalex.org/W2542670467","https://openalex.org/W2404351495","https://openalex.org/W2372612917","https://openalex.org/W2064560955","https://openalex.org/W1991403408","https://openalex.org/W1808107509","https://openalex.org/W1599544148","https://openalex.org/W1521840795“]，”ngrams_url“：”https://api.openalex.org/works/W151977875/ngrams“，”“abstract_inverted_index”：{“In”：[0]，“while”：[1]，“of”：[2,4,9,29,55,79]，“decades”：[3]，“work，”：[5]，“the”：[6,33,39,42,56]，“practical”：[7,30,68]，“impact”：[8,31]，“programming”：[10]，“language”：[11]，“semantics”：[12,82]，“（dential”：[13]，“语义）”：[14]，“has”：[15]，“been“：[16]，”limited.“：[17]，”Our“：[18]，”thesis“：[19]，”is“：[20,32]，”that“：[21]，”a“：[22]，“主要”：[23]，“贡献”：[24]，“因素”：[25]，“to”：[26,46,58,66,72]，“this”：[27,96]，“lack”：[28]，“声明性”：[34]，“notation”：[35]，“used”：[36]，“for”：[37]，“expressing”：[38]，“semantics”：[40]，“即，”：[41]，“\u03bb-calculus.”：[43]，“We”：【44】，“propose”：[45]，“use”：[47]，“Horn”：[48,85]，“Logic”：[49,86]，“（and”：[50]，“finally”：[51]，“Constraint”：[52]，“逻辑）”：[53]，“改为”：[54]，“\u03bb微积分”：[57]，“表达式”：[59]，“外延”：[60]，“语义。”：[61]，“This”：[62]，“simple”：[63]，“change”：[64]，“leads”：[65]，“many”：[67]，“applications”：[69]，“most”：[70]，“显著”：[71]，“automatic”：[73,7]，“program”：[74]，“verification”：[75]，“and“：[76,8]，”生成“：[78]，”编译器“：[80]，”来自“：[81]，“规范。”：[83]，“这些”：[84]，“表示”：[87]，“它们的”：[89]，“应用程序”：[90]，“斧头”：[91]，“讨论过的”：[22]，“在”：[93]，“长度”：[94]，“in”：[95]，“论文”：[97]}，“引用的_by_api_url”：“https://api.openalex.org/works？filter=cites:W1516977875“，”counts_by_year“：[{“年份”：2022，”cited_by_count“：2}，{“年度”：2016，”cited_by_count”：1}，}“年份“：2014，”citecd_by_count“：2]，”updated_date“：”2024-05-20T04:23:52.180656“，”created_date:“2016-06-24”}