{“id”:“https://openalex.org/W2029632316“,”doi“:”https://doi.org/10.1016/j.ic.2006.10.006“,”title“:”图形逻辑的表现性和复杂性“,”display_name“:”图逻辑的表现力和复杂性”,“publication_year”:2007,“publiation_date”:“2007-03-01”,“ids”:{“openalex”:“https://openalex.org/W2029632316“,”doi“:”https://doi.org/10.1016/j.ic.2006.10.006“,”mag“:”2029632316“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1016/j.ic.2006.10.006“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S59933527“,”display_name“:”信息与计算“,”issn_l“:”0890-5401“,”isn“:[”0890-5 401“、”1090-2651“],”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”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false},”type“:”article“,”type_crossref“:“jornal-article”,“indexed_in”:[”crossref“],‘open_access”:{“is_oa”:true,“oa_status”:“green”,“oa_url”:“”http://spiral.imperial.ac.uk/bitstream/10044/1/95507/2/DTR04-3.pdf“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5080843415“,”display_name“:”Anuj Dawar“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I241749“,”display_name“:”剑桥大学“,”ror“:”https://ror.org/013meh722“,”country_code“:”GB“,”type“:“教育”,”世系“:[”https://openalex.org/I241749“]}],”国家“:[”GB“],”is_correresponsing“:false,”raw_author_name“:”Anuj Dawar“,”raw_affiation_strings“:[”剑桥大学计算机实验室,剑桥,英国“],”附属机构“:[{”raw_affiation_string“:”剑桥大学计算机实验室,剑桥,英国“,”institution_ids“:[”https://openalex.org/I241749“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5047951273“,”display_name“:”Philippa Gardner“,”orcid“:”https://orcid.org/0000-0002-4187-0585},“机构”:[{“id”:https://openalex.org/I47508984“,”display_name“:”伦敦帝国理工学院“,”ror“:”https://ror.org/041kmwe10“,”country_code“:”GB“,”type“:“教育”,”世系“:[”https://openalex.org/I47508984“]}],”国家“:[”GB“],”is_corresponding“:false,”raw_author_name“:”Philippa Gardner“,”raw_affiation_strings“:[”英国伦敦帝国理工学院计算系“],”附属机构“:[{”raw_affiation_string“:”英国伦敦帝国理工学院计算系“,”institution_ids“:[”https://openalex.org/I47508984“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5023086477“,”display_name“:”Giorgio Ghelli“,”orcid“:”https://orcid.org/0000-0002-0596-6395},“机构”:[{“id”:https://openalex.org/I108290504“,”display_name“:”比萨大学“,”ror“:”https://ror.org/03ad39j10“,”country_code“:”IT“,”type“:“教育”,”世系“:[”https://openalex.org/I108290504“]}],”国家“:[”IT“],”is_corresponding“:true,”raw_author_name“:”Giorgio Ghelli“,”raw _ afiliation_strings“:[“意大利比萨比萨大学信息学院”],“affiliations”:[{“raw_affiliation_string”:“意大利比萨比萨比撒大学信息学院学院”,“institution_ids”:[”https://openalex.org/I108290504“]}]}],”countries_disticont_count“:2,”institutions_disticent_count”:3,”corresponding_author_ids“:[”https://openalex.org/A5023086477“],”对应的机构ID“:[”https://openalex.org/I108290504“],”apc_list“:{”value“:2630,”currency“:”USD“,”value_USD“:2620,”provenance“:”doaj“},”apc _payed“:”{“value”:2630、”current“:”美元“,”value_USD”:2640,“provenance”:“doaj”},“has_fulltext”:false,“cited_by_count”:33,“cited_by_percentile_year”:{“min”:92,“max”:93}、“biblio”:{“volume”:“205”,“问题”:“3”,“first_page”:“263”,”last_page“:”310“},”is_retracted“:false,“is_paratext“:false,”primary_topic“:{”id“:”https://openalex.org/T11010“,”display_name“:”逻辑编程与知识表示“,”score“:0.9992,”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.9992,”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/T11567“,”display_name“:”自动机理论和形式语言“,”score“:0.9991,”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/T10126“,”“display_name”:“程序分析和验证技术”,“score”:0.9983,“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/非单调推理“,”display_name“:”非单调推理“,”score“:0.537347},{”id“:”https://openalex.org/keywords/description-logics网站“,”display_name“:”Description Logics“,”score“:0.531083},{”id“:”https://openalex.org/keywords/constraint-logic-programming网站“,”display_name“:”约束逻辑编程“,”score“:0.512153},{”id“:”https://openalex.org/keywords/temoral-logic网站“,”display_name“:”时态逻辑“,”score“:0.510785},{”id“:”https://openalex.org/keywords/selection-logic“,”display_name“:”Separation Logic“,”score“:0.504748}],”concepts“:[{”id“:”https://openalex.org/C168773036网址,“wikidata”:https://www.wikidata.org/wiki/Q264164“,”display_name“:”递归(计算机科学)“,”level“:2,”score“:0.7319045},{”id“:”https://openalex.org/C197685441,“wikidata”:https://www.wikidata.org/wiki/Q500716“,”display_name“:”PSPACE“,”level“:3,”score“:0.6755211},{”id“:”https://openalex.org/C195818886,“wikidata”:https://www.wikidata.org/wiki/Q5421724“,”display_name“:”表达能力“,”level“:2,”score“:0.6304485},{”id“:”https://openalex.org/C133142742,“wikidata”:https://www.wikidata.org/wiki/Q1200755“,”display_name“:”描述性复杂性理论“,”level“:3,”score“:0.61630905},{”id“:”https://openalex.org/C39637292,“wikidata”:https://www.wikidata.org/wiki/Q908207“,”display_name“:”复杂性类“,”level“:3,”score“:0.578217},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”Mathematics“,”level“:0,”score“:0.5127705},{”id“:”https://openalex.org/C124656256,“wikidata”:https://www.wikidata.org/wiki/Q6897882“,”display_name“:”一元谓词演算“,”level“:4,”score“:0.5016234},{”id“:”https://openalex.org/C9986523,“wikidata”:https://www.wikidata.org/wiki/Q1570472“,”display_name“:”基本递归函数“,”level“:2,”score“:0.43549892},{”id“:”https://openalex.org/C122806257,“wikidata”:https://www.wikidata.org/wiki/Q1063380“,”display_name“:”PH“,”level“:5,”score“:0.42969134},{”id“:”https://openalex.org/C118615104,“wikidata”:https://www.wikidata.org/wiki/Q121416“,”display_name“:”离散数学“,”level“:1,”score“:0.42872432},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.41672155},{”id“:”https://openalex.org/C151376022,“wikidata”:https://www.wikidata.org/wiki/Q168698“,”display_name“:”指数函数“,”level“:2,”score“:0.4160803},{”id“:”https://openalex.org/C33203268,“wikidata”:https://www.wikidata.org/wiki/Q5361594“,”display_name“:”中间逻辑“,”level“:3,”score“:0.41251886},{”id“:”https://openalex.org/C179799912,“wikidata”:https://www.wikidata.org/wiki/Q205084“,”display_name“:”计算复杂性理论“,”level“:2,”score“:0.35533744},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.35421446},{”id“:”https://openalex.org/C311688,“wikidata”:https://www.wikidata.org/wiki/Q2393193“,”display_name“:”时间复杂度“,”级别“:2,”分数“:0.3040794},{”id“:”https://openalex.org/C169896238,“wikidata”:https://www.wikidata.org/wiki/Q1644136“,”display_name“:”高阶逻辑“,”level“:3,”score“:0.29288435},{”id“:”https://openalex.org/C11413529,“wikidata”:https://www.wikidata.org/wiki/Q8366“,”display_name“:”Algorithm“,”level“:1,”score“:0.28461057},{”id“:”https://openalex.org/C102993220,“wikidata”:https://www.wikidata.org/wiki/Q387196“,”display_name“:”描述逻辑“,”level“:2,”score“:0.23362967},{”id“:”https://openalex.org/C92043244,“wikidata”:https://www.wikidata.org/wiki/Q7269023“,”display_name“:”量子复杂性理论“,”level“:4,”score“:0.11676428},{”id“:”https://openalex.org/C134306372,“wikidata”:https://www.wikidata.org/wiki/Q7754“,”display_name“:”数学分析“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C121332964,“wikidata”:https://www.wikidata.org/wiki/Q413“,”display_name“:”物理“,”级别“:0,”分数“:0.0},{”id“:”https://openalex.org/C62520636,“wikidata”:https://www.wikidata.org/wiki/Q944“,”display_name“:”量子力学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C84114770,“wikidata”:https://www.wikidata.org/wiki/Q46344“,”display_name“:”Quantum“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C169699857,“wikidata”:https://www.wikidata.org/wiki/Q2122243“,”display_name“:”Quantum information“,”level“:3,”score“:0.0}],”mesh“:[],”locations_count“:2,”location“:[{”is_oa“:false,”landing_page_url“:”https://doi.org/10.1016/j.ic.2006.10.006“,”pdf_url“:空,”源“:{”id“:”https://openalex.org/S59933527“,”display_name“:”信息与计算“,”issn_l“:”0890-5401“,”isn“:[”0890-5 401“、”1090-2651“],”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”:null,“licence_id”:null,“version”:null,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“http://hdl.handle.net/1044/1/95507,“pdf_url”:http://spiral.imperial.ac.uk/bitstream/10044/1/95507/2/DTR04-3.pdf,“源”:{“id”:https://openalex.org/S4306401396“,”display_name“:”Spiral(伦敦帝国理工学院)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I47508984“,”“host_organization_name”:“伦敦帝国理工学院”,“host_ordanization_lineage”:[“https://openalex.org/I47508984“],”host_organization_lineage_names“:[”伦敦帝国理工学院“],“type”:“repository”},“license”:“cc-by-nc-nd”,“licence_id”:“https://openalex.org/licenses/cc-by-nc-nd“,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false}],”best_oa_location“:{”is_oa“:true,”landing_page_url“:”http://hdl.handle.net/1044/1/95507,“pdf_url”:http://spiral.imperial.ac.uk/bitstream/10044/1/95507/2/DTR04-3.pdf,“源”:{“id”:https://openalex.org/S4306401396“,”display_name“:”Spiral(伦敦帝国理工学院)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I47508984“,”“host_organization_name”:“伦敦帝国理工学院”,“host_ordanization_lineage”:[“https://openalex.org/I47508984“],”host_organization_lineage_names“:[”伦敦帝国理工学院“],“type”:“repository”},“license”:“cc-by-nc-nd”,“licence_id”:“https://openalex.org/licenses/cc-by-nc-nd“,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false},”sustainable_development_goals“:[],”grants“:[],”datasets“:],”versions“:[https://openalex.org/W1486095773“,”https://openalex.org/W1489482702“,”https://openalex.org/W1495368328“,”https://openalex.org/W1513218800“,”https://openalex.org/W1563892973“,”https://openalex.org/W2012841134“,”https://openalex.org/W2031315747“,”https://openalex.org/W2052432706“,”https://openalex.org/W2065251436“,”https://openalex.org/W2087404611“,”https://openalex.org/W2125252697“,”https://openalex.org/W2143011759“,”https://openalex.org/W2167998587“,”https://openalex.org/W2569646339“,”https://openalex.org/W4205178514“,”https://openalex.org/W4213009134“,”https://openalex.org/W4238852117“,”https://openalex.org/W4255551208“],”related_works“:[”https://openalex.org/W4294266235“,”https://openalex.org/W2327776271“,”https://openalex.org/W2165522055“,”https://openalex.org/W2121683501“,”https://openalex.org/W2029632316“,”https://openalex.org/W2006786362“,”https://openalex.org/W1982758739“,”https://openalex.org/W1583470866“,”https://openalex.org/W1520700928“,”https://openalex.org/W1504200807“],”ngrams_url“:”https://api.openalex.org/works/W2029632316/ngrams网站“,”“abstract_inverted_index”:{“We”:[0,39,66,79],“investive”:[1],“the”:[2,27,44,46,62,68,72,76,84,90104120],“complexity”:[3,70143146],“and”:[4,23,25,49,52,71,86,99112144],“expressiver”:[5,73129],“power”:[6,74130],“of”:[7,43,61,75,89,96],“a”:[8,58],“spatial”:[9,37],“logic”“:[10,16,47,91],”for“:[11,36],”reasoning“:[12],”about“:[13],”图。“:[14],”This“:[15],”was“:[17],”previous“:18],”introduced“:[19],”by“:[20],”Cardelli“,”:[21],”Gardner“:[22],”Ghelli“:[24],“provides”:[26],“simple”:[28],“setting”:[29],“in”:[30],“which”:[31],“to”:[32,93110136149],“explore”:[33],“suke”:[34],“results”“:[35],”逻辑。“:[38],”研究“:[40,67],”多个“:[41],”形式“:[42],”逻辑:“:[45],”有“:[48,53125],”没有“:[50,82],”递归,“:[51,83127],”任意“:[54],”an“:[55],”指数“:[56,87],”或“:[57],”线性“:[59,85],”版本“:[60],”基本“:[63],”组合“:[64],”运算符。“:[65],”组合“:[69142],”四”:[77],“组合。“:[78],”证明“:[80],”那,“:[81],”版本“:[88106122],”对应“:[92],”重要“:[94],”片段“:[95],”一阶“:[97],”(FO)“:[98],”单数“:[100],”二阶“:[101],”;“:[103],“两个”:[105121],“是”:[107123134],“实际上”:[108],“等价”:[109],“FO”:[111],“MSO”:[113],“on”:[114],“图形”:[115],“表示”:[116],“字符串。“:[117],”“然而,”“:[118],”当“:[119],”丰富“:[124],”\u03bc-style“:[126],”他们的“:[128141],”是“:[131],”急剧“:[132],”增加。Both“:[133],“able”:[135],“express”:[137],“PSPACE-complete”:[138],“problems”,“:[139],“while”:[140],“data”:%145],“still”:[147],“allee”:[148],“PSPACE”。“:[150]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2029632316”,“counts_by_year”:[{“year”:2023,“cited_by_count”:3},{“year”:2021,“cited_by_count”:1},{“year”:2020,“cited_by_count”:2},{“year”:2019,“cited_by_count”:1},{“year”:2017,“cited_by_count”:1},{“year”:2016,“cited_by_count”:1},{“year”:2015,“cited_by_count”:4},{“year”:2014,“cited_by_count”_count“:2},{”年份“:2013,”引用_计数“:1},{”年份“:2012,”引用_计数“:6}],“updated_date”:“2024-06-14T16:51:33.282343”,“创建日期”:“2016-06-24”}