34 citations · 42 across the 7 of their papers we have counts for
6 papers · 1 filter
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…
Towards Capturing PTIME with no Counting Construct (but with a Choice Operator)
Eugenia Ternovska
The central open question in Descriptive Complexity is whether there is a logic that characterizes deterministic polynomial time (PTIME) on relational structures. Towards this goal…
Lifted Relational Algebra with Recursion and Connections to Modal Logic
Eugenia Ternovska
We propose a new formalism for specifying and reasoning about problems that involve heterogeneous "pieces of information" -- large collections of data, decision procedures of any k…
Three Semantics for Modular Systems
Shahab Tasharrofi, Eugenia Ternovska
In this paper, we further develop the framework of Modular Systems that lays model-theoretic foundations for combining different declarative languages, agents and solvers. We intro…
Solving Modular Model Expansion Tasks
Shahab Tasharrofi, Xiongnan, Wu +1
The work we describe here is a part of a research program of developing foundations of declarative solving of search problems. We consider the model expansion task as the task repr…