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

Fuld beskrivelse

Na minha lista:
Bibliografiske detaljer
Main Authors: Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
Format: Artigo
Sprog:Inglês
Udgivet: Logical Methods in Computer Science e.V. 2024-05-01
Serier:Logical Methods in Computer Science
Fag:
computer science - logic in computer science
h.2.3
i.2.4
Online adgang:http://lmcs.episciences.org/10121/pdf
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker