{“id”：“https://openalex.org/W4376546492“，”doi“：”https://doi.org/10.1007/978-3-540-89439-1“，”title“：”编程、人工智能和推理逻辑“，”display_name“：”程序设计、人工智能与推理逻辑“、”publication_year“：2008，”publication_date“：”2008-01-01“，”ids“：{”openalex“：”https://openalex.org/W4376546492“，”doi“：”https://doi.org/10.1007/978-3-540-89439-1“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-89439-1“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book“，”type_crossref“：“book”，“indexed_in”：[”crossref“]，‘open_access’：{”is_oa“：true，”oa_status“green”，“oa_url”“：null，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5091866119“，”display_name“：”Randy Goebel“，”orcid“：”https://orcid.org/0000-0002-0739-2946}，“机构”：[{“id”：https://openalex.org/I91712215“，”display_name“：”萨尔州大学“，”ror“：”https://ror.org/01jdpyv68“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I91712215“]}，{”id“：”https://openalex.org/I31512782“，”display_name“：”达姆施塔特科技大学“，”ror“：”https://ror.org/05n911h24“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I31512782“]}，{”id“：”https://openalex.org/I28407311“，”display_name“：”曼彻斯特大学“，”ror“：”https://ror.org/027m9bs27“，”country_code“：”GB“，”type“：”教育“，”血统“：[”https://openalex.org/I28407311“]}，{”id“：”https://openalex.org/I154425047“，”display_name“：”阿尔伯塔大学“，”ror“：”https://ror.org/0160cpw27“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I154425047“]}，{”id“：”https://openalex.org/I4210089979“，”display_name“：”卡塔尔卡内基梅隆大学“，”ror“：”https://ror.org/00az5dt38“，”“country_code”“：”QA“，”type“：”教育“，”世系“：[”https://openalex.org/I4210089979","https://openalex.org/I74973139“]}]，”国家“：[”CA“，”DE“，”GB“，”QA“]，”is_corresponding“：false，”raw_author_name“：”Randy Goebel“，”raw _affiliation_strings“：[“DFKI and University of Saarland，Saarbr\u00fccken，Germany”，“Iliano Cervesato Carnegie Mellon University，Doha，Qatar”，“Technische University \u00e4t Darmstadt，German”，“加拿大埃德蒙顿阿尔伯塔大学”，“英国曼彻斯特大学“，“德国萨尔布尔大学”]，“affiliations”：[{“raw_affiliation_string”：“德国萨尔布布尔大学”，“institution_ids”：[“https://openalex.org/I91712215“]}，{”raw_affiliation_string“：”德国达姆施塔特理工大学\u00e4t“，”institution_ids“：[”https://openalex.org/I31512782“]}，｛”raw_affiation_string“：”英国曼彻斯特大学“，”institution_ids“：[”https://openalex.org/I28407311“]}，{”raw_affiliation_string“：”DFKI and University of Saarland，Saarbr\u00fccken，Germany“，”institution_ids“：[]}https://openalex.org/I154425047“]}，{”raw_affiliation_string“：”Iliano Cervesato卡内基梅隆大学，卡塔尔多哈“，”institution_ids“：[”https://openalex.org/I4210089979“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5044203427“，”display_name“：”J\u00f6rg Siekmann“，”orcid“：”https://orcid.org/0000-0001-6398-3284}，“机构”：[{“id”：https://openalex.org/I91712215“，”display_name“：”萨尔州大学“，”ror“：”https://ror.org/01jdpyv68“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I91712215“]}，{”id“：”https://openalex.org/I31512782“，”display_name“：”达姆施塔特科技大学“，”ror“：”https://ror.org/05n911h24“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I31512782“]}，{”id“：”https://openalex.org/I28407311“，”display_name“：”曼彻斯特大学“，”ror“：”https://ror.org/027m9bs27“，”country_code“：”GB“，”type“：”教育“，”血统“：[”https://openalex.org/I28407311“]}，{”id“：”https://openalex.org/I154425047“，”display_name“：”阿尔伯塔大学“，”ror“：”https://ror.org/0160cpw27“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I154425047“]}，{”id“：”https://openalex.org/I4210089979“，”display_name“：”卡塔尔卡内基梅隆大学“，”ror“：”https://ror.org/00az5dt38“，”“country_code”“：”QA“，”type“：”教育“，”世系“：[”https://openalex.org/I4210089979","https://openalex.org/I74973139“]}]，”国家“：[”CA“，”DE“，”GB“，”QA“]，”is_corresponding“：false，”raw_author_name“：”J\u00f6rg Siekmann“，”raw _affiliation_strings“：[“DFKI and University of Saarland，Saarbr\u00fccken，Germany”，“Iliano Cervesato Carnegie Mellon University，Doha，Qatar”，“Technische University \u00e4t Darmstadt，German”，“加拿大埃德蒙顿阿尔伯塔大学”，“英国曼彻斯特大学“，“德国萨尔布尔大学”]，“affiliations”：[{“raw_affiliation_string”：“德国萨尔布布尔大学”，“institution_ids”：[“https://openalex.org/I91712215“]}，{”raw_affiliation_string“：”德国达姆施塔特理工大学\u00e4t“，”institution_ids“：[”https://openalex.org/I31512782“]}，｛”raw_affiation_string“：”英国曼彻斯特大学“，”institution_ids“：[”https://openalex.org/I28407311“]}，{”raw_affiliation_string“：”DFKI and University of Saarland，Saarbr\u00fccken，Germany“，”institution_ids“：[]}https://openalex.org/I154425047“]}，{”raw_affiliation_string“：”Iliano Cervesato卡内基梅隆大学，卡塔尔多哈“，”institution_ids“：[”https://openalex.org/I4210089979“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5039754369“，”display_name“：”Wolfgang Wahlster“，”orcid“：”https://orcid.org/0000-0002-8785-5567}，“机构”：[{“id”：https://openalex.org/I91712215“，”display_name“：”萨尔州大学“，”ror“：”https://ror.org/01jdpyv68“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I91712215“]}，{”id“：”https://openalex.org/I31512782“，”display_name“：”达姆施塔特科技大学“，”ror“：”https://ror.org/05n911h24“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I31512782“]}，{”id“：”https://openalex.org/I28407311“，”display_name“：”曼彻斯特大学“，”ror“：”https://ror.org/027m9bs27“，”country_code“：”GB“，”type“：”教育“，”血统“：[”https://openalex.org/I28407311“]}，{”id“：”https://openalex.org/I154425047“，”display_name“：”阿尔伯塔大学“，”ror“：”https://ror.org/0160cpw27“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I154425047“]}，{”id“：”https://openalex.org/I4210089979“，”display_name“：”卡塔尔卡内基梅隆大学“，”ror“：”https://ror.org/00az5dt38“，”“country_code”“：”QA“，”type“：”教育“，”世系“：[”https://openalex.org/I4210089979","https://openalex.org/I74973139“]}]，”国家“：[”CA“，”DE“，”GB“，”QA“]，”is_corresponding“：false，”raw_author_name“：”Wolfgang Wahlster“，”raw _affiliation_strings“：[“DFKI and University of Saarland，Saarbr\u00fccken，Germany”，“Iliano Cervesato Carnegie Mellon University，Doha，Qatar”，“Technische University \u00e4t Darmstadt，German”，“加拿大埃德蒙顿阿尔伯塔大学”，“英国曼彻斯特大学“，“德国萨尔布尔大学”]，“affiliations”：[{“raw_affiliation_string”：“德国萨尔布布尔大学”，“institution_ids”：[“https://openalex.org/I91712215“]}，{”raw_affiliation_string“：”德国达姆施塔特理工大学\u00e4t“，”institution_ids“：[”https://openalex.org/I31512782“]}，{”raw_affiliation_string“：”英国曼彻斯特大学“，”institution_ids“：[”https://openalex.org/I28407311“]}，{”raw_affiliation_string“：”DFKI and University of Saarland，Saarbr\u00fccken，Germany“，”institution_ids“：[]}https://openalex.org/I154425047“]}，{”raw_affiliation_string“：”Iliano Cervesato卡内基梅隆大学，卡塔尔多哈“，”institution_ids“：[”https://openalex.org/I4210089979“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5052440027“，”display_name“：”Helmut Veith“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I91712215“，”display_name“：”萨尔州大学“，”ror“：”https://ror.org/01jdpyv68“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I91712215“]}，{”id“：”https://openalex.org/I31512782“，”display_name“：”达姆施塔特科技大学“，”ror“：”https://ror.org/05n911h24“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I31512782“]}，{”id“：”https://openalex.org/I28407311“，”display_name“：”曼彻斯特大学“，”ror“：”https://ror.org/027m9bs27“，”country_code“：”GB“，”type“：”教育“，”血统“：[”https://openalex.org/I28407311“]}，{”id“：”https://openalex.org/I154425047“，”display_name“：”阿尔伯塔大学“，”ror“：”https://ror.org/0160cpw27“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I154425047“]}，{”id“：”https://openalex.org/I4210089979“，”display_name“：”卡塔尔卡内基梅隆大学“，”ror“：”https://ror.org/00az5dt38“，”country_code“：”QA“，”type“：”教育“，”血统“：[”https://openalex.org/I4210089979","https://openalex.org/I74973139“]}]，”countries“：[”CA“，”DE“，”GB“，”QA“]，”is_corresponding“：false，”raw_author_name“：”Helmut Veith“，“raw_affiliation_strings”：[”DFKI and University of Saarland，Saarbr\u00fccken，Germany“，”Iliano Cervesato Carnegie Mellon University，Doha，Qatar“，”Technische University \u00e4t Darmstadt，German“，”加拿大埃德蒙顿阿尔伯塔大学“，”英国曼彻斯特大学“，“德国萨尔布尔大学”]，“affiliations”：[{“raw_affiliation_string”：“德国萨尔布布尔大学”，“institution_ids”：[“https://openalex.org/I91712215“]}，{”raw_affiliation_string“：”德国达姆施塔特理工大学\u00e4t“，”institution_ids“：[”https://openalex.org/I31512782“]}，{”raw_affiliation_string“：”英国曼彻斯特大学“，”institution_ids“：[”https://openalex.org/I28407311“]}，{”raw_affiliation_string“：”DFKI and University of Saarland，Saarbr\u00fccken，Germany“，”institution_ids“：[]}https://openalex.org/I154425047“]}，{”raw_affiliation_string“：”Iliano Cervesato卡内基梅隆大学，卡塔尔多哈“，”institution_ids“：[”https://openalex.org/I4210089979“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5054629753“，”display_name“：”\u0410\u043d\u0434\u0440\u0435\u0439\u0412\u043e\u0440\u043e\u043d\u043a\u043e\u0432“，”orcid“：”https://orcid.org/0009-0009-4367-4885}，“机构”：[{“id”：https://openalex.org/I91712215“，”display_name“：”萨尔大学“，”ror“：”https://ror.org/01jdpyv68“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I91712215“]}，{”id“：”https://openalex.org/I31512782“，”display_name“：”达姆施塔特科技大学“，”ror“：”https://ror.org/05n911h24“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I31512782“]}，{”id“：”https://openalex.org/I28407311“，”display_name“：”曼彻斯特大学“，”ror“：”https://ror.org/027m9bs27“，”country_code“：”GB“，”type“：”教育“，”血统“：[”https://openalex.org/I28407311“]}，{”id“：”https://openalex.org/I154425047“，”display_name“：”阿尔伯塔大学“，”ror“：”https://ror.org/0160cpw27“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I154425047“]}，{”id“：”https://openalex.org/I4210089979“，”display_name“：”卡塔尔卡内基梅隆大学“，”ror“：”https://ror.org/00az5dt38“，”“country_code”“：”QA“，”type“：”教育“，”世系“：[”https://openalex.org/I4210089979","https://openalex.org/I74973139“]}]，”国家“：[”CA“，”DE“，”GB“，”QA“]，”is_corresponding“：false，”raw_author_name“：”Andrei Voronkov“，”raw _affiliation_strings“：[“DFKI and University of Saarland，Saarbr\u00fccken，Germany”，“Iliano Cervesato Carnegie Mellon University，Doha，Qatar”，“Technische University \u00e4t Darmstadt，German”，“加拿大埃德蒙顿阿尔伯塔大学”，“英国曼彻斯特大学”，“德国萨尔州萨尔州萨尔州大学”，“附属机构”：[{“raw_affiation_string”：“德国萨尔州萨尔州萨尔州大学”，“institution_ids”：[https://openalex.org/I91712215“]}，{”raw_affiliation_string“：”德国达姆施塔特理工大学\u00e4t“，”institution_ids“：[”https://openalex.org/I31512782“]}，{”raw_affiliation_string“：”英国曼彻斯特大学“，”institution_ids“：[”https://openalex.org/I28407311“]}，{”raw_affiliation_string“：”DFKI and University of Saarland，Saarbr\u00fccken，Germany“，”institution_ids“：[]}https://openalex.org/I154425047“]}，{”raw_affiliation_string“：”Iliano Cervesato卡内基梅隆大学，卡塔尔多哈“，”institution_ids“：[”https://openalex.org/I4210089979“]}]}]，”countries_distinct_count“：4，”institutions_disting_count”：5，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.364，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_b”y_count“：13，”cited_by_percentile_year“：{”min“：87，”max“：88}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.7565，”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.7565，”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.6692，”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/T2002“，”“display_name”：“计算复杂性与算法信息理论”，“score”：0.6111，“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“：”Constraint Logic Programming“，”score“：0.721862｝，｛”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.681772}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.661476}，{”id“：”https://openalex.org/keywords/quantum-logic网站“，”display_name“：”Quantum Logic“，”score“：0.653532}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.653028}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.5876224}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.5812302}，{”id“：”https://openalex.org/C195344581，“wikidata”：https://www.wikidata.org/wiki/Q2555318“，”display_name“：”自动推理“，”level“：2，”score“：0.4802973}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.471343}，{”id“：”https://openalex.org/C188147891，“wikidata”：https://www.wikidata.org/wiki/Q147638“，”display_name“：”认知科学“，”level“：1，”score“：0.32469362}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.32089257}，{”id“：”https://openalex.org/C15744967，“wikidata”：https://www.wikidata.org/wiki/Q9418“，”display_name“：”心理学“，”level“：0，”score“：0.13868022}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-89439-1“，”pdf_url“：null，”source“：｛”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”系列丛书“}，”license“：null，”license_id“：null，”版本“：null，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：null，”可持续发展目标“：[]，”授予“：[]，”数据集“：[]，”版本“：[]，”referenced_works_count“：0，”referenced_works“：[]，”related_work“：[”https://openalex.org/W4255405881","https://openalex.org/W4248067243","https://openalex.org/W4246503451","https://openalex.org/W4206249920","https://openalex.org/W4205997139","https://openalex.org/W3018143143","https://openalex.org/W2140386967","https://openalex.org/W1999702466","https://openalex.org/W1560895966","https://openalex.org/W1534488117“]，”ngrams_url“：”https://api.openalex.org/works/W4376546492/ngrams网站“，”abstract_inverted_index“：空，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4376546492”，“counts_by_year”：[｛“year”：2023，“cited_by_count”：1｝，｛“year”：2021，“cited_by_count”：1｝，｛“year”：2020，“cited_by_count”：2｝，｛“year”：2019，“cited_by_count”：1｝，｛“year”：2018，“cited_by_count”：1｝，｛“year”：2017，“cited_by_count”：2｝，｛“year”：2015，“cited_by_count”：1｝，｛“year”：2013，“cited_by_count”_count“：1｝，｛“年份”：2012，“cited_by_count”：1｝]，“updated_date”：“2024-06-20T09:29:16.262732“，”创建日期“：”2023-05-16“}