Modular Answer Set Solving
Lierler, Yuliya (University of Nebraska at Omaha) | Truszczynski, Miroslaw (University of Kentucky)
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.
Jul-9-2013
- Technology: