Modular answer set solving
Yuliya Lierler, Mirosław Truszczyński · 2013
Modularity is essential for modeling large-scale practical applications. We propose modular logic programs as a modular version of answer set programming and study the relationship of our formalism to an earlier concept of lp-modules.