Executable First-Order Queries in the Logic of Information Flows.
Heba AamerBart BogaertsDimitri SurinxEugenia TernovskaJan Van den BusschePublished in: Log. Methods Comput. Sci. (2024)
Keyphrases
- information flows
- information flow
- general logic programs
- query processing
- query language
- linear temporal logic
- horn clauses
- logic programming
- emergency response
- organizational structure
- first order logic
- artificial intelligence
- data sources
- information sharing
- network structure
- query evaluation
- team members
- asynchronous circuits