{"id":"https://openalex.org/W2796692086","doi":"https://doi.org/10.1007/978-3-319-89884-1_14","title":"Logical Reasoning for Disjoint Permissions","display_name":"Logical Reasoning for Disjoint Permissions","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2796692086","doi":"https://doi.org/10.1007/978-3-319-89884-1_14","mag":"2796692086"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-89884-1_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_14","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_14.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_14.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112391708","display_name":"Xuan-Bach Le","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Xuan-Bach Le","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068282643","display_name":"Aquinas Hobor","orcid":null},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]},{"id":"https://openalex.org/I3089745140","display_name":"Yale-NUS College","ror":"https://ror.org/04g9wch13","country_code":"SG","type":"education","lineage":["https://openalex.org/I3089745140"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Aquinas Hobor","raw_affiliation_strings":["National University of Singapore, Singapore, Singapore","Yale-NUS College, Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]},{"raw_affiliation_string":"Yale-NUS College, Singapore, Singapore","institution_ids":["https://openalex.org/I3089745140"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5112391708"],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.566,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.7018283,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"385","last_page":"414"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/separation-logic","display_name":"Separation logic","score":0.8973396420478821},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.790850043296814},{"id":"https://openalex.org/keywords/permission","display_name":"Permission","score":0.7646472454071045},{"id":"https://openalex.org/keywords/heap","display_name":"Heap (data structure)","score":0.7320109605789185},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5591374635696411},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.5344164967536926},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4920811057090759},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.48950517177581787},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.4623156189918518},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4353080987930298},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14136266708374023},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.11743131279945374}],"concepts":[{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.8973396420478821},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.790850043296814},{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.7646472454071045},{"id":"https://openalex.org/C134757568","wikidata":"https://www.wikidata.org/wiki/Q274089","display_name":"Heap (data structure)","level":2,"score":0.7320109605789185},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5591374635696411},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.5344164967536926},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4920811057090759},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.48950517177581787},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.4623156189918518},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4353080987930298},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14136266708374023},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.11743131279945374},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-319-89884-1_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_14","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_14.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:scholarbank.nus.edu.sg:10635/175138","is_oa":false,"landing_page_url":"https://scholarbank.nus.edu.sg/handle/10635/175138","pdf_url":null,"source":{"id":"https://openalex.org/S7407052290","display_name":"National University of Singapore","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Unpaywall 20200831","raw_type":"Conference Paper"}],"best_oa_location":{"id":"doi:10.1007/978-3-319-89884-1_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_14","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-89884-1_14.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1641431731","display_name":null,"funder_award_id":"EP/R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2796692086.pdf","grobid_xml":"https://content.openalex.org/works/W2796692086.grobid-xml"},"referenced_works_count":56,"referenced_works":["https://openalex.org/W143008620","https://openalex.org/W175195251","https://openalex.org/W777621473","https://openalex.org/W1480909796","https://openalex.org/W1508482211","https://openalex.org/W1549217957","https://openalex.org/W1555179958","https://openalex.org/W1560859042","https://openalex.org/W1567479568","https://openalex.org/W1580330980","https://openalex.org/W1606142489","https://openalex.org/W1819989006","https://openalex.org/W1861989620","https://openalex.org/W1974806232","https://openalex.org/W1983496086","https://openalex.org/W2016285402","https://openalex.org/W2042935134","https://openalex.org/W2045388381","https://openalex.org/W2061341742","https://openalex.org/W2101911818","https://openalex.org/W2132761501","https://openalex.org/W2132818695","https://openalex.org/W2135163511","https://openalex.org/W2135820369","https://openalex.org/W2136739578","https://openalex.org/W2137628566","https://openalex.org/W2147323041","https://openalex.org/W2148687959","https://openalex.org/W2150224578","https://openalex.org/W2153880165","https://openalex.org/W2154985136","https://openalex.org/W2213989452","https://openalex.org/W2264729369","https://openalex.org/W2294722445","https://openalex.org/W2478146632","https://openalex.org/W2508779702","https://openalex.org/W2551453612","https://openalex.org/W2566058028","https://openalex.org/W2573538577","https://openalex.org/W2580297191","https://openalex.org/W2585684928","https://openalex.org/W2736012496","https://openalex.org/W2763060840","https://openalex.org/W2911714911","https://openalex.org/W2964228214","https://openalex.org/W2969621433","https://openalex.org/W3007078806","https://openalex.org/W3015951847","https://openalex.org/W3043991989","https://openalex.org/W3104111234","https://openalex.org/W4233335757","https://openalex.org/W4237730680","https://openalex.org/W4239797127","https://openalex.org/W4245729501","https://openalex.org/W4249110288","https://openalex.org/W4253344502"],"related_works":["https://openalex.org/W1790417275","https://openalex.org/W2186600819","https://openalex.org/W3006363542","https://openalex.org/W4296607663","https://openalex.org/W1481101394","https://openalex.org/W2950271872","https://openalex.org/W4283582377","https://openalex.org/W4287240968","https://openalex.org/W2594835963","https://openalex.org/W62586952"],"abstract_inverted_index":{"Resource":[0],"sharing":[1],"is":[2,35,49,98],"a":[3,16,63,82,149,164],"fundamental":[4],"phenomenon":[5],"in":[6,41,46,90],"concurrent":[7],"programming":[8],"where":[9],"several":[10],"threads":[11],"have":[12],"permissions":[13,45,60],"to":[14,23,100,140,155,162],"access":[15],"common":[17],"resource.":[18],"Logics":[19],"for":[20,66],"verification":[21,102],"need":[22],"capture":[24],"the":[25,36,50,54,72,77,109,112,115,132,137],"notion":[26],"of":[27,38,76,111,128,152],"permission":[28,52,88],"ownership":[29],"and":[30,53,159],"transfer.":[31],"One":[32],"typical":[33],"practice":[34],"use":[37,160],"rational":[39],"numbers":[40],"(0,":[42],"1]":[43],"as":[44,105],"which":[47],"1":[48],"full":[51],"rest":[55],"are":[56,61],"fractional":[57],"permissions.":[58],"Rational":[59],"not":[62],"good":[64],"fit":[65],"separation":[67,91,147,153],"logic":[68,78,84,92,117],"because":[69],"they":[70],"remove":[71],"essential":[73],"\u201cdisjointness\u201d":[74],"feature":[75],"itself.":[79],"We":[80,123,135,144],"propose":[81],"general":[83],"framework":[85,97],"that":[86],"supports":[87],"reasoning":[89],"while":[93],"preserving":[94],"disjointness.":[95],"Our":[96],"applicable":[99],"sophisticated":[101],"tasks":[103],"such":[104],"doing":[106],"induction":[107],"over":[108],"finiteness":[110],"heap":[113],"within":[114,131],"object":[116,133],"or":[118],"carrying":[119],"out":[120],"biabductive":[121],"inference.":[122],"can":[124],"also":[125],"prove":[126],"precision":[127],"recursive":[129],"predicates":[130],"logic.":[134],"developed":[136],"ShareInfer":[138],"tool":[139],"benchmark":[141],"our":[142,157],"techniques.":[143],"introduce":[145],"\u201cscaling":[146],"algebras,\u201d":[148],"compositional":[150],"extension":[151],"algebras,":[154],"model":[156],"logic,":[158],"them":[161],"construct":[163],"concrete":[165],"model.":[166]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2018-04-24T00:00:00"}