Inputs, Outputs, and Composition in the Logic of Information Flows

Heba Aamer, Bart Bogaerts, Dimitri SURINX, Eugenia Ternovska, Jan Van den Bussche

Onderzoeksoutput: Conference paper

25 Downloads (Pure)

Samenvatting

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 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.

Originele taal-2English
TitelProceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning
UitgeverijIJCAI
Pagina's2-11
ISBN van elektronische versie978-0-9992411-7-2
ISBN van geprinte versie978-0-9992411-7-2
DOI's
StatusPublished - sep 2020
Evenement17th International Conference on Principles of Knowledge Representation and Reasoning - Rhodse, Greece
Duur: 12 sep 202018 sep 2020
Congresnummer: 17
https://kr2020.inf.unibz.it/

Conference

Conference17th International Conference on Principles of Knowledge Representation and Reasoning
Verkorte titelKR-2020
LandGreece
StadRhodse
Periode12/09/2018/09/20
Internet adres

Vingerafdruk Duik in de onderzoeksthema's van 'Inputs, Outputs, and Composition in the Logic of Information Flows'. Samen vormen ze een unieke vingerafdruk.

Citeer dit