Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
1 result

Executable First-Order Queries in the Logic of Information Flows

Heba Aamer ; Bart Bogaerts ; Dimitri Surinx ; Eugenia Ternovska ; Jan Van den Bussche.
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 still be modeled in a declarative, logic-based fashion. In this paper, we focus on the task of query processing under&nbsp;[&hellip;]
Published on May 8, 2024
Volume 20, Issue 2
  • < Previous
  • 1
  • Next >