Executable First-Order Queries in the Logic of Information Flows

The logic of information flows (LIF) has recently been proposed as a general framework in the field of knowledge representation. In this framework, tasks of procedural nature can still be modeled in a declarative, logic-based fashion. In this paper, we focus on the task of query processing under lim...

Full description

Bibliographic Details

Published in:	Logical Methods in Computer Science
Main Authors:	Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Format:	Article
Language:	English
Published:	Logical Methods in Computer Science e.V. 2024-05-01
Subjects:	computer science - logic in computer science h.2.3 i.2.4
Online Access:	http://lmcs.episciences.org/10121/pdf