4 papers
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…
Inputs, Outputs, and Composition in the Logic of Information Flows
Heba Aamer, Bart Bogaerts, Dimitri Surinx +2
The logic of information flows (LIF) is a general framework in which tasks of a procedural nature can be modeled in a declarative, logic-based fashion. The first contribution of th…
Expressiveness within Sequence Datalog
Heba Aamer, Jan Hidders, Jan Paredaens +1
Motivated by old and new applications, we investigate Datalog as a language for sequence databases. We reconsider classical features of Datalog programs, such as negation, recursio…
What Can Database Query Processing Do for Instance-Spanning Constraints?
Heba Aamer, Marco Montali, Jan Van den Bussche
In the last decade, the term instance-spanning constraint has been introduced in the process mining field to refer to constraints that span multiple process instances of one or sev…