Executable First-Order Queries in the Logic of Information Flows

Heba Aamer, Bart Bogaerts, Dimitri Surinx +2

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 s…