Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/36489
Full metadata record
DC FieldValueLanguage
dc.contributor.authorAAMER, Heba-
dc.contributor.authorBogaerts, Bart-
dc.contributor.authorTernovska, Eugenia-
dc.contributor.authorSURINX, Dimitri-
dc.contributor.authorVAN DEN BUSSCHE, Jan-
dc.date.accessioned2022-01-13T15:35:29Z-
dc.date.available2022-01-13T15:35:29Z-
dc.date.issued2020-
dc.date.submitted2021-12-19T21:24:32Z-
dc.identifier.citationCalvanese, D, Erdem, E, Thielscher, M, (Ed.). Hide Web of Science ResearcherID and ORCID, IJCAI-INT JOINT CONF ARTIF INTELL, p. 2 -11-
dc.identifier.isbn978-0-9992411-7-2-
dc.identifier.urihttp://hdl.handle.net/1942/36489-
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.-
dc.description.sponsorshipThis research received funding from the Flemish Government under the “Onderzoeksprogramma Artificiele Intelli- ¨gentie (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).-
dc.language.isoen-
dc.publisherIJCAI-INT JOINT CONF ARTIF INTELL-
dc.rights2020 International Joint Conferences on Artificial Intelligence Organization-
dc.titleInputs, Outputs, and Composition in the Logic of Information Flows-
dc.typeProceedings Paper-
local.bibliographicCitation.conferencedateSEP 12-18, 2020-
local.bibliographicCitation.conferencename17th International Conference on Principles of Knowledge Representation and Reasoning (KR and R)-
local.bibliographicCitation.conferenceplaceELECTR NETWORK-
dc.identifier.epage11-
dc.identifier.spage2-
local.format.pages10-
local.bibliographicCitation.jcatC1-
dc.description.notesAamer, H (corresponding author), Univ Hasselt, Hasselt, Belgium.-
dc.description.notesheba.mohamed@uhasselt.be; bart.bogaerts@vub.be;-
dc.description.notesdimitri.surinx@uhasselt.be; ter@sfu.ca; jan.vandenbussche@uhasselt.be-
local.publisher.placeALBERT-LUDWIGS UNIV FREIBURG GEORGES-KOHLER-ALLEE, INST INFORMATIK, GEB 052, FREIBURG, D-79110, GERMANY-
local.type.refereedRefereed-
local.type.specifiedProceedings Paper-
dc.identifier.isiWOS:000720083100001-
local.provider.typewosris-
local.bibliographicCitation.btitleHide Web of Science ResearcherID and ORCID-
local.description.affiliation[Aamer, Heba; Surinx, Dimitri; Van den Bussche, Jan] Univ Hasselt, Hasselt, Belgium.-
local.description.affiliation[Bogaerts, Bart] Vrije Univ Brussel, Brussels, Belgium.-
local.description.affiliation[Ternovska, Eugenia] Simon Fraser Univ, Burnaby, BC, Canada.-
item.contributorAAMER, Heba-
item.contributorBogaerts, Bart-
item.contributorTernovska, Eugenia-
item.contributorSURINX, Dimitri-
item.contributorVAN DEN BUSSCHE, Jan-
item.fulltextWith Fulltext-
item.validationecoom 2022-
item.fullcitationAAMER, Heba; Bogaerts, Bart; Ternovska, Eugenia; SURINX, Dimitri & VAN DEN BUSSCHE, Jan (2020) Inputs, Outputs, and Composition in the Logic of Information Flows. In: Calvanese, D, Erdem, E, Thielscher, M, (Ed.). Hide Web of Science ResearcherID and ORCID, IJCAI-INT JOINT CONF ARTIF INTELL, p. 2 -11.-
item.accessRightsOpen Access-
Appears in Collections:Research publications
Files in This Item:
File Description SizeFormat 
Inputs, Outputs, and Composition in the Logic of Information Flows.pdf
  Restricted Access		Peer-reviewed author version190.59 kBAdobe PDFView/Open    Request a copy
arXiv_2209.06448v1 [cs.LO] 14 Sep 2022.pdfNon Peer-reviewed author version437.83 kBAdobe PDFView/Open
Show simple item record

WEB OF SCIENCETM
Citations

2
checked on May 2, 2024

Page view(s)

78
checked on Sep 7, 2022

Download(s)

8
checked on Sep 7, 2022

Google ScholarTM

Check

Altmetric


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