{“id”:“https://openalex.org/W47261434“,”doi“:”https://doi.org/10.1007/978-3-642-60085-2_19“,”title“:”语言的逻辑“,”display_name“:”语言的逻辑“,”publication_year“:1999,”publication_date“:”1999-01-01“,”ids“:{”openalex“:”https://openalex.org/W47261434“,”doi“:”https://doi.org/10.1007/978-3-642-60085-2_19“,”mag“:”47261434“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-642-60085-2_19“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S4210212235“,”display_name“:”人工智能“,”issn_l“:”1431-0066“,”isn“:[”1431-066“],”is_oa“:false,”is-in_doaj“:false,”is_core“: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“],,“any_repository_has_fulltext”:假},“authorships“:[{”author_position“:”first“,”author“:{”id“:”https://openalex.org/A5045576591“,”display_name“:”Ver\u00f3nica Dahl“,”orcid“:”https://orcid.org/0000-0002-1159-1374},“机构”:[{“id”:https://openalex.org/I18014758“,”display_name“:”Simon Fraser University“,”ror“:”https://ror.org/0213rcc28“,”country_code“:”CA“,”type“:“教育”,”世系“:[”https://openalex.org/I18014758“]}],”国家“:[”CA“],”is_corresponding“:true,”raw_author_name“:”Veronica Dahl“,”raw _ afiliation_strings“:[“加拿大伯纳比西蒙·弗雷泽大学计算科学学院逻辑与函数编程组”],”affiliations“:[{”raw_ afiliation _string“:”加拿大伯纳比西蒙·弗雷泽大学计算科学学院逻辑与函数编程小组”,“institution_ids”:[“https://openalex.org/I18014758“]}]}],”countries_disticont_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[“https://openalex.org/A5045576591“],”对应的机构ID“:[”https://openalex.org/I18014758“],”apc_list“:null,”apc _payed“:nul,”fwci“:1.325,”has_fulltext“:false,”cited_by_count“:3,”citation_normalized_percentile“:{”value“:0.532258,”is_in_top_1_percent“:false,”is-in_top_10_percennt“:fald},”cited_by_percentile_year“:{”min“:67,”max“:70},“biblio”:{“volume”:null、“issue”:nul、“first_page”:“424 9“,”last_page“:”456“},”is_retracted“:false,”is_paratext“:false,”primary_topic“:{”id“:”https://openalex.org/T11010“,”display_name“:”逻辑编程与知识表示“,”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/T11010“,”display_name“:”逻辑编程与知识表示“,”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/T10181“,”display_name“:”统计机器翻译与自然语言处理“,”score“:0.9988,”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/T10456“,”“display_name”:“基于代理建模的方法和技术”,“score”:0.9967,“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.540931},{”id“:”https://openalex.org/keywords/temoral-logic网站“,”display_name“:”时态逻辑“,”score“:0.532697},{”id“:”https://openalex.org/keywords/description-logics网站“,”display_name“:”Description Logics“,”score“:0.528922},{”id“:”https://openalex.org/keywords/epsitemic-logic(https://openalex.org/关键词/认知逻辑)“,”display_name“:”认识逻辑“,”score“:0.527566},{”id“:”https://openalex.org/keywords/modal-logics网站“,”display_name“:”模态逻辑“,”score“:0.513744},{”id“:”https://openalex.org/keywords/object-language网站“,”display_name“:”对象语言“,”score“:0.4991963}],”concepts“:[{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.740659},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.6324564},{”id“:”https://openalex.org/C128838566,“wikidata”:https://www.wikidata.org/wiki/Q275603“,”display_name“:”逻辑编程“,”level“:2,”score“:0.62231207},{”id“:”https://openalex.org/C124047733,“wikidata”:https://www.wikidata.org/wiki/Q5157327“,”display_name“:”计算逻辑“,”level“:3,”score“:0.6124654},{”id“:”https://openalex.org/C171018156,“wikidata”:https://www.wikidata.org/wiki/Q7370306“,”display_name“:”三维旋转形式“,”level“:2,”score“:0.52499855},{”id“:”https://openalex.org/C102993220,“wikidata”:https://www.wikidata.org/wiki/Q387196“,”display_name“:”描述逻辑“,”level“:2,”score“:0.50177884},{”id“:”https://openalex.org/C185954173,“wikidata”:https://www.wikidata.org/wiki/Q4347052“,”display_name“:”对象语言“,”level“:3,”score“:0.4991963},{”id“:”https://openalex.org/C2777796570,“wikidata”:https://www.wikidata.org/wiki/Q2351326“,”display_name“:”动态逻辑(数字电子)“,”level“:4,”score“:0.45171148},{”id“:”https://openalex.org/C195324797,“wikidata”:https://www.wikidata.org/wiki/Q33742“,”display_name“:”自然语言“,”level“:2,”score“:0.40226096},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.3075227},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395网址“,”display_name“:”数学“,”等级“:0,”分数“:0.11932039},{”id“:”https://openalex.org/C127413603,“wikidata”:https://www.wikidata.org/wiki/Q11023“,”display_name“:”Engineering“,”level“:0,”score“:0.06699714},{”id“:”https://openalex.org/C2524010,“wikidata”:https://www.wikidata.org/wiki/Q8087“,”display_name“:”Geometry“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C172385210,“wikidata”:https://www.wikidata.org/wiki/Q5339“,”display_name“:”晶体管“,”电平“:3,”分数“:0.0},{”id“:”https://openalex.org/C165801399,“wikidata”:https://www.wikidata.org/wiki/Q25428“,”display_name“:”Voltage“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C119599485,“wikidata”:https://www.wikidata.org/wiki/Q43035“,”display_name“:”电气工程“,”level“:1,”score“:0.0}],”mesh“:[],”locations_count“:1.”locations“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1007/978-3-642-60085-2_19“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S4210212235“,”display_name“:”人工智能“,”issn_l“:”1431-0066“,”isn“:[”1431-066“],”is_oa“:false,”is-in_doaj“:false,”is_core“: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”:nul,“is_accepted”:false,“is_published”:false}],“best_oa_location”:null,“sustainable_development_goals”:[{“score”:0.81,“display_name”:“Quality education”,“id”:“”https://metadata.un.org/sdg/4“}],”grants“:[],”datasets“:[],”versions“:[】,”referenced_works_count“:49,”referrenced_works“:【”https://openalex.org/W134239804","https://openalex.org/W1480340121","https://openalex.org/W1491642900","https://openalex.org/W1494691147","https://openalex.org/W1499916519","https://openalex.org/W1531860382","https://openalex.org/W1553135194","https://openalex.org/W1562278059","https://openalex.org/W1577447541","https://openalex.org/W1586060904","https://openalex.org/W1590593705","https://openalex.org/W1606585161","https://openalex.org/W161689931","https://openalex.org/W178672503","https://openalex.org/W1884591654网址","https://openalex.org/W1972573551","https://openalex.org/W2003768046","https://openalex.org/W2004895425","https://openalex.org/W2005066568","https://openalex.org/W2005306951","https://openalex.org/W2008526599","https://openalex.org/W2022974834","https://openalex.org/W2032527312","https://openalex.org/W2035431211","https://openalex.org/W2042539465","https://openalex.org/W2043045565","https://openalex.org/W2063750594","https://openalex.org/W2083152001","https://openalex.org/W2118485086","https://openalex.org/W2119749753","https://openalex.org/W2123396057","https://openalex.org/W2131504185","https://openalex.org/W2134205293","https://openalex.org/W2143745167","https://openalex.org/W2148482768","https://openalex.org/W2151272501","https://openalex.org/W2154661514","https://openalex.org/W2198676657","https://openalex.org/W2212036697","https://openalex.org/W2328580899","https://openalex.org/W2592915588","https://openalex.org/W2913288853","https://openalex.org/W2914215741","https://openalex.org/W326707581","https://openalex.org/W4230069580","https://openalex.org/W4235437302","https://openalex.org/W4242125186","https://openalex.org/W4255733853","https://openalex.org/W615227492“],”related_works“:[”https://openalex.org/W616438534","https://openalex.org/W4255569846","https://openalex.org/W2383225166","https://openalex.org/W2370531476","https://openalex.org/W2367778417","https://openalex.org/W2331558223","https://openalex.org/W2250456419","https://openalex.org/W2160741635","https://openalex.org/W1507648666","https://openalex.org/W134932480“],”abstract_inverted_index“:{”We“:[0,22,90107],”argume“:[1],”that“:[2,11,96],”logic“:[3,46,61,63,82,98],”is“:[4],”an“:[5,15],”impartible“:[6],”part“:[7],”of“:[8,26,45,60,81112147],”language“:[9,20,53,79155],”and“:[10,30,43,55,62,86104121131138],”it“66],“能”:[13],“玩”:[14],“重要”:[16],“角色”:[17],“in”:[18,74141],“自然“:[19,78,85124154],”处理。“:[21],”第一“:[23],”检查“:[24,40],”家族“:[25],”形式主义“:[27],”来自“:[28128],”语言学“:[29],”计算“:[31],”语言“:[32],”绘图“:[33],”他们的“:[34],”连接“:[35],”到“:[36,70,76,88],”逻辑。“:[37],”Next“:[38],”we“:[39,56139],”the“:[41145],”pros“:[42],”cons“:[44],”programming“:[47,64,83,99],”as“:[48,72117],”a“:[4911018],”general“:[50],”paradigm“:[51],”for“:[52],”processing“:[54],”consider“:[57],”which“:[58],”kinds“:[59],”features“:[65],“会”:[67],“是”:[68],“可取”:[69],“包括”:[71],“标准”:[73],“顺序”:[75]make“:[77],”应用程序“:[80],”更多“:[84143],”更容易“:[87],”使用。“:[89],”然后“:[91],”介绍“:[92],”假设“:[93],”逻辑“:[94],”编程-“:[95],”is,“:[97],”增广“:[100],”with“:[101],”线性“:[102],”直觉“:[103],”永恒“:[105],”假设。“:[106],”简要“:[108],”讨论“:[109],”少数“:[111],”其“:[113],”最近“:[114],”应用程序“:[115],”这样“:[116],”控制“:[118],”虚拟“:[119],”世界“:[120],”机器人“:[122],”通过“:[123135153],”语言“:[125],”提取“:[126],”概念“:[127],”web“:[129],”文档“:[130],”生成“:[132],”VRML“:[133],”动画“:[134],”英语“:[136],”命令;“:[137],”开发“:[140],”一些“:[142],”细节“:[144],”设计“:[146],”新颖“:[149],”应用:“:[150],”创建“:[151],”数据库“:[152],”话语。“:[156]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W47261434“,”counts_by_year“:[],”updated_date“:”2024-08-13T20:44:43.341864“,”创建日期“:”2016-06-24“}