{"id":"https://openalex.org/W3080923803","doi":"https://doi.org/10.24963/kr.2020/1","title":"Inputs, Outputs, and Composition in the Logic of Information Flows","display_name":"Inputs, Outputs, and Composition in the Logic of Information Flows","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3080923803","doi":"https://doi.org/10.24963/kr.2020/1","mag":"3080923803"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/1","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/1","pdf_url":"https://proceedings.kr.org/2020/1/kr2020-0001-aamer-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2020/1/kr2020-0001-aamer-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063799069","display_name":"Heba Aamer","orcid":"https://orcid.org/0000-0003-0460-8534"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Heba Aamer","raw_affiliation_strings":["Universiteit Hasselt"],"affiliations":[{"raw_affiliation_string":"Universiteit Hasselt","institution_ids":["https://openalex.org/I878454856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089527287","display_name":"Bart Bogaerts","orcid":"https://orcid.org/0000-0003-3460-4251"},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Bart Bogaerts","raw_affiliation_strings":["Vrije Universiteit Brussel"],"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005170472","display_name":"Dimitri Surinx","orcid":"https://orcid.org/0000-0003-0718-8854"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Dimitri Surinx","raw_affiliation_strings":["Universiteit Hasselt"],"affiliations":[{"raw_affiliation_string":"Universiteit Hasselt","institution_ids":["https://openalex.org/I878454856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044912069","display_name":"Eugenia Ternovska","orcid":null},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Eugenia Ternovska","raw_affiliation_strings":["Simon Fraser University"],"affiliations":[{"raw_affiliation_string":"Simon Fraser University","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089823917","display_name":"Jan Van den Bussche","orcid":"https://orcid.org/0000-0003-0072-3252"},"institutions":[{"id":"https://openalex.org/I878454856","display_name":"Hasselt University","ror":"https://ror.org/04nbhqj75","country_code":"BE","type":"education","lineage":["https://openalex.org/I878454856"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Jan Van den Bussche","raw_affiliation_strings":["Universiteit Hasselt"],"affiliations":[{"raw_affiliation_string":"Universiteit Hasselt","institution_ids":["https://openalex.org/I878454856"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5063799069"],"corresponding_institution_ids":["https://openalex.org/I878454856"],"apc_list":null,"apc_paid":null,"fwci":0.3223,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62535546,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"2","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9922000169754028,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9922000169754028,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.991599977016449,"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.9912999868392944,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.6866177320480347},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.671786904335022},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6669642329216003},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.6433725953102112},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.6381896734237671},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41335272789001465},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3441779613494873},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2753506302833557},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.10417160391807556}],"concepts":[{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.6866177320480347},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.671786904335022},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6669642329216003},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.6433725953102112},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.6381896734237671},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41335272789001465},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3441779613494873},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2753506302833557},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.10417160391807556},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/kr.2020/1","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/1","pdf_url":"https://proceedings.kr.org/2020/1/kr2020-0001-aamer-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:146011","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/inputs-outputs-and-composition-in-the-logic-of-information-flows(4c54ce12-5f47-45f5-95a8-0d381ad3adf1).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"publishedVersion"}],"best_oa_location":{"id":"doi:10.24963/kr.2020/1","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/1","pdf_url":"https://proceedings.kr.org/2020/1/kr2020-0001-aamer-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"},{"id":"https://openalex.org/F4320327336","display_name":"Vlaamse regering","ror":null},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3080923803.pdf","grobid_xml":"https://content.openalex.org/works/W3080923803.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W19153916","https://openalex.org/W54340630","https://openalex.org/W138239890","https://openalex.org/W1482193060","https://openalex.org/W2006006495","https://openalex.org/W2023472553","https://openalex.org/W2062058882","https://openalex.org/W2071089353","https://openalex.org/W2074466497","https://openalex.org/W2101113119","https://openalex.org/W2105505307","https://openalex.org/W2109696340","https://openalex.org/W2118328008","https://openalex.org/W2138162238","https://openalex.org/W2179977406","https://openalex.org/W2575628753","https://openalex.org/W2578357018","https://openalex.org/W2756600684","https://openalex.org/W2770613891","https://openalex.org/W2904330165","https://openalex.org/W2911521611","https://openalex.org/W2962721563","https://openalex.org/W2969458456","https://openalex.org/W3013475633","https://openalex.org/W3105529609"],"related_works":["https://openalex.org/W3013085049","https://openalex.org/W1560496689","https://openalex.org/W1992739770","https://openalex.org/W1499958165","https://openalex.org/W4386900933","https://openalex.org/W2380193321","https://openalex.org/W4229058035","https://openalex.org/W3125672081","https://openalex.org/W3006338902","https://openalex.org/W1679944736"],"abstract_inverted_index":{"The":[0,25,66],"logic":[1,102],"of":[2,13,28,38,42,69,76,80],"information":[3],"flows":[4],"(LIF)":[5],"is":[6,31,57,63,72],"a":[7,14,21,60,73],"general":[8],"framework":[9],"in":[10,20,59,83,90],"which":[11],"tasks":[12],"procedural":[15],"nature":[16],"can":[17],"be":[18],"modeled":[19],"declarative,":[22],"logic-based":[23],"fashion.":[24],"first":[26],"contribution":[27,68],"this":[29,70],"paper":[30,71],"to":[32,100,107],"propose":[33],"semantic":[34],"and":[35,40,51,95,97,104],"syntactic":[36,55],"definitions":[37],"inputs":[39,94],"outputs":[41],"LIF":[43,99,106],"expressions.":[44],"We":[45],"study":[46,75],"how":[47],"the":[48,77,91],"two":[49],"relate":[50,98],"show":[52],"that":[53,62],"our":[54],"definition":[56],"optimal":[58],"sense":[61],"made":[64],"precise.":[65],"second":[67],"systematic":[74],"expressive":[78],"power":[79],"sequential":[81],"composition":[82,88],"LIF.":[84],"Our":[85],"results":[86,92],"on":[87,93],"tie":[89],"outputs,":[96],"first-order":[101],"(FO)":[103],"bounded-variable":[105,108],"FO.":[109]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-11T06:11:40.159057","created_date":"2025-10-10T00:00:00"}