1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2016
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…
cs.LO2014★ 1 cited
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…