34 citations · 42 across the 7 of their papers we have counts for
1 paper · 2 filters
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…