research
∙
02/28/2023
Distributed Subweb Specifications for Traversing the Web
Link Traversal-based Query Processing (ltqp), in which a sparql query is...
share
research
∙
10/01/2022
Executable First-Order Queries in the Logic of Information Flows
The logic of information flows (LIF) has recently been proposed as a gen...
research
∙
09/14/2022
Inputs, Outputs, and Composition in the Logic of Information Flows
The logic of information flows (LIF) is a general framework in which tas...
research
∙
06/14/2022
Expressiveness within Sequence Datalog
Motivated by old and new applications, we investigate Datalog as a langu...
research
∙
05/31/2022