{"id":"https://openalex.org/W2398989130","doi":"https://doi.org/10.29007/ntkm","title":"Possession as Linear Knowledge","display_name":"Possession as Linear Knowledge","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2398989130","doi":"https://doi.org/10.29007/ntkm","mag":"2398989130"},"language":"en","primary_location":{"id":"doi:10.29007/ntkm","is_oa":true,"landing_page_url":"https://doi.org/10.29007/ntkm","pdf_url":"https://easychair.org/publications/open/3mf4","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/3mf4","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021476649","display_name":"Frank Pfenning","orcid":"https://orcid.org/0000-0002-8279-5817"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Frank Pfenning","raw_affiliation_strings":["Carnegie Mellon University Pittsburgh, Pennsylvania, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University Pittsburgh, Pennsylvania, U.S.A","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5021476649"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0048751,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"7","issue":null,"first_page":"1","last_page":""},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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/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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9966999888420105,"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/possession","display_name":"Possession (linguistics)","score":0.7830756902694702},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.635311484336853},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.6341672539710999},{"id":"https://openalex.org/keywords/slogan","display_name":"Slogan","score":0.6146216988563538},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.5678537487983704},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.5440179705619812},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4273267090320587},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.3787456154823303},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.366191029548645},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3373694121837616},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.20618557929992676},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.0996466875076294},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.09262984991073608}],"concepts":[{"id":"https://openalex.org/C2780193096","wikidata":"https://www.wikidata.org/wiki/Q3543662","display_name":"Possession (linguistics)","level":2,"score":0.7830756902694702},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.635311484336853},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.6341672539710999},{"id":"https://openalex.org/C2780619561","wikidata":"https://www.wikidata.org/wiki/Q30515","display_name":"Slogan","level":3,"score":0.6146216988563538},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.5678537487983704},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.5440179705619812},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4273267090320587},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3787456154823303},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.366191029548645},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3373694121837616},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.20618557929992676},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0996466875076294},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.09262984991073608},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/ntkm","is_oa":true,"landing_page_url":"https://doi.org/10.29007/ntkm","pdf_url":"https://easychair.org/publications/open/3mf4","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/ntkm","is_oa":true,"landing_page_url":"https://doi.org/10.29007/ntkm","pdf_url":"https://easychair.org/publications/open/3mf4","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2398989130.pdf","grobid_xml":"https://content.openalex.org/works/W2398989130.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W572806654"],"related_works":["https://openalex.org/W2046015030","https://openalex.org/W814162986","https://openalex.org/W2167500961","https://openalex.org/W2018093460","https://openalex.org/W2524955981","https://openalex.org/W2170976417","https://openalex.org/W1580745021","https://openalex.org/W50423089","https://openalex.org/W2613866214","https://openalex.org/W2273684054"],"abstract_inverted_index":{"Epistemic":[0],"logic":[1,16,40,74,105],"analyzes":[2],"reasoning":[3],"governing":[4],"localized":[5,45],"knowledge,":[6],"and":[7,48,75,100],"is":[8,58],"thus":[9],"fundamental":[10],"to":[11,24,43,98],"multi-":[12],"agent":[13],"systems.":[14,111],"Linear":[15],"treats":[17],"hypotheses":[18],"as":[19,82],"consumable":[20,46],"resources,":[21],"allowing":[22],"us":[23,42],"model":[25],"evolution":[26],"of":[27,70],"state.":[28],"Combining":[29],"principles":[30],"from":[31,94],"these":[32],"two":[33],"separate":[34],"traditions":[35],"into":[36],"a":[37,52,71,102],"single":[38],"coherent":[39],"allows":[41],"represent":[44],"resources":[47],"their":[49],"flow":[50],"in":[51],"distributed":[53,110],"system.":[54],"The":[55],"slogan":[56],"\u201cpossession":[57],"linear":[59,72,103],"knowledge\u201d":[60],"summarizes":[61],"the":[62,68],"underlying":[63],"idea.":[64],"We":[65,85],"walk":[66],"through":[67],"design":[69,99],"epistemic":[73,104],"discuss":[76],"its":[77,87],"basic":[78],"metatheoretic":[79],"properties":[80],"such":[81],"cut":[83],"elimination.":[84],"illustrate":[86],"expressive":[88],"power":[89],"with":[90],"several":[91],"examples":[92],"drawn":[93],"an":[95],"ongoing":[96],"effort":[97],"implement":[101],"programming":[106],"language":[107],"for":[108],"multi-agent":[109]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}