Executable First-Order Queries in the Logic of Information Flows.

Heba Aamer Bart Bogaerts Dimitri Surinx Eugenia Ternovska Jan Van den Bussche

Published in: CoRR (2022)

Keyphrases

information flows
information flow
query processing
general logic programs
linear temporal logic
query language
logic programming
horn clauses
first order logic
modal logic
emergency response
databases
artificial intelligence
data sources
decision makers
temporal logic