{“id”:“https://openalex.org/W2953139538“,”doi“:”https://doi.org/10.4204/eptcs.277.5“,”title“:“团队语义中的安全依赖原子和可能性运算符”,“display_name”:“团队语义学中的安全依存原子和可能性操作符”,“publication_year”:2018,“publiation_date”:“2018-09-07”,“ids”:{“openalex”:“https://openalex.org/W2953139538“,”doi“:”https://doi.org/10.4204/eptcs.277.5“,”mag“:”2953139538“},”language“:”en“,”primary_location“:{”is_oa“:true,”landing_page_url“:null,”pdf_url”:“https://arxiv.org/pdf/1808.00710,“源”:{“id”:https://openalex.org/S4306400194“,”display_name“:”arXiv(康奈尔大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I205783295“,”“host_organization_name”:“康奈尔大学”,“host_organization_lineage”:[“https://openalex.org/I205783295“],”host_organization_lineage_names“:[”康奈尔大学“],“type”:“repository”},“license”:“cc-by-nc-nd”,“licence_id”:“https://openalex.org/licenses/cc-by-nc-nd“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”type“:”article“,”type_crossref“:“journal-article”,”indexed_in“:[”arxiv“,”crossref“,”datacite“,”doaj“],”open_access“:{”is_oa“:true,”oa_status“:”gold“,”oa_url“:”https://arxiv.org/pdf/1808.00710“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5027893729“,”display_name“:”彼得罗·加利亚尼“,”兽人“:”https://orcid.org/0000-0003-2544-5332},“机构”:[{“id”:https://openalex.org/I171543936“,”display_name“:”Bozen-Bolzano自由大学“,”ror“:”https://ror.org/012ajp527“,”country_code“:”IT“,”type“:“教育”,”世系“:[”https://openalex.org/I171543936“]}],”国家“:[”IT“],”is_corresponding“:true,”raw_author_name“:”Pietro Galliani“,”raw _ afiliation_strings“:[“意大利博赞诺博赞诺自由大学”],”affiliations“:[{”raw_ afiliation _string“:”意大利博赞诺博赞诺免费大学”,“institution_ids”:[“https://openalex.org/I171543936“]}]}],”countries_disticont_count“:1,”institutions_disticent_count”:1,“corresponding_author_ids”:[“https://openalex.org/A5027893729“],”对应的机构ID“:[”https://openalex.org/I171543936“],”apc_list“:{”value“:0,”currency“:”USD“,”value_USD“:0,”出处“:”doaj“},”apc_payed“:{”value“:0,”currency“:”USD“,”value_USD“:0,”出处“:”doaj“},”has_fulltext“:true,”fulltext_origin“:”pdf“,”cited_by_count“:2,”cited_by_percentle_year“:{”min“:74,”max“:78},”biblio“:{”volume“:”277“,”issue“:null,”first_page“:”58“,”last_page“:”72“},”is_retracted“:false,”is_paratext“:fase,”primary_topic“:{”id“:”https://openalex.org/T11010“,”display_name“:”逻辑编程与知识表示“,”score“:0.9998,”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.9998,”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/T10215“,”display_name“:”语义Web和本体开发“,”score“:0.9971,”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.9982,”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/非单调推理“,”display_name“:”非单调推理“,”score“:0.504571}],”concepts“:[{”id“:”https://openalex.org/C195818886,“wikidata”:https://www.wikidata.org/wiki/Q5421724“,”display_name“:”表现力“,”level“:2,”score“:0.8605264},{”id“:”https://openalex.org/C19768560,“wikidata”:https://www.wikidata.org/wiki/Q320727“,”display_name“:”依赖(UML)“,”level“:2,”score“:0.68244356},{”id“:”https://openalex.org/C184337299,“wikidata”:https://www.wikidata.org/wiki/Q1437428“,”display_name“:”语义(计算机科学)“,”level“:2,”score“:0.6464591},{”id“:”https://openalex.org/C17020691,“wikidata”:https://www.wikidata.org/wiki/Q139677“,”display_name“:”运算符(生物学)“,”level“:5,”score“:0.5287328},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”“display_name”“:”“计算机科学”“,”级别“:0,”分数“:0.5037908},{”id“:”https://openalex.org/C163258240,“wikidata”:https://www.wikidata.org/wiki/Q25342“,”display_name“:”Power(physical)“,”level“:2,”score“:0.47806123},{”id“:”https://openalex.org/C33923547,“wikidata”:https://www.wikidata.org/wiki/Q395“,”display_name“:”数学“,”等级“:0,”分数“:0.40979433},{”id“:”https://openalex.org/C80444323,“wikidata”:https://www.wikidata.org/wiki/Q2878974“,”display_name“:”理论计算机科学“,”level“:1,”score“:0.40462026},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.31052327},{”id“:”https://openalex.org/C154945302,“wikidata”:https://www.wikidata.org/wiki/Q11660“,”display_name“:”人工智能“,”level“:1,”score“:0.24820715},{”id“:”https://openalex.org/C55493867,“wikidata”:https://www.wikidata.org/wiki/Q7094“,”display_name“:”生物化学“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C185592680,“wikidata”:https://www.wikidata.org/wiki/Q2329网址“,”display_name“:”Chemistry“,”level“:0,”score“:0.0},{”id“:”https://openalex.org/C121332964,“wikidata”:https://www.wikidata.org/wiki/Q413“,”display_name“:”物理“,”级别“:0,”分数“:0.0},{”id“:”https://openalex.org/C158448853,“wikidata”:https://www.wikidata.org/wiki/Q425218“,”display_name“:”Repressor“,”level“:4,”score“: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/C86339819,“wikidata”:https://www.wikidata.org/wiki/Q407384“,”display_name“:”转录因子“,”level“:3,”score“:0.0},{”id“:”https://openalex.org/C104317684,“wikidata”:https://www.wikidata.org/wiki/Q7187“,”display_name“:”Gene“,”level“:2,”score“:0.0}],”mesh“:[],”locations_count“:4,”location“:[{”is_oa“:true,”landing_page_url“:null,”pdf_url”:“https://arxiv.org/pdf/1808.000710,“源”:{“id”:https://openalex.org/S4306400194“,”display_name“:”arXiv(康奈尔大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I205783295“,”“host_organization_name”:“康奈尔大学”,“host_organization_lineage”:[“https://openalex.org/I205783295“],”host_organization_lineage_names“:[”康奈尔大学“],“type”:“repository”},“license”:“cc-by-nc-nd”,“licence_id”:“https://openalex.org/licenses/cc-by-nc-nd“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},{”is_oa“:false,”landing_page_url“:”https://doaj.org/article/bf1cc3ccd157f4429299a71ad09df779a0“,”pdf_url“:null,”source“:{”id“:”https://openalex.org/S4306401280“,”display_name“:”DOAJ(DOAJ:开放存取期刊目录)“,”issn_l“:null,”issn“:null:”is_oa“:true,”is_in_DOAJ“:false,”host_organization“:null,”host_organization_name“:null,“host_orgganization_lineage”:[],“host_orgganization _lineage_names”:[[],“type”:“repository”},“license”:null、“license_id”:null、“version”:null.、“is_accepted”:false、“is_published“:false},{”is_oa“:true,”landing_page_url“:”https://www.openaccessrepository.it/record/129041,“pdf_url”:https://www.openaccessrepository.it/record/129041/files/fulltext.pdf,“源”:{“id”:https://openalex.org/S4306402478“,”display_name“:”INFM-OAR(INFN Catania)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I4210116497“,”“host_organization_name”:“INFN Sezione di Catania”,“host_organization_lineage”:[“https://openalex.org/I4210116497“],”host_organization_lineage_names“:[”INFN Sezione di Catania“],“type”:“repository”},“license”:“cc-by”,“licence_id”:“https://openalex.org/licenses/cc-by“,”version“:”submittedVersion“,”is_accepted“:false,”is_published“:false},{”is_oa“:false,”landing_page_url“:”https://api.datacite.org/dois/10.48550/arxiv.1808.00710“,”pdf_url“:null,”source“:{”id“:”https://openalex.org/S4393179698“,”display_name“:”DataCite API“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I4210145204“,”“host_organization_name”:“DataCite”,“host_organization_lineage”:[“https://openalex.org/I4210145204“],”host_organization_lineage_names“:[”DataCite“],“type”:“metadata”},“license”:null,“licence_id”:null,“version”:null}],“best_oa_location”:{“is_oa”:true,“landing_page_url”:nul,“pdf_url“:”https://arxiv.org/pdf/1808.00710,“源”:{“id”:https://openalex.org/S4306400194“,”display_name“:”arXiv(康奈尔大学)“,”issn_l“:null,”issn“:null,”is_oa“:true,”is_ in_doaj“:false,”host_organization“:”https://openalex.org/I205783295“,”“host_organization_name”:“康奈尔大学”,“host_organization_lineage”:[“https://openalex.org/I205783295“],”host_organization_lineage_names“:[”康奈尔大学“],“type”:“repository”},“license”:“cc-by-nc-nd”,“licence_id”:“https://openalex.org/licenses/cc-by-nc-nd“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”sustainable_development_goals“:[{”display_name“:”减少不平等“,”id“:”https://metadata.un.org/sdg/10“,”score“:0.41}],”grants“:[],”datasets“:[],”versions“:[”https://openalex.org/W2953139538","https://openalex.org/W3106168202“],”referenced_works_count“:21,”referrenced_works“:[”https://openalex.org/W1482215821","https://openalex.org/W1518114393","https://openalex.org/W1548835575","https://openalex.org/W1896271104","https://openalex.org/W1926269500","https://openalex.org/W1990514682","https://openalex.org/W2034690236","https://openalex.org/W2070223807","https://openalex.org/W2079986269","https://openalex.org/W2085421017","https://openalex.org/W2124421006","https://openalex.org/W2288986418","https://openalex.org/W2505761605","https://openalex.org/W2797360677","https://openalex.org/W2964084990","https://openalex.org/W3022537480","https://openalex.org/W3102477048","https://openalex.org/W3106205505","https://openalex.org/W4247915068","https://openalex.org/W4252380885","https://openalex.org/W4301818964“],”related_works“:[”https://openalex.org/W4231021675","https://openalex.org/W4211085505","https://openalex.org/W408804804","https://openalex.org/W3122478268","https://openalex.org/W2788308474","https://openalex.org/W2154771632","https://openalex.org/W2084758217","https://openalex.org/W2067317451","https://openalex.org/W2003031781","https://openalex.org/W1911405709“],”ngrams_url“:”https://api.openalex.org/works/W2953139538/ngrams“,”“abstract_inverted_index”:{“I”:[0],“consider”:[1],“the”:[2,16,78],“question”:[3],“of”:[4,61],“which”:[5,83],“dependencies”:[6],“are”:[7,41,53],“safe”:[8,42,55,70],“for”:[9,43,56,58,71],“a”:[10,86],“Team”:[11],“Semantics-based”:[12],“logic”:[13103],“FO(D),“:[14,46],”in“:[15,85,94],”sense“:[17],”that“:[18,33,48,77],”they“:[19],”do“:[20],”not“:[21,54],“increase”:[22],“its”:[23107],“expressive”:[24108],“power”:25109],“over”:[2610],“senges”:[2],“when”:[28],“added”:[29100],“to”:[30101],“it.I”:[3]1],“show”:[32,76],“some”:[34,59,95],“dependencies”:[35,50],“like”:[36,51],“totality”:[37],“非独立”:[38],“和”:[39,47,89],“非空”,:[40],“全部”:[44],“逻辑”:[45],“other“:[49],”constancy“,”:[52],”FO(D)“:[57104],”choices“:[60],”D“:[62],”whiled“:[63],”being“:[64],”strongly“:[65],”first“:[66],”order“:[67],”(that“:[68],”is“:[69],”FO(“:[72],”/“:[73],”0)。I“:[74],”进一步“:[75],”可能性“:[79],”运算符“:[80],”\u22c4\u03c6“:[81],”,“:[82],”保持“:[84,93],”团队“:[87],”if“:[88,91],”only“:[90],”\ u03c5“:[92],”nonempty“:[96],”subtam“,”:[97],“can”:[98],“be”:[99],“any”:[102],“没有“:[105],”增加“:[106],”句子。“:[111]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2953139538“,”counts_by_year“:[{”年份“:2019,”cited_by_count“:1},{”年“:2018,”cited_by_count”:1}],”更新日期“:”2024-06-15T03:15:53.414643“,”创建日期“:“2019-06-27”}