34 citations · 42 across the 7 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
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.AI2016
Propagators and Solvers for the Algebra of Modular Systems
Bart Bogaerts, Eugenia Ternovska, David Mitchell
To appear in the proceedings of LPAR 21. Solving complex problems can involve non-trivial combinations of distinct knowledge bases and problem solvers. The Algebra of Modular Syste…