Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/42559
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAamer, Heba-
dc.contributor.authorBogaerts, Bart-
dc.contributor.authorSurinx, Dimitri-
dc.contributor.authorTernovska, Evgenia-
dc.contributor.authorVAN DEN BUSSCHE, Jan-
dc.date.accessioned2024-03-06T15:27:28Z-
dc.date.available2024-03-06T15:27:28Z-
dc.date.issued2023-
dc.date.submitted2024-02-27T13:18:28Z-
dc.identifier.citationACM Transactions on Computational Logic, 24 (4) , p. 33:1 -33:44 (Art N° 33)-
dc.identifier.urihttp://hdl.handle.net/1942/42559-
dc.description.abstractThe 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 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. This paper is the extended version of a paper presented at KR 2020 [2].-
dc.description.sponsorshipThis research received funding from the Flemish Government under the “Onderzoeksprogramma Artificiële Intelligentie (AI) Vlaanderen” programme, from FWO Flanders project G0D9616N, and from Natural Sciences and Engineering Research Council of Canada (NSERC). Jan Van den Bussche is partially supported by the National Natural Science Foundation of China (61972455). Heba Aamer is supported by the Special Research Fund (BOF) (BOF19OWB16).-
dc.language.isoen-
dc.rights2018 Association for Computing Machinery.-
dc.subject.otherCCS Concepts: • Computing methodologies → Knowledge representation and reasoning-
dc.subject.other• Theory of computation → Logic-
dc.subject.other• Software and its engineering → Software verification and validation-
dc.titleInputs, outputs, and composition in the logic of information flows-
dc.typeJournal Contribution-
dc.identifier.epage33:44-
dc.identifier.issue4-
dc.identifier.spage33:1-
dc.identifier.volume24-
local.format.pages44-
local.bibliographicCitation.jcatA1-
local.type.refereedRefereed-
local.type.specifiedArticle-
local.bibliographicCitation.artnr33-
dc.identifier.doihttps://doi.org/10.1145/3604553-
local.provider.typePdf-
local.uhasselt.internationalyes-
item.fulltextWith Fulltext-
item.fullcitationAamer, Heba; Bogaerts, Bart; Surinx, Dimitri; Ternovska, Evgenia & VAN DEN BUSSCHE, Jan (2023) Inputs, outputs, and composition in the logic of information flows. In: ACM Transactions on Computational Logic, 24 (4) , p. 33:1 -33:44 (Art N° 33).-
item.accessRightsOpen Access-
item.contributorAamer, Heba-
item.contributorBogaerts, Bart-
item.contributorSurinx, Dimitri-
item.contributorTernovska, Evgenia-
item.contributorVAN DEN BUSSCHE, Jan-
crisitem.journal.issn1529-3785-
crisitem.journal.eissn1557-945X-
Appears in Collections:Research publications
Files in This Item:
File Description SizeFormat 
LIF_Journal_Drafts-3.pdfPeer-reviewed author version797.02 kBAdobe PDFView/Open
3604553.pdf
  Restricted Access		Published version560.14 kBAdobe PDFView/Open    Request a copy
Show simple item record

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.