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

Similar Items

Similar Items