Search Results for author:
Found 2 papers, 0 papers with code
Lifted Relational Algebra with Recursion and Connections to Modal Logic
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 kind and complexity and connections between them.
Propagators and Solvers for the Algebra of Modular Systems
In this paper, we construct a solver for the model expansion task for a complex modular systems from an expression in the algebra and black-box propagators or solvers for the primitive modules.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
