{“id”：“https://openalex.org/W2211421871“，”doi“：”https://doi.org/10.1007/978-3-642-60085-2_8“，”title“：”CL-理论和程序开发中一些问题的评估“，”display_name“：”评估CL-理论与程序开发中的一些问题“，”publication_year“：1999，”publiation_date“：”1999-01-01“，”ids“：{”openalex“：”https://openalex.org/W2211421871“，”doi“：”https://doi.org/10.1007/978-3-642-60085-2_8“，”mag“：”2211421871“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-60085-2_8“，”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/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”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“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://lirias.kuleuven.be/bitstream/123456789/134652/1/20203.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5024311222“，”display_name“：”Danny De Schreye“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I99464096“，”display_name“：”KU Leuven“，”ror“：”https://ror.org/05f950310“，”country_code“：”BE“，”type“：“教育”，”世系“：[”https://openalex.org/I99464096“]}]，”国家“：[”BE“]，”is_corresponding“：false，”raw_author_name“：”Danny Schreye“，”raw _affiliation_strings“：[“科室Computerwetenschapen，Katholieke University Leuven，Celestijnenlaan 200A，B-300Aff4，Heverlee，Belgium”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5090754913“，”display_name“：”Marc Denecker“，”orcid“：”https://orcid.org/0000-0002-0422-7339}，“机构”：[{“id”：https://openalex.org/I99464096“，”display_name“：”KU Leuven“，”ror“：”https://ror.org/05f950310“，”country_code“：”BE“，”type“：“教育”，”世系“：[”https://openalex.org/I99464096“]}]，”countries“：[”BE“]，”is_corresponding“：false，”raw_author_name“：”Marc Denecker“，”raw _affiliation_strings“：【”科室Computerwetenschapen，Katholieke University Leuven，Celestijnenlaan 200A，B-300Aff4，Heverlee，Belgium“】}]，“countries_distinact_count”：1，“institutions_distication_count“：1，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc _ paid“：nul，”has_fulltext“：false，”cited_by_count“：3，”cited_by_percentile_year“：{”min“：70，”max“：73}，”biblio“：{”volume“：null，”issue“：nully，”first_page“：195”，“last_page”：“208”}，“is_retracted”：false、“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11010“，”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/T11010“，”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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9961，“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.996，”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/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.568816}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.536075}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.531347}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.516653}]，”concepts“：[{”id“：”https://openalex.org/C2776542497“，”wikidata“：”https://www.wikidata.org/wiki/Q5266672“，”display_name“：”开发（拓扑）“，”级别“：2，”分数“：0.593297}，{”id“：”https://openalex.org/C41008148“，”wikidata“：”https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5756812}，{”id“：”https://openalex.org/C28719098“，”wikidata“：”https://www.wikidata.org/wiki/Q44946“，”display_name“：”Point（geometry）“，”level“：2，”score“：0.4880849}，{”id“：”https://openalex.org/C2775924081“，”wikidata“：”https://www.wikidata.org/wiki/Q55608371“，”display_name“：”Control（management）“，”level“：2，”score“：0.41534343}，{”id“：”https://openalex.org/C539667460网址“，”wikidata“：”https://www.wikidata.org/wiki/Q2414942“，”display_name“：”管理科学“，”level“：1，”score“：0.37035012}，{”id“：”https://openalex.org/C42475967“，”wikidata“：”https://www.wikidata.org/wiki/Q194292“，”display_name“：”运筹学“，”level“：1，”score“：0.35120046}，{”id“：”https://openalex.org/C154945302“，”wikidata“：”https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.2674687}，{”id“：”https://openalex.org/C33923547“，”wikidata“：”https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.2568078｝，｛”id“：”https://openalex.org/C127413603“，”wikidata“：”https://www.wikidata.org/wiki/Q11023“，”display_name“：”Engineering“，”level“：0，”score“：0.2529991}，{”id“：”https://openalex.org/C2524010“，”wikidata“：”https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C134306372“，”wikidata“：”https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-60085-2_8“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210212235“，”display_name“：”人工智能“，”issn_l“：”1431-0066“，”issn“：[”1431-0066“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“book series”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://lirias.kuleuven.be/handle/123456789/134652，“pdf_url”：https://lirias.kuleuven.be/bitstream/123456789/134652/1/20203.pdf“，”源“：｛”id“：”https://openalex.org/S4306401954“，”display_name“：”Lirias（KU Leuven）“，”issn_l“：null，”issn“：null.”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I99464096“，”“host_organization_name”：“KU Leuven”，“host_organization_lineage”：[“https://openalex.org/I99464096“]，”host_organization_lineage_names“：[”KU Leuven“]，“type”：“repository”}，“license”：“public-domain”，“licence_id”：“https://openalex.org/licenses/public-domain网站“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://lirias.kuleuven.be/handle/123456789/134652，“pdf_url”：https://lirias.kuleuven.be/bitstream/123456789/134652/1/20203.pdf“，”源“：｛”id“：”https://openalex.org/S4306401954“，”display_name“：”Lirias（KU Leuven）“，”issn_l“：null，”issn“：null.”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I99464096“，”“host_organization_name”：“KU Leuven”，“host_organization_lineage”：[“https://openalex.org/I99464096“]，”host_organization_lineage_names“：[”KU Leuven“]，“type”：“repository”}，“license”：“public-domain”，“licence_id”：“https://openalex.org/licenses/public-domain网站“，”version“：”acceptedVersion“，”is_accepted“：true，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1556336697","https://openalex.org/W1691379155","https://openalex.org/W1983489452","https://openalex.org/W1987902506","https://openalex.org/W2011306767","https://openalex.org/W2030720224","https://openalex.org/W2063727779","https://openalex.org/W2081981838","https://openalex.org/W2085729865","https://openalex.org/W2097366413","https://openalex.org/W2142436113","https://openalex.org/W4205376162","https://openalex.org/W4388298802“]，”related_works“：[”https://openalex.org/W4205577494","https://openalex.org/W3187910787","https://openalex.org/W3093829698","https://openalex.org/W2384450884","https://openalex.org/W2373232777","https://openalex.org/W2367041644","https://openalex.org/W2356678178","https://openalex.org/W2335675771","https://openalex.org/W2065256330","https://openalex.org/W1967782764“]，”ngrams_url“：”https://api.openalex.org/works/W2211421871/ngrams“，”abstract_inverted_index“：｛”We“：[0,15,32,55]，”make“：[1]，”an“：[2]，”assessment“：[3]，”of“：[4,7,41]，”the“：[5,34]，”area“：[6]，”theory“：[8]，”and“：[9,43,53]，”program“：[10]，”development“：[11]，”in“：[12,29]，”Computational“：[13]，”Logic.“：[14]，”point“：[16]，”out“：[17]，“什么”：[18]，“我们”：[19，46]，“相信”：[20，47]，“to”：[21]，“be”：[22，50]，“main”：[23]，“cause”：[24]，“对于“：[25,60]，”成功“：[26]，”或“：[27]，”失败“：[28]，”此“：[30]，”区域。“：[31]，”review“：[33]，”\u201cAlgorithm“：[3]，”=“：[36]，”Logic“：[37]，”+“：[38]，”Control\u201d“：[39]，”equation“：[40]，”Kowalski“：[42]，”show“：[44]，“how”：[45]，“it”：[48]，“can”：[49]，“better”：[51]，“understand”：[52]，”used。“：[54]，”indicate“：[56]，”some“：[57]，”promissing“：[58]，”directions“：[59]，”further“：[61]，”work.“：[62]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2211421871“，”counts_by_year“：[]，”updated_date“：”2024-05-26T17:23:29.002240“，”created_date“：”2016-06-24“｝