{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:36:59Z","timestamp":1723016219687},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:p>The logic of information flows (LIF) is a general framework in which tasks of a procedural nature can be modeled in a declarative, logic-based fashion. The first contribution of this paper is to propose semantic and syntactic definitions of inputs and outputs of LIF expressions. We study how the two relate and show that our syntactic definition is optimal in a sense that is made precise. The second contribution of this paper is a systematic study of the expressive power of sequential composition in LIF. Our results on composition tie in the results on inputs and outputs, and relate LIF to first-order logic (FO) and bounded-variable LIF to bounded-variable FO.<\/jats:p>","DOI":"10.24963\/kr.2020\/1","type":"proceedings-article","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T04:39:16Z","timestamp":1597898356000},"page":"2-11","source":"Crossref","is-referenced-by-count":1,"title":["Inputs, Outputs, and Composition in the Logic of Information Flows"],"prefix":"10.24963","author":[{"given":"Heba","family":"Aamer","sequence":"first","affiliation":[{"name":"Universiteit Hasselt"}]},{"given":"Bart","family":"Bogaerts","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel"}]},{"given":"Dimitri","family":"Surinx","sequence":"additional","affiliation":[{"name":"Universiteit Hasselt"}]},{"given":"Eugenia","family":"Ternovska","sequence":"additional","affiliation":[{"name":"Simon Fraser University"}]},{"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[{"name":"Universiteit Hasselt"}]}],"member":"10584","event":{"number":"17","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Association for Logic Programming","Center for Perspicuous Computing","European Association for Artificial Intelligence","Ontopic - The Virtual Knowledge Graph Company"],"acronym":"KR-2020","name":"17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}","start":{"date-parts":[[2020,9,12]]},"theme":"Artificial Intelligence","location":"Rhodes, Greece","end":{"date-parts":[[2020,9,18]]}},"container-title":["Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2020,11,5]],"date-time":"2020-11-05T21:18:27Z","timestamp":1604611107000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2020\/1"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2020\/1","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}